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 last year
Related projects: ⓘ
- ☆53Updated 6 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- Verify a chain of x509 certificates in halo2☆32Updated 9 months ago
- ☆58Updated 6 months ago
- Export Circom verifier to Cairo☆48Updated 2 years ago
- My personal notebook for various zk-related topics☆47Updated 5 months ago
- Honk Verifier in Solidity☆48Updated this week
- Zero knowledge proofs of differential privacy mechanisms☆20Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated last year
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆18Updated 7 months ago
- PoC of Revm execution in SGX☆78Updated 11 months ago
- Circuits, written in circom, for Proof Of Solvency☆26Updated last year
- BigInt library for Aztec's noir language☆30Updated 6 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 7 months ago
- ☆62Updated this week
- In-browser ECDSA aggregation using Nova over secp/secq☆34Updated last year
- ☆58Updated last month
- Behold the almighty 🗿totem🗿☆15Updated 9 months ago
- ☆38Updated 8 months ago
- Poseidon hash function implemented in Solidity☆40Updated last month
- Noir implementation of BattleZips circuits☆27Updated last year
- Email verification circuit in halo2☆62Updated 2 months ago
- Tooling for creating collaborative SNARKs for Circom circuits.☆60Updated this week
- neural network inference standard for zero-knowledge-proof systems☆33Updated 11 months ago
- ☆26Updated 6 months ago
- A Noir circuit that mimics Solidity's ecrecover☆43Updated 7 months ago
- ☆44Updated 6 months ago
- bignum☆13Updated last week
- A collection of all the project ideas involving zk, blockchains & what not☆22Updated last year
- Provides tools for testing circom circuits.☆56Updated 2 months ago