privacy-ethereum / halo2curvesLinks
☆215Updated last month
Alternatives and similar repositories for halo2curves
Users that are interested in halo2curves are comparing it to the libraries listed below
Sorting:
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆174Updated 6 months ago
- ☆311Updated this week
- R1CS constraints for bits, fields, and elliptic curves☆179Updated 2 weeks ago
- Experimental folding schemes library☆251Updated this week
- ☆154Updated last year
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆225Updated 2 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆160Updated last week
- ☆115Updated last year
- DSL for Halo2 circuits☆187Updated 10 months ago
- Monorepo of halo2 crates☆289Updated last month
- A STARK-based VM focused on code reuse, performance, and modularity☆334Updated last month
- An advanced fork of Nova (contact:@huitseeker)☆86Updated 6 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆132Updated last week
- ☆104Updated last year
- ☆121Updated 9 months ago
- ☆231Updated 2 months ago
- ☆97Updated 4 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆177Updated this week
- Multi-party computation libraries written in Rust 🦀☆275Updated 2 weeks ago
- Noname: a programming language to write zkapps☆220Updated last week
- ☆108Updated last year
- A domain-specific language for writing AIR constraints for STARKs☆90Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆121Updated this week
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆165Updated 2 years ago
- A performant and modular zkVM framework built for customization and extensibility.☆274Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated 2 weeks ago
- Zirgen compiler and RISC Zero circuits☆98Updated last week
- A SNARK using towers of binary fields, implemented in Rust .☆124Updated 2 weeks ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- halo2 ecc circuit☆116Updated 2 years ago