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.☆170Updated 3 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆171Updated 3 weeks ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 10 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆65Updated 11 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆175Updated 7 months ago
- ☆155Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated 9 months ago
- Include halo2 example circuits☆91Updated 2 years ago
- ☆69Updated 11 months ago
- ☆121Updated 11 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- ☆108Updated last week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆135Updated last month
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆124Updated this week
- Tutorial for writing constraints in the `arkworks` framework☆247Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆110Updated last year
- Zero-Knowledge Cryptography Infrastructure Stack☆129Updated 2 years ago
- R1CS constraints for bits, fields, and elliptic curves☆185Updated last month
- ☆131Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Simplified educational python plonk implementation☆44Updated 3 months ago
- ☆218Updated 3 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆83Updated last month
- Poseidon hash function☆76Updated 2 years ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆57Updated last year
- DSL for Halo2 circuits☆188Updated 11 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 10 months ago
- ☆115Updated last year