New Ethereum talks, every Monday. The week's conference uploads by event, in your inbox.

Picus: Automated Verification of ZKP Circuits

Name: Picus: Automated Verification of ZKP Circuits
Uploaded: 2023-11-14T15:00:00.000Z
Duration: 15 min 12 s
Description: Talk by Andreea Buterchi at Secureum TrustX (Secureum), Nov 2023.

Secureum TrustX SecureumTue, Nov 14, 2023, 03:00 PM · 15:12

Download

Speaker

Andreea Buterchi

2 talks

No description