axiom-crypto / halo2-lib
Monorepo of halo2 crates
☆269Updated 3 weeks ago
Alternatives and similar repositories for halo2-lib:
Users that are interested in halo2-lib are comparing it to the libraries listed below
- ☆99Updated last week
- ☆268Updated 7 months ago
- ☆163Updated this week
- ☆250Updated last week
- ☆323Updated this week
- ☆74Updated 2 years ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆228Updated this week
- A STARK-based VM focused on code reuse, performance, and modularity☆316Updated 4 months ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆419Updated 2 weeks ago
- ☆335Updated 9 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 2 months ago
- Boojum, the scariest SNARK implementation.☆301Updated 8 months ago
- ☆253Updated this week
- ☆219Updated last month
- DSL for Halo2 circuits☆186Updated 5 months ago
- Experimental folding schemes library☆234Updated this week
- ☆202Updated last week
- A Rust Implementation of the PLONK ZKP System and Extensions☆443Updated this week
- ☆115Updated 8 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆140Updated this week
- Generates a stark from a pil☆95Updated 8 months ago
- A toolkit for polynomial IOPs (PIOPs)☆606Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 8 months ago
- Developing zkMIPS: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆124Updated last week
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆114Updated this week
- A stateless trustless Starknet light client in Rust 🦀☆261Updated 3 weeks ago
- ☆124Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack☆154Updated this week
- zkEVM prover in C++☆239Updated 2 months ago