PolyhedraZK / ExpanderLinks
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
☆131Updated last week
Alternatives and similar repositories for Expander
Users that are interested in Expander are comparing it to the libraries listed below
Sorting:
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆174Updated 5 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 6 months ago
- Zirgen compiler and RISC Zero circuits☆98Updated this week
- ☆212Updated last month
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆66Updated 8 months ago
- ☆108Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆121Updated this week
- ☆103Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆172Updated this week
- ☆79Updated 8 months ago
- A lattice-based non-interactive folding scheme written in Rust☆103Updated 2 weeks ago
- ☆127Updated 8 months ago
- ☆307Updated 2 weeks ago
- List of halo2-related resources☆199Updated 7 months ago
- A SNARK using towers of binary fields, implemented in Rust☆123Updated last month
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆224Updated last month
- ☆154Updated last year
- Experimental folding schemes library☆250Updated 2 weeks ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆154Updated this week
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 9 months ago
- Circom Circuits Library for Machine Learning☆177Updated last year
- ☆69Updated 9 months ago
- A performant and modular zkVM framework built for customization and extensibility.☆271Updated this week
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- DSL for Halo2 circuits☆187Updated 10 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆127Updated 3 months ago
- ☆230Updated 2 months ago
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆62Updated 10 months ago
- Expander Compiler☆39Updated this week