PolyhedraZK / Expander
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
☆97Updated this week
Alternatives and similar repositories for Expander:
Users that are interested in Expander are comparing it to the libraries listed below
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆164Updated this week
- ☆234Updated last week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆63Updated 3 weeks ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆130Updated this week
- Benchmark of multiple zk implementations.☆83Updated last year
- ☆97Updated 7 months ago
- ☆104Updated 10 months ago
- DSL for Halo2 circuits☆187Updated 4 months ago
- ☆150Updated last year
- Experimental folding schemes library☆228Updated last week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆85Updated this week
- ☆119Updated 3 months ago
- A SNARK using towers of binary fields, implemented in Rust☆90Updated this week
- ☆193Updated 2 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 3 months ago
- List of halo2-related resources☆191Updated last month
- A STARK-based VM focused on code reuse, performance, and modularity☆314Updated 3 months ago
- A PoC repo for a HyperNova impl☆82Updated last year
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆92Updated this week
- ☆73Updated 2 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 3 months ago
- ☆56Updated 3 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆43Updated 2 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- Multi-party computation libraries written in Rust 🦀☆234Updated this week
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 11 months ago
- Zirgen compiler and RISC Zero circuits☆88Updated this week
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- Expander Compiler☆33Updated this week