Geeks
chyanju
/
Picus
Automated verification of uniqueness property for ZKP circuits
Primary Language
Circom
MIT License
MIT
Picus GitHub
Markdown
Readme
0
Issues
41
Stargazers
5
Watchers
Watchers
3for
Beijing
chyanju
University of California, Santa Barbara
clararod9
@costa-group
fredfeng
yuzeng2333