Open source repositories tagged with #circom, ranked by health score.
Automated verification of uniqueness property for ZKP circuits
