semaphore-protocol / semaphore-rsLinks
Semaphore v4 implemented in Rust
☆10Updated 3 months ago
Alternatives and similar repositories for semaphore-rs
Users that are interested in semaphore-rs are comparing it to the libraries listed below
Sorting:
- Semaphore Protocol with Noir.☆11Updated 9 months ago
- ☆24Updated last year
- ☆20Updated this week
- Circuits for Pluto's `web-prover`☆24Updated 8 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Noir support for Zed☆10Updated last year
- Mozak RISC-V Virtual Machine☆25Updated 9 months ago
- Polynomial Expression Engine☆35Updated last year
- ☆50Updated last year
- ☆31Updated 2 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 10 months ago
- Rust crate to generate and verify proofs for Noir circuits☆20Updated 3 months ago
- Cryptography libraries for ZKsync☆38Updated 3 weeks ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Updated 3 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 5 months ago
- Witness encryption for KZG openings☆31Updated last year
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Updated 2 years ago
- circom language server☆21Updated 7 months ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Updated last year
- ☆31Updated 8 months ago
- Circom AES-GCM circuits☆33Updated last month
- revm/reth block proving on Valida☆15Updated 10 months ago
- Benchmarking Polynomial Commitments☆51Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- ☆32Updated 3 weeks ago
- Spartan on Arkworks☆44Updated 4 months ago
- Step by step implementation of FRI☆12Updated 11 months ago