Alternatives and similar repositories for halo2curves

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

• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆260Feb 6, 2026Updated last week
• privacy-ethereum / snark-verifier

  View on GitHub
  ☆155Feb 26, 2024Updated last year
• axiom-crypto / halo2-lib

  View on GitHub
  Monorepo of halo2 crates
  ☆307Aug 26, 2025Updated 5 months ago
• privacy-ethereum / chiquito

  View on GitHub
  DSL for Halo2 circuits
  ☆188Nov 4, 2024Updated last year
• snarkify / sirius

  View on GitHub
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Mar 24, 2025Updated 10 months ago
• privacy-ethereum / halo2wrong

  View on GitHub
  ☆124Nov 30, 2024Updated last year
• EspressoSystems / hyperplonk

  View on GitHub
  ☆335Feb 2, 2026Updated 2 weeks ago
• arkworks-rs / poly-commit

  View on GitHub
  A Rust library for polynomial commitments
  ☆426Dec 2, 2024Updated last year
• arkworks-rs / crypto-primitives

  View on GitHub
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆235Jul 21, 2025Updated 6 months ago
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year
• 0xMiden / crypto

  View on GitHub
  Cryptographic primitives used in Polygon Miden rollup
  ☆131Updated this week
• dusk-network / Poseidon252

  View on GitHub
  Reference implementation for the Poseidon Snark-friendly Hash algorithm.
  ☆218Feb 2, 2026Updated 2 weeks ago
• lurk-lang / bellpepper

  View on GitHub
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Jan 27, 2025Updated last year
• lurk-lab / awesome-folding

  View on GitHub
  A curated list of zero-knowledge folding schemes
  ☆307Aug 6, 2024Updated last year
• privacy-ethereum / poseidon

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• lurk-lab / neptune

  View on GitHub
  Rust Poseidon implementation (contact: @porcuquine)
  ☆342May 19, 2025Updated 8 months ago
• lurk-lab / bellpepper-gadgets

  View on GitHub
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Mar 3, 2025Updated 11 months ago
• privacy-ethereum / halo2

  View on GitHub
  ☆240Jul 7, 2025Updated 7 months ago
• valida-xyz / valida

  View on GitHub
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆341Jul 31, 2025Updated 6 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
• arkworks-rs / marlin

  View on GitHub
  A Rust library for the Marlin preprocessing zkSNARK
  ☆325Jan 18, 2024Updated 2 years ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• delendum-xyz / zk-benchmarking

  View on GitHub
  comparing the performance of different zero-knowledge proof libraries
  ☆134Oct 15, 2023Updated 2 years ago
• arkworks-rs / r1cs-std

  View on GitHub
  R1CS constraints for bits, fields, and elliptic curves
  ☆186Sep 12, 2025Updated 5 months ago
• matter-labs / rescue-poseidon

  View on GitHub
  Rescue and Poseidon hash function implementations
  ☆43Aug 15, 2024Updated last year
• Plonky3 / Plonky3

  View on GitHub
  A toolkit for polynomial IOPs (PIOPs)
  ☆750Updated this week
• succinctlabs / gnark-plonky2-verifier

  View on GitHub
  ☆107Aug 6, 2024Updated last year
• personaelabs / spartan-ecdsa

  View on GitHub
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆217Dec 5, 2023Updated 2 years ago
• zcash / pasta_curves

  View on GitHub
  Rust implementation for zcash/pasta
  ☆84Apr 17, 2025Updated 10 months ago
• zkCollective / zk-Harness

  View on GitHub
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆102Dec 2, 2024Updated last year
• powdr-labs / powdr

  View on GitHub
  Performance and security acceleration for zkVMs.
  ☆483Updated this week
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago
• zkcrypto / ff

  View on GitHub
  Traits and utilities for working with finite fields.
  ☆254Apr 17, 2025Updated 10 months ago
• EspressoSystems / jellyfish

  View on GitHub
  A Rust Implementation of the PLONK ZKP System and Extensions
  ☆507Updated this week
• microsoft / Nova

  View on GitHub
  Nova: High-speed recursive zero-knowledge arguments from folding schemes
  ☆823Updated this week
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• zcash / halo2

  View on GitHub
  The Halo2 zero-knowledge proving system
  ☆886Feb 5, 2026Updated last week
• arkworks-rs / groth16

  View on GitHub
  A Rust implementation of the Groth16 zkSNARK
  ☆334Aug 11, 2025Updated 6 months ago
• yi-sun / circom-pairing

  View on GitHub
  ☆204Nov 25, 2023Updated 2 years ago