enricobottazzi / designated-verifier-proof
Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (identified by its ethereum public address)
☆40Updated 2 years ago
Alternatives and similar repositories for designated-verifier-proof:
Users that are interested in designated-verifier-proof are comparing it to the libraries listed below
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- Honk Verifier in Solidity☆50Updated 6 months ago
- ☆2Updated last year
- ☆21Updated last month
- Export Circom verifier to Cairo☆49Updated 3 years ago
- A monorepo of reusable Noir circuits.☆40Updated last week
- BigInt library for Aztec's noir language☆32Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- Provides tools for testing circom circuits.☆59Updated last month
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- Poseidon hash function implemented in Solidity☆50Updated 8 months ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆35Updated 9 months ago
- zero knowledge proof aggregator for general circuit☆72Updated 11 months ago
- ☆61Updated last year
- Circuits library for matrix operations in circom☆33Updated 10 months ago
- ☆50Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- ☆16Updated last week
- PoC of Revm execution in SGX☆80Updated last year
- ☆65Updated 9 months ago
- barretenburg in rust (here we go)☆98Updated last year
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year
- A monorepo of reusable Circom circuits.☆25Updated last month
- ☆38Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 8 months ago
- ☆78Updated this week