z2o-k7e / halo2-step-by-stepLinks
halo2-step-by-step
☆27Updated last year
Alternatives and similar repositories for halo2-step-by-step
Users that are interested in halo2-step-by-step are comparing it to the libraries listed below
Sorting:
- zkp-co-learning☆64Updated 10 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆71Updated last year
- A month-long zkp study group, one topic at a time.☆168Updated 2 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆174Updated 6 months ago
- ☆154Updated last year
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆162Updated this week
- List of halo2-related resources☆200Updated 8 months ago
- Include halo2 example circuits☆91Updated last year
- ☆69Updated 10 months ago
- STIR 🥣: Reed –Solomon Proximity Testing with Fewer Queries☆64Updated 10 months ago
- Tutorial for writing constraints in the `arkworks` framework☆246Updated last year
- ☆121Updated 10 months ago
- ☆115Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated 9 months ago
- DSL for Halo2 circuits☆188Updated 11 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 10 months ago
- Simplified educational python plonk implementation☆44Updated 3 months ago
- Multi-party computation libraries written in Rust 🦀☆277Updated this week
- ☆231Updated 3 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆181Updated this week
- ☆108Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 10 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆123Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆132Updated 3 weeks ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆273Updated last month
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆56Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆183Updated 3 weeks ago
- ☆123Updated 11 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆82Updated last month
- A PoC repo for a HyperNova impl☆83Updated 2 years ago