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)
☆39Updated last year
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
- ☆2Updated 10 months ago
- ☆61Updated 11 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Honk Verifier in Solidity☆49Updated 4 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆53Updated 5 months ago
- zero knowledge proof aggregator for general circuit☆72Updated 8 months ago
- Provides tools for testing circom circuits.☆58Updated 7 months ago
- ☆26Updated 11 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆35Updated last year
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- ☆39Updated 2 years ago
- ☆51Updated this week
- Export Circom verifier to Cairo☆49Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated last year
- My personal notebook for various zk-related topics☆47Updated last month
- BFV implementation in Python☆24Updated 7 months ago
- bignum☆16Updated this week
- Frobenius sumcheck for vectorized boolean ops☆49Updated 2 weeks ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- Solidity implementation of Nova proving system verifier☆61Updated 10 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year
- Hashing circuits implemented in circom☆15Updated 3 weeks ago
- Behold the almighty 🗿totem🗿☆17Updated 4 months ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆57Updated last year