Picus: Push button zk circuit verification

We present Picus, a fully automatic tool that automatically detects underconstrained ZK Circuits.

SPEAKER

Shankara Pailoor

EVENT

EthCC[6]

Date

7/18/2023

CATEGORY

Privacy

TYPE

Talk

LANGUAGE

EN

Privacy videos