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:
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- Axiom smart contracts☆26Updated 2 years ago
- ☆28Updated 3 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Better assertion macros for pure Huff tests.☆19Updated 2 years ago
- Breathe air☆25Updated last year
- ☆10Updated 3 years ago
- RLN on KZG☆21Updated 2 years ago
- ☆33Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Updated 3 months ago
- Circuits for Pluto's `web-prover`☆24Updated 7 months ago
- ☆18Updated 2 years ago
- ☆14Updated 11 months ago
- Zig EVM☆33Updated 2 weeks ago
- ☆41Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- Macros + Primitives for PADE format☆29Updated 4 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 4 months ago
- ☆17Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- ☆33Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆16Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated last week
- ☆17Updated 2 years ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated last year