paulmillr/micro-zk-proofs external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

paulmillr/micro-zk-proofs

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/paulmillr/micro-zk-proofs)

Close

paulmillr / micro-zk-proofsView on GitHubMore

• External links
• Readme badge

Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography

☆60Nov 22, 2025Updated 3 months ago

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
  ☆29Aug 4, 2025Updated 7 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 last year
• paulmillr / esplr

  View on GitHub
  Explore Ethereum-like blockchain privately with your RPC URL
  ☆93Jan 28, 2026Updated last month
• 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 10 months ago
• TaceoLabs / noir-poseidon

  View on GitHub
  ☆18Feb 16, 2026Updated 2 weeks ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 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
• 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.
  ☆102Updated this week
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated 11 months ago
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆21Feb 18, 2026Updated 2 weeks ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• 0xfuturistic / plonkish-solidity

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

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

  View on GitHub
  ☆61Updated this week
• 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…
  ☆78Feb 5, 2026Updated last month
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• crema-labs / sxg-sp1

  View on GitHub
  Web Proofs using zk-SXG
  ☆30Nov 16, 2024Updated last year
• vacekj / air-fried-gyatt

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

  View on GitHub
  ☆60Feb 25, 2026Updated last week
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 4 months ago
• privacy-ethereum / nova-by-hand

  View on GitHub
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆29Jun 12, 2024Updated last year
• zk-kit / zk-kit.circom

  View on GitHub
  A monorepo of reusable Circom circuits.
  ☆28Jun 30, 2025Updated 8 months ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 4 months ago
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆29May 30, 2025Updated 9 months ago
• zk-bankai / soulforge

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

  View on GitHub
  On-chain Ethereum light client built with SP1
  ☆80Dec 16, 2025Updated 2 months ago
• 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
  ☆191Updated this week
• phantomzone-org / poulpy

  View on GitHub
  A backend agnostic modular FHE library over the Torus using bivariate polynomial representation
  ☆53Updated this week
• ingonyama-zk / icicle-snark

  View on GitHub
  Groth16 over ICICLE
  ☆44Jul 16, 2025Updated 7 months ago
• babybear-labs / benchmark

  View on GitHub
  Benchmark of ZKVMs and Proving Schemes
  ☆32Dec 12, 2025Updated 2 months ago
• brech1 / keaki

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

  View on GitHub
  Oblivious key-value store based on Circuit ORAM
  ☆36Mar 22, 2025Updated 11 months ago
• zkmove / halo2-verifier.move

  View on GitHub
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Updated this week