shuklaayush / zed-noirLinks
Noir support for Zed
☆10Updated last year
Alternatives and similar repositories for zed-noir
Users that are interested in zed-noir are comparing it to the libraries listed below
Sorting:
- client side proving☆36Updated 7 months ago
- Semaphore Protocol with Noir.☆11Updated 7 months ago
- Circuits for Pluto's `web-prover`☆24Updated 6 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 9 months ago
- A Language Server Protocol Implementation for Circom☆32Updated 2 years ago
- Noir library to verify JWT tokens, and prove claims.☆31Updated 2 months ago
- ☆18Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 11 months ago
- Minimal Merkle Tree implementations☆32Updated 4 months ago
- Polynomial Expression Engine☆35Updated last year
- Base64 encoding for Aztec's noir language☆16Updated last year
- RLN on KZG☆21Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Updated last year
- Rust implementation of KZG point evaluation☆34Updated 3 months ago
- Verifying Cairo Programs in SP1☆14Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 months ago
- ☆50Updated last year
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆22Updated 2 years ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- ZK Theorem Proving☆10Updated last year
- ☆24Updated 10 months ago
- Semaphore v4 implemented in Rust☆10Updated last month
- Poseidon Rust library☆38Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Updated 2 years ago
- Mozak RISC-V Virtual Machine☆25Updated 7 months ago
- Herodotus Data Processor using SP1 as backend☆16Updated last year
- RLN circuits in Noir☆12Updated last year
- Writing MACI circuits in Noir☆16Updated 2 years ago
- ☆49Updated 2 years ago