axiom-crypto / halo2-lib
Monorepo of halo2 crates
☆267Updated 2 weeks ago
Alternatives and similar repositories for halo2-lib:
Users that are interested in halo2-lib are comparing it to the libraries listed below
- ☆153Updated this week
- ☆96Updated 3 weeks ago
- ☆299Updated this week
- ☆265Updated 5 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆211Updated this week
- ☆114Updated 6 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 6 months ago
- A STARK-based VM focused on code reuse, performance, and modularity☆313Updated 2 months ago
- ☆227Updated this week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated last week
- ☆74Updated last year
- ☆210Updated 2 weeks ago
- A Rust Implementation of the PLONK ZKP System and Extensions☆424Updated this week
- Experimental folding schemes library☆224Updated this week
- ☆115Updated this week
- ☆159Updated last week
- ☆230Updated this week
- Boojum, the scariest SNARK implementation.☆301Updated 6 months ago
- Generates a stark from a pil☆97Updated 6 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- ☆191Updated last month
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆406Updated last week
- zkEVM prover in C++☆232Updated 2 weeks ago
- Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.☆132Updated this week
- ☆336Updated 7 months ago
- Papyrus is a StarkNet full node written in Rust.☆322Updated last month
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆160Updated last year
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆111Updated this week
- ☆138Updated this week
- The universal zkvm empoering ethereum as the global settlement layer☆123Updated this week