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
We present Picus, a fully automatic tool that automatically detects underconstrained ZK Circuits.
SPEAKER
EVENT
EthCC[6]
Date
7/18/2023
CATEGORY
Privacy
TYPE
Talk
LANGUAGE
EN
Privacy videos