dan-aztec / aztec-lwe-auction
☆10Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for aztec-lwe-auction
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- ☆39Updated 2 years ago
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- Base64 encoding for Aztec's noir language☆14Updated 10 months ago
- Axiom smart contracts☆27Updated last year
- A minimal example of recursion in Noir.☆11Updated last year
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆16Updated 2 weeks ago
- ☆12Updated last year
- Noir library to verify JWT tokens, and prove claims.☆12Updated last week
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Iterated prisoner's dilemma tournaments implemented with Cairo☆27Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆32Updated 11 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆34Updated last year
- Circuits for Pluto's `web-prover`☆12Updated this week
- ☆12Updated 10 months ago
- A Noir circuit that mimics Solidity's ecrecover☆43Updated 9 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- ☆13Updated last week
- ☆17Updated last year
- Honk Verifier in Solidity☆49Updated last month
- Groth16 verifier in EVM☆20Updated last year
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)☆17Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- ☆46Updated 8 months ago
- noise implementations in Cairo☆16Updated 2 years ago
- ☆18Updated 2 years ago