Alternatives and similar repositories for micro-zk-proofs

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

• ingonyama-zk / imp1

  View on GitHub
  IMP1 - Ingonyama Mobile Prover, built with ICICLE
  ☆28Aug 4, 2025Updated 6 months ago
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 6 months ago
• privacy-ethereum / zkspecs

  View on GitHub
  ☆24Mar 2, 2025Updated 11 months ago
• paulmillr / esplr

  View on GitHub
  Explore Ethereum-like blockchain privately with your RPC URL
  ☆91Jan 28, 2026Updated 2 weeks ago
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• bcc-research / CryptoUtilitiesNotebooks

  View on GitHub
  Notebooks showing how to use CryptoUtilities
  ☆14Apr 17, 2025Updated 9 months ago
• TaceoLabs / noir-poseidon

  View on GitHub
  ☆18Feb 4, 2026Updated last week
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 9 months ago
• crema-labs / ecdsa-p384-circom

  View on GitHub
  ECDSA P384 implementation for circom
  ☆17Sep 1, 2024Updated last year
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆19Feb 6, 2026Updated last week
• onurinanc / noir-bn254

  View on GitHub
  BN254 Pairing Implementation in Noir
  ☆23Aug 23, 2023Updated 2 years ago
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆101Updated this week
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated 11 months ago
• 0xfuturistic / plonkish-solidity

  View on GitHub
  ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.
  ☆11Aug 14, 2023Updated 2 years ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• succinctlabs / sp1-tee

  View on GitHub
  ☆26Oct 6, 2025Updated 4 months ago
• ligeroinc / ligero-prover

  View on GitHub
  ☆60Updated this week
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• developeruche / cryptography-n-zk-research

  View on GitHub
  A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…
  ☆79Feb 5, 2026Updated last week
• crema-labs / sxg-sp1

  View on GitHub
  Web Proofs using zk-SXG
  ☆30Nov 16, 2024Updated last year
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• vacekj / air-fried-gyatt

  View on GitHub
  Breathe air
  ☆25May 19, 2024Updated last year
• tcoratger / whir-p3

  View on GitHub
  ☆58Updated this week
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 3 months ago
• zk-kit / zk-kit.circom

  View on GitHub
  A monorepo of reusable Circom circuits.
  ☆28Jun 30, 2025Updated 7 months ago
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆28May 30, 2025Updated 8 months ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 6 months ago
• succinctlabs / sp1-helios

  View on GitHub
  On-chain Ethereum light client built with SP1
  ☆80Dec 16, 2025Updated last month
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• WizardOfMenlo / whir

  View on GitHub
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆188Feb 6, 2026Updated last week
• babybear-labs / benchmark

  View on GitHub
  Benchmark of ZKVMs and Proving Schemes
  ☆32Dec 12, 2025Updated 2 months ago
• ingonyama-zk / icicle-snark

  View on GitHub
  Groth16 over ICICLE
  ☆43Jul 16, 2025Updated 6 months ago
• brech1 / keaki

  View on GitHub
  Extractable Witness Encryption for KZG Commitments
  ☆32Nov 29, 2024Updated last year
• leanEthereum / leanSpec

  View on GitHub
  Lean Ethereum protocol specifications and test vector generation framework.
  ☆93Updated this week
• obliviouslabs / oram

  View on GitHub
  Oblivious key-value store based on Circuit ORAM
  ☆36Mar 22, 2025Updated 10 months ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago
• zkmove / halo2-verifier.move

  View on GitHub
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Feb 4, 2026Updated last week