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 10, 2026Updated last week
• privacy-ethereum / summon

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

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

  View on GitHub
  Implementations from Proofs, Arguments and Zero Knowledge
  ☆14Mar 29, 2025Updated 10 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 10 months ago
• zkmopro / mopro

  View on GitHub
  Making client-side ZK proving on mobile simple.
  ☆220Updated this week
• ingonyama-zk / imp1

  View on GitHub
  IMP1 - Ingonyama Mobile Prover, built with ICICLE
  ☆28Aug 4, 2025Updated 6 months ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 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
• paulmillr / micro-zk-proofs

  View on GitHub
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆59Nov 22, 2025Updated 2 months ago
• nullity00 / maci-noir

  View on GitHub
  Writing MACI circuits in Noir
  ☆16Oct 8, 2023Updated 2 years ago
• chancehudson / poseidon-lite

  View on GitHub
  ☆21Aug 23, 2024Updated last year
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• moda-gov-tw / tw-did

  View on GitHub
  ☆43Dec 6, 2024Updated last year
• luksgrin / opensense-algebra-and-kzg

  View on GitHub
  ☆34Sep 11, 2023Updated 2 years ago
• onurinanc / noir-bn254

  View on GitHub
  BN254 Pairing Implementation in Noir
  ☆23Aug 23, 2023Updated 2 years ago
• namnc / circom-mp-spdz

  View on GitHub
  Circom to MP-SPDZ
  ☆23Oct 27, 2024Updated last year
• 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 / greco

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

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

  View on GitHub
  zkSnark circuit compiler
  ☆12Jan 8, 2026Updated last month
• reclaimprotocol / zk-symmetric-crypto

  View on GitHub
  A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
  ☆27Updated this week
• 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 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
• zkemail / zkemail.nr

  View on GitHub
  ZK Email in Noir
  ☆82Updated 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
• noir-lang / noir_bigcurve

  View on GitHub
  ☆14Feb 6, 2026Updated last week
• privacy-ethereum / researches

  View on GitHub
  ☆10Oct 24, 2022Updated 3 years ago
• semaphore-protocol / semaphore-rs

  View on GitHub
  Semaphore v4 implemented in Rust
  ☆10Oct 7, 2025Updated 4 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
• MachinaIO / diamond-io

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

  View on GitHub
  Honk Verifier in Solidity
  ☆50Oct 14, 2024Updated last year