qope / plonky2-examplesLinks
☆11Updated 2 years ago
Alternatives and similar repositories for plonky2-examples
Users that are interested in plonky2-examples are comparing it to the libraries listed below
Sorting:
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- RSA verification circuit using halo2 library.☆58Updated 2 years ago
- ☆39Updated 2 years ago
- RLN circuits in Circom☆32Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Include halo2 example circuits☆92Updated 2 years ago
- ☆20Updated last year
- ☆10Updated 3 years ago
- A circuit to verify the voice recovery process.☆51Updated 2 years ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Updated 4 months ago
- ☆15Updated 2 years ago
- RLN circuits in Noir☆13Updated 2 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 9 months ago
- Old, obsolete version of the Valida compiler; its replacement will become public later☆51Updated 2 years ago
- ☆30Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆42Updated 2 years ago
- ☆50Updated last year
- ☆22Updated 9 months ago
- Nova Verifier in Circom so it can be verified onChain☆59Updated 2 years ago
- ☆94Updated last year
- BFV implementation in Python☆27Updated last year
- ☆63Updated 2 weeks ago
- Verifiable FHE with GKR☆28Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated 2 years ago
- A monorepo for vOPRF-based secure nullifiers☆19Updated 9 months ago
- Simplified educational python plonk implementation☆46Updated 7 months ago
- ☆26Updated last year
- ☆35Updated 2 years ago
- Unified zkVM Interface & Toolkit☆74Updated this week