semaphore-protocol / semaphore-rsLinks
Semaphore v4 implemented in Rust
☆10Updated 2 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
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 10 months ago
- Mozak RISC-V Virtual Machine☆25Updated 8 months ago
- Circuits for Pluto's `web-prover`☆24Updated 7 months ago
- Rust crate to generate and verify proofs for Noir circuits☆19Updated 2 months ago
- ☆19Updated last week
- ☆31Updated last month
- An observatory fork of SP1☆75Updated 10 months ago
- Noir support for Zed☆10Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 5 months ago
- circom language server☆21Updated 6 months ago
- An arkworks implementation of the superspartan PIOP☆13Updated last year
- ☆17Updated 2 months ago
- ☆24Updated 11 months ago
- ☆32Updated last week
- Extractable Witness Encryption for KZG Commitments☆30Updated last year
- Circom AES-GCM circuits☆33Updated last month
- ☆24Updated 2 years ago
- ☆42Updated last year
- Witness encryption for KZG openings☆31Updated last year
- A Rust library for proof-carrying disclosures☆23Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Updated last year
- STARK book☆20Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 10 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- We're living in Obfustopia☆27Updated 11 months ago
- Polynomial Expression Engine☆35Updated last year
- client side proving☆39Updated 9 months ago
- ☆50Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago