PolyhedraZK / Expander
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
β102Updated this week
Alternatives and similar repositories for Expander:
Users that are interested in Expander are comparing it to the libraries listed below
- WHIR πͺοΈ: ReedβSolomon Proximity Testing with Super-Fast Verificationβ106Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.β63Updated last month
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).β169Updated last week
- β242Updated 3 weeks ago
- The revised version and future updates can be found here πhttps://github.com/ZKPunk-Org/zk-insightsβ47Updated 3 months ago
- β104Updated 11 months ago
- β195Updated 3 months ago
- Experimental folding schemes libraryβ230Updated last week
- β150Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.β137Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocolβ93Updated this week
- β97Updated 7 months ago
- List of halo2-related resourcesβ194Updated 2 months ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.β146Updated 5 months ago
- Benchmark of multiple zk implementations.β83Updated last year
- R1CS constraints for bits, fields, and elliptic curvesβ153Updated last week
- A repo for our research papersβ228Updated 2 months ago
- β114Updated 7 months ago
- A SNARK using towers of binary fields, implemented in Rustβ97Updated this week
- β119Updated 4 months ago
- β58Updated 4 months ago
- Zirgen compiler and RISC Zero circuitsβ90Updated this week
- halo2 ecc circuitβ116Updated 2 years ago
- A STARK-based VM focused on code reuse, performance, and modularityβ316Updated 3 months ago
- β76Updated 2 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption schemeβ111Updated last year
- β118Updated 3 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study groupβ132Updated 3 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758β120Updated 2 years ago
- A curated list of zero-knowledge folding schemesβ298Updated 7 months ago