dan-aztec / aztec-lwe-auction
☆11Updated last year
Alternatives and similar repositories for aztec-lwe-auction
Users that are interested in aztec-lwe-auction are comparing it to the libraries listed below
Sorting:
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- A minimal example of recursion in Noir.☆11Updated last year
- Axiom smart contracts☆26Updated last year
- client side proving☆28Updated 2 months ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- a noir library for multiparty computation primitives☆14Updated last month
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- A Noir's backend implementation using Gnark☆35Updated last year
- A monorepo of reusable Noir circuits.☆41Updated 3 weeks ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Honk Verifier in Solidity☆50Updated 6 months ago
- an introduction to noir, with simple examples☆45Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 5 months ago
- Groth16 verifier in EVM☆21Updated last year
- Breathe air☆23Updated 11 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- RLN circuits in Circom☆29Updated 9 months ago
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆9Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- Behold the almighty 🗿totem🗿☆17Updated 7 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- Plonk verifier in solidity (using Commit api)☆22Updated 10 months ago
- ☆18Updated last week
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- ☆40Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year