distributed-lab / noir-semaphoreLinks
Semaphore Protocol with Noir.
☆11Updated 3 months ago
Alternatives and similar repositories for noir-semaphore
Users that are interested in noir-semaphore are comparing it to the libraries listed below
Sorting:
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 4 months ago
- A monorepo for vOPRF-based secure nullifiers generation☆16Updated 3 months ago
- Circuits for Pluto's `web-prover`☆22Updated 2 months ago
- ☆50Updated last year
- Verifying Cairo Programs in SP1☆14Updated 8 months ago
- ☆25Updated last month
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆12Updated 4 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆21Updated 8 months ago
- client side proving☆32Updated 4 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated 8 months ago
- Herodotus Data Processor using SP1 as backend☆17Updated 8 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- banyan's hot on-chain data storage zk proofs☆14Updated last month
- Noir library to verify JWT tokens, and prove claims.☆28Updated 2 months ago
- ☆20Updated last year
- An arkworks implementation of the superspartan PIOP☆13Updated 10 months ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- revm/reth block proving on Valida☆16Updated 5 months ago
- ☆39Updated last month
- ☆2Updated last year
- ☆14Updated 7 months ago
- ☆12Updated last year
- ☆26Updated last year
- plonky2 implementation of bn254 pairing☆18Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Polynomial Expression Engine☆35Updated last year
- The first CHIP-8 zkvm☆20Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- customizable halo2 circuits batcher☆31Updated this week