microsoft / Spartan2
High-speed zkSNARKs
☆84Updated 2 months ago
Related projects: ⓘ
- A domain-specific language for writing AIR constraints for STARKs☆72Updated this week
- ☆49Updated 11 months ago
- An advanced fork of Nova (contact:@huitseeker)☆74Updated last week
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated last year
- Rust implementation for zcash/pasta☆80Updated 8 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆62Updated this week
- ☆97Updated 4 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆67Updated last month
- Spartan on Arkworks☆38Updated 2 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆117Updated this week
- R1CS constraints for bits, fields, and elliptic curves☆133Updated last week
- linear-time sumcheck protocol for multilinear polynomials and related addends☆51Updated 7 months ago
- ☆170Updated last week
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆108Updated 8 months ago
- ☆144Updated 6 months ago
- ☆63Updated 3 weeks ago
- Solidity implementation of Nova proving system verifier☆56Updated 6 months ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆167Updated last month
- A FRI verifier circuit for the Halo2 proof system☆72Updated last year
- ☆72Updated 11 months ago
- ☆44Updated 10 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆62Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆68Updated 11 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆89Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆60Updated 2 months ago
- ☆116Updated this week
- zero knowledge proof aggregator for general circuit☆69Updated 4 months ago
- Zirgen compiler and RISC Zero circuits☆24Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆118Updated 9 months ago