franklynwang / EcneProjectLinks
Ecne: An engine for verifying the soundness of R1CS constraints
☆112Updated 3 years ago
Alternatives and similar repositories for EcneProject
Users that are interested in EcneProject are comparing it to the libraries listed below
Sorting:
- A curated list of repos related to Circom☆101Updated 2 years ago
- SMT 2023 Submission; license pending☆56Updated 10 months ago
- Automated verification of uniqueness property for ZKP circuits