Automated verification of uniqueness property for ZKP circuits
Circom
98
244 commits
updated Mar 13, 2024
blockchain
circom
circomlib
security
verification
zero-knowledge
Contributors
Languages
Circom
96.1%
Racket
2.4%
Automated verification of uniqueness property for ZKP circuits
Circom
98
244 commits
updated Mar 13, 2024
blockchain
circom
circomlib
security
verification
zero-knowledge
Contributors
Languages
Circom
96.1%
Racket
2.4%