shuklaayush / zed-noirLinks
Noir support for Zed
☆11Updated 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☆39Updated 10 months ago
- Circuits for Pluto's `web-prover`☆25Updated 9 months ago
- Noir library to verify JWT tokens, and prove claims.☆32Updated last month
- Semaphore v4 implemented in Rust☆10Updated 3 months ago
- A Language Server Protocol Implementation for Circom☆33Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Updated last year
- ☆18Updated 2 years ago
- ☆24Updated last year
- Rust crate to generate and verify proofs for Noir circuits☆23Updated 3 months ago
- The first CHIP-8 zkvm☆21Updated last year
- Minimal Merkle Tree implementations☆32Updated 7 months ago
- verify cairo execution in Halo2☆15Updated 2 years ago
- Polynomial Expression Engine☆35Updated last year
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 11 months ago
- Semaphore Protocol with Noir.☆11Updated 10 months ago
- RLN on KZG☆21Updated 2 years ago
- ☆50Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 6 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated last year
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Updated 2 years ago
- Cutting edge on-chain dark pool☆19Updated 4 months ago
- ☆12Updated 2 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 11 months ago
- RLN circuits in Noir☆13Updated 2 years ago
- Poseidon Rust library☆38Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- Circom AES-GCM circuits☆34Updated 2 months ago
- Pluto Web Prover 🦀☆39Updated 10 months ago
- Mozak RISC-V Virtual Machine☆25Updated 10 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆21Updated 4 months ago