privacy-ethereum/zkspecs 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

privacy-ethereum/zkspecs

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/privacy-ethereum/zkspecs)

Close

privacy-ethereum / zkspecsView on GitHubMore

• External links
• Readme badge

☆24Mar 2, 2025Updated last year

Alternatives and similar repositories for zkspecs

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

• namnc / circom-2-arithc

  View on GitHub
  Circom interpreter to arithmetic circuit description
  ☆58Sep 12, 2024Updated last year
• privacy-ethereum / pse.dev

  View on GitHub
  The PSE website
  ☆26Feb 25, 2026Updated last week
• privacy-ethereum / summon

  View on GitHub
  A language for building boolean circuits based on TypeScript
  ☆34Jul 9, 2025Updated 8 months 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 8 months ago
• nulltea / hyper-greco

  View on GitHub
  Verifiable FHE with GKR
  ☆27Oct 5, 2024Updated last year
• iammadab / zk

  View on GitHub
  Implementations from Proofs, Arguments and Zero Knowledge
  ☆14Mar 29, 2025Updated 11 months ago
• geometryxyz / secp256k1_hash_to_curve

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• leonardoalt / powdr-brainfuck

  View on GitHub
  ZK proofs for Brainfuck execution using powdr
  ☆17Aug 28, 2024Updated last year
• 0xPARC / pod2

  View on GitHub
  pod2 & spec
  ☆21Updated this week
• obliviouslabs / oram

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

  View on GitHub
  ☆20Nov 3, 2025Updated 4 months ago
• ingonyama-zk / imp1

  View on GitHub
  IMP1 - Ingonyama Mobile Prover, built with ICICLE
  ☆29Aug 4, 2025Updated 7 months ago
• tintinweb / vscode-circom-pro

  View on GitHub
  👩‍💻 Circom compiler, snippets, hover and language support for Visual Studio Code
  ☆16Apr 20, 2023Updated 2 years ago
• zkmopro / mopro

  View on GitHub
  Making client-side ZK proving on mobile simple.
  ☆222Updated this week
• paulmillr / micro-zk-proofs

  View on GitHub
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆60Nov 22, 2025Updated 3 months ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 10 months ago
• chancehudson / poseidon-lite

  View on GitHub
  ☆21Aug 23, 2024Updated last year
• nullity00 / maci-noir

  View on GitHub
  Writing MACI circuits in Noir
  ☆16Oct 8, 2023Updated 2 years ago
• moda-gov-tw / tw-did

  View on GitHub
  ☆43Dec 6, 2024Updated last year
• onurinanc / noir-bn254

  View on GitHub
  BN254 Pairing Implementation in Noir
  ☆23Aug 23, 2023Updated 2 years ago
• luksgrin / opensense-algebra-and-kzg

  View on GitHub
  ☆34Sep 11, 2023Updated 2 years ago
• lurk-lab / bellpepper-gadgets

  View on GitHub
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Mar 3, 2025Updated last year
• namnc / circom-mp-spdz

  View on GitHub
  Circom to MP-SPDZ
  ☆23Oct 27, 2024Updated last year
• privacy-ethereum / greco

  View on GitHub
  ☆83Jan 7, 2025Updated last year
• h-hafezi / kzh_fold

  View on GitHub
  ☆28Oct 31, 2025Updated 4 months ago
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Feb 19, 2026Updated 2 weeks ago
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated 2 years ago
• reclaimprotocol / zk-symmetric-crypto

  View on GitHub
  A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
  ☆28Feb 27, 2026Updated last week
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 7 months ago
• zkemail / zkemail.nr

  View on GitHub
  ZK Email in Noir
  ☆83Updated this week
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 7 months ago
• Electron-Labs / plonky2_ed25519

  View on GitHub
  Plonky2 implementation of Ed25519
  ☆11Apr 5, 2024Updated last year
• semaphore-protocol / semaphore-rs

  View on GitHub
  Semaphore v4 implemented in Rust
  ☆10Oct 7, 2025Updated 5 months ago
• privacy-ethereum / researches

  View on GitHub
  ☆10Oct 24, 2022Updated 3 years ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• MachinaIO / diamond-io

  View on GitHub
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆91Sep 19, 2025Updated 5 months ago
• Maddiaa0 / honk-verifier

  View on GitHub
  Honk Verifier in Solidity
  ☆50Feb 21, 2026Updated 2 weeks ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 4 months ago