z2o-k7e / halo2-step-by-stepLinks
halo2-step-by-step
☆28Updated 2 years ago
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 last year
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆71Updated last year
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated last year
- A month-long zkp study group, one topic at a time.☆183Updated 6 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Updated 10 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆187Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Updated last year
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆71Updated 2 months ago
- Simplified educational python plonk implementation☆46Updated 6 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆71Updated last year
- ☆115Updated last year
- ☆123Updated last year
- ☆111Updated 2 months ago
- Zero-Knowledge Cryptography Infrastructure Stack☆129Updated 2 years ago
- ☆155Updated last year
- A zero-knowledge Move language runtime environment.☆84Updated 8 months ago
- Include halo2 example circuits☆92Updated 2 years ago
- ☆71Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆141Updated last week
- Poseidon hash function☆79Updated 2 years ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Updated this week
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- ☆106Updated last year
- linear-time sumcheck protocol for multilinear polynomials and related addends☆85Updated 2 months ago
- ☆221Updated 6 months ago
- ☆100Updated 8 months ago
- R1CS constraints for bits, fields, and elliptic curves☆186Updated 4 months ago
- Tutorial for writing constraints in the `arkworks` framework☆258Updated last year
- Crypto Gadgets for Plonky2☆77Updated last year
- List of halo2-related resources☆203Updated last year