Alternatives and similar repositories for halo2-snark-aggregator

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

• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 2 years ago
• adria0 / awesome-halo2

  View on GitHub
  List of halo2-related resources
  ☆203Jan 30, 2025Updated last year
• scroll-tech / poseidon-circuit

  View on GitHub
  Poseidon hash circuit
  ☆107Oct 30, 2024Updated last year
• privacy-ethereum / halo2wrong

  View on GitHub
  ☆124Nov 30, 2024Updated last year
• privacy-ethereum / snark-verifier

  View on GitHub
  ☆155Feb 26, 2024Updated last year
• scroll-tech / mpt-circuit

  View on GitHub
  ☆70Jul 19, 2024Updated last year
• nikkolasg / halo2-circuits

  View on GitHub
  ☆28Dec 8, 2021Updated 4 years ago
• privacy-ethereum / halo2-solidity-verifier

  View on GitHub
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆68Oct 1, 2024Updated last year
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61May 22, 2023Updated 2 years ago
• scroll-tech / rpc-gateway

  View on GitHub
  Ethereum infura like service to provide RPC endpoints for Scroll network.
  ☆20Jul 5, 2024Updated last year
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Feb 25, 2023Updated 2 years ago
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆35Jul 25, 2024Updated last year
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆50Mar 7, 2024Updated last year
• axiom-crypto / axiom-eth

  View on GitHub
  ☆94Aug 19, 2024Updated last year
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago
• therealyingtong / plonkathon

  View on GitHub
  ☆11Jan 28, 2023Updated 3 years ago
• lurk-lab / solidity-verifier

  View on GitHub
  Solidity implementation of Nova proving system verifier
  ☆66Mar 17, 2024Updated last year
• qope / SIPP

  View on GitHub
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Oct 8, 2023Updated 2 years ago
• privacy-ethereum / halo2

  View on GitHub
  ☆239Jul 7, 2025Updated 7 months ago
• privacy-ethereum / poseidon

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• arkworks-rs / circom-compat

  View on GitHub
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆277Aug 26, 2025Updated 5 months ago
• yi-sun / circom-pairing

  View on GitHub
  ☆204Nov 25, 2023Updated 2 years ago
• daira / halographs

  View on GitHub
  Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
  ☆49Mar 5, 2022Updated 3 years ago
• anoma / zkp-compiler-shootout

  View on GitHub
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Dec 19, 2023Updated 2 years ago
• lyronctk / zator

  View on GitHub
  Verifying a 512-layer CNN w/ Nova
  ☆171May 5, 2023Updated 2 years ago
• personaelabs / efficient-zk-ecdsa

  View on GitHub
  Lowering client-side proving cost for private ZK signatures in circom
  ☆112Mar 18, 2023Updated 2 years ago
• yi-sun / zk-attestor

  View on GitHub
  ☆133Apr 23, 2022Updated 3 years ago
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• supranational / pasta-msm

  View on GitHub
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆24Sep 6, 2025Updated 5 months ago
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• DelphinusLab / halo2ecc-s

  View on GitHub
  A re-implemented ECC circuits with halo2.
  ☆28Nov 23, 2024Updated last year
• icemelon / halo2-examples

  View on GitHub
  Include halo2 example circuits
  ☆92Oct 16, 2023Updated 2 years ago
• delendum-xyz / zk-benchmarking

  View on GitHub
  comparing the performance of different zero-knowledge proof libraries
  ☆134Oct 15, 2023Updated 2 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• axiom-crypto / snark-verifier

  View on GitHub
  ☆105Aug 25, 2025Updated 5 months ago
• axiom-crypto / halo2-scaffold

  View on GitHub
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆112Jan 2, 2024Updated 2 years ago