Alternatives and similar repositories for halo2

Users that are interested in halo2 are comparing it to the libraries listed below

• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• SeismicSystems / seismic-revm

  View on GitHub
  Seismic REVM implements the Mercury Specification of the EVM: a shielded virtual machine that powers Seismic's blockchain
  ☆12Feb 6, 2026Updated last week
• banyancomputer / hot-proofs-blake3-circom

  View on GitHub
  banyan's hot on-chain data storage zk proofs
  ☆14May 22, 2025Updated 8 months ago
• Sindri-Labs / sindri-resources

  View on GitHub
  Sample data for Sindri Labs' Forge API
  ☆22Mar 11, 2025Updated 11 months ago
• CPerezz / Awesome-rust-articles

  View on GitHub
  A curated list of rust articles worth reading
  ☆23Jun 1, 2023Updated 2 years ago
• dark-bio / crypto-rs

  View on GitHub
  Post-quantum cryptography in Rust
  ☆52Updated this week
• succinctlabs / blobstreamx

  View on GitHub
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Aug 5, 2024Updated last year
• ziemen4 / zkpoex

  View on GitHub
  Zero-Knowledge Proof of Exploit
  ☆43Jan 6, 2026Updated last month
• NebraZKP / upa

  View on GitHub
  UPA is the proof aggregation engine built by NEBRA team.
  ☆38Nov 19, 2025Updated 2 months ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• pluto / web-prover

  View on GitHub
  Pluto Web Prover 🦀
  ☆39Mar 18, 2025Updated 10 months ago
• JumpCrypto / plonky2-crypto

  View on GitHub
  Crypto Gadgets for Plonky2
  ☆77May 16, 2024Updated last year
• M31-Capital / Investment_Theses

  View on GitHub
  ☆12Jun 30, 2025Updated 7 months ago
• msk610 / MovieGrossPredictor

  View on GitHub
  Machine Learning Algorithms to predict overall movie gross using IMDB dataset from kaggle
  ☆11Dec 14, 2016Updated 9 years ago
• arkworks-rs / spartan

  View on GitHub
  Spartan on Arkworks
  ☆47Aug 19, 2025Updated 5 months ago
• privacy-ethereum / halo2

  View on GitHub
  ☆240Jul 7, 2025Updated 7 months ago
• alim1496 / realtime-chat-mern

  View on GitHub
  A simple realtime chat apoplication made using React JS, Node JS, Express JS, Socket IO and MongoDB.
  ☆18Jul 12, 2024Updated last year
• CelsiusXDeFi / celsiusx_wrapped

  View on GitHub
  ☆10Jan 25, 2022Updated 4 years ago
• masa-finance / masa-zkSBT

  View on GitHub
  A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.
  ☆11Nov 25, 2024Updated last year
• proxima-one / keccak-circuit-benchmarks

  View on GitHub
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Oct 1, 2023Updated 2 years ago
• sdb-replica / hermes-replication

  View on GitHub
  ☆12Feb 18, 2025Updated 11 months ago
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• kroma-network / kroma-prover

  View on GitHub
  zk prover for Kroma network
  ☆16Jun 7, 2024Updated last year
• derekbar90 / optimism-openzeppelin-compat

  View on GitHub
  OpenZeppelin patch module for Optimism
  ☆11Mar 26, 2021Updated 4 years ago
• amiller / sgx-epid-contest

  View on GitHub
  Good Riddance to EPID Pre-Deprecation Memorial Contest
  ☆12Dec 22, 2023Updated 2 years ago
• Zoltu / ethereum-crypto

  View on GitHub
  A dependency free native implementation of Ethereum crypto functions missing from WebCrypto.
  ☆16Jan 21, 2026Updated 3 weeks ago
• Conflux-Chain / conflux-evm-bridge

  View on GitHub
  ☆11Oct 24, 2025Updated 3 months ago
• Buugagash / mantle

  View on GitHub
  Mantle is a high-performance Ethereum layer-2 network built with modular architecture delivering low fees and high security.
  ☆10Mar 12, 2023Updated 2 years ago
• succinctlabs / gnark-plonky2-verifier

  View on GitHub
  ☆107Aug 6, 2024Updated last year
• Trapdoor-Tech / Halo2-Book

  View on GitHub
  ☆10Sep 20, 2022Updated 3 years ago
• xJonathanLEI / starkware-crypto-rs

  View on GitHub
  Rust FFI bindings for StarkWare's crypto-cpp library
  ☆15Apr 27, 2022Updated 3 years ago
• YongJieYongJie / tree-sitter-solidity

  View on GitHub
  Solidity grammar for tree sitter
  ☆12Mar 12, 2022Updated 3 years ago
• flashbots / yocto-manifests

  View on GitHub
  Repo Manifests for the Yocto Project Build System for reproducible TEE builds
  ☆11Nov 26, 2025Updated 2 months ago
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• testground / sdk-go

  View on GitHub
  Testground: SDK for developing test plans in Go
  ☆12May 24, 2024Updated last year
• JetJadeja / flashloan-workshop-template

  View on GitHub
  A simple template repository containing the necessary files for the flash loan workshop.
  ☆10Nov 13, 2022Updated 3 years ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago