z2o-k7e / halo2-step-by-stepLinks
halo2-step-by-step
☆27Updated 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 11 months ago
- A month-long zkp study group, one topic at a time.☆170Updated 3 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆71Updated last year
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆173Updated last week
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 11 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Updated 7 months ago
- Tutorial for writing constraints in the `arkworks` framework☆251Updated last year
- ☆109Updated last month
- ☆121Updated 11 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆69Updated 2 weeks ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆135Updated 2 months ago
- R1CS constraints for bits, fields, and elliptic curves☆185Updated 2 months ago
- Include halo2 example circuits☆91Updated 2 years ago
- ☆221Updated 3 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated 10 months ago
- ☆155Updated last year
- Multi-party computation libraries written in Rust 🦀☆281Updated last week
- ☆69Updated 11 months ago
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆192Updated this week
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated 11 months ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆230Updated 3 months ago
- DSL for Halo2 circuits☆188Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆124Updated this week
- List of halo2-related resources☆202Updated 9 months ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- ☆115Updated last year
- Poseidon hash function☆76Updated 2 years ago
- A SNARK using towers of binary fields, implemented in Rust .☆125Updated 2 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year