nullity00 / maci-noirLinks
Writing MACI circuits in Noir
☆16Updated 2 years ago
Alternatives and similar repositories for maci-noir
Users that are interested in maci-noir are comparing it to the libraries listed below
Sorting:
- Axiom smart contracts☆26Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- Breathe air☆25Updated last year
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- ☆10Updated 3 years ago
- ☆28Updated 4 years ago
- ☆41Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Updated 2 years ago
- ☆30Updated last year
- Groth16 verifier in EVM☆23Updated 2 years ago
- Zig EVM☆34Updated 2 months ago
- ☆26Updated 4 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- ☆14Updated last year
- Better assertion macros for pure Huff tests.☆19Updated 2 years ago
- ☆40Updated 3 years ago
- Macros + Primitives for PADE format☆29Updated 6 months ago
- Circuits for Pluto's `web-prover`☆25Updated 9 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- celestia blobs, evm execution☆20Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 6 months ago
- ☆17Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- A Brainfuck zkVM with Circom.☆61Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Updated last year
- ☆49Updated 2 years ago