Alternatives and similar repositories for zk-explorations

Users that are interested in zk-explorations are comparing it to the libraries listed below

• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 6 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
• namnc / circom-2-arithc

  View on GitHub
  Circom interpreter to arithmetic circuit description
  ☆58Sep 12, 2024Updated last year
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆260Feb 6, 2026Updated last week
• lurk-lang / bellpepper

  View on GitHub
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Jan 27, 2025Updated last year
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• andrewmilson / ecfft

  View on GitHub
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆67Jun 18, 2023Updated 2 years ago
• nullity00 / maci-noir

  View on GitHub
  Writing MACI circuits in Noir
  ☆16Oct 8, 2023Updated 2 years ago
• privacy-ethereum / researches

  View on GitHub
  ☆10Oct 24, 2022Updated 3 years ago
• HerodotusDev / accumulators

  View on GitHub
  ☆11Jan 17, 2024Updated 2 years ago
• vacp2p / stealth-address-kit

  View on GitHub
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆37Updated this week
• privacy-ethereum / poseidon

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• succinctlabs / vectorx

  View on GitHub
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆46Jun 9, 2024Updated last year
• philsippl / circom-witness-rs

  View on GitHub
  ☆63Jan 28, 2026Updated 2 weeks ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• snarkify / sirius

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

  View on GitHub
  FHE library
  ☆25Apr 19, 2024Updated last year
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated 11 months ago
• succinctlabs / starkyx

  View on GitHub
  ☆65May 2, 2024Updated last year
• privacy-ethereum / halo2curves

  View on GitHub
  ☆221Jul 29, 2025Updated 6 months 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
• succinctlabs / plonky3

  View on GitHub
  ☆24Dec 21, 2024Updated last year
• Rate-Limiting-Nullifier / rln-contract

  View on GitHub
  Foundry project for the RLN
  ☆17Nov 10, 2023Updated 2 years ago
• dusk-network / schnorr

  View on GitHub
  Schnorr Signature algorithm usiing BLS12-381 Curve
  ☆13Jan 10, 2024Updated 2 years ago
• lita-xyz / reva

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆13Jul 2, 2025Updated 7 months ago
• axiom-crypto / halo2-browser

  View on GitHub
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆56Jun 20, 2024Updated last year
• zkCollective / zk-Harness

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

  View on GitHub
  ☆73Mar 5, 2024Updated last year
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated last year
• quantstamp / halo2-analyzer

  View on GitHub
  SMT 2023 Submission; license pending
  ☆57Jan 28, 2026Updated 2 weeks ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• JumpCrypto / plonky2-crypto

  View on GitHub
  Crypto Gadgets for Plonky2
  ☆77May 16, 2024Updated last year
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated last year
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago
• iden3 / r1csfile

  View on GitHub
  r1cs file format parser
  ☆23May 6, 2024Updated last year
• 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