Picus
Automated verification of uniqueness property for ZKP circuits
67 stars
2 watching
5 forks
Language: Circom
last commit: 7 months ago blockchaincircomcircomlibsecurityverificationzero-knowledge
Picus Automated verification of uniqueness property for ZKP circuits