Alternatives and similar repositories for zk-symmetric-crypto

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

• iden3 / circom-witnesscalc

  View on GitHub
  ☆21Feb 9, 2026Updated last week
• zk-kit / zk-kit.circom

  View on GitHub
  A monorepo of reusable Circom circuits.
  ☆28Jun 30, 2025Updated 7 months ago
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Updated this week
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Jan 8, 2026Updated last month
• noir-lang / noir_string_search

  View on GitHub
  ☆19Jun 6, 2025Updated 8 months ago
• crema-labs / ecdsa-p384-circom

  View on GitHub
  ECDSA P384 implementation for circom
  ☆17Sep 1, 2024Updated last year
• zkemail / asn1-parser-circom

  View on GitHub
  Circom ASN.1 Parser
  ☆20Jul 22, 2024Updated last year
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Dec 18, 2025Updated last month
• banyancomputer / hot-proofs-blake3-circom

  View on GitHub
  banyan's hot on-chain data storage zk proofs
  ☆14May 22, 2025Updated 8 months ago
• h-hafezi / kzh_fold

  View on GitHub
  ☆28Oct 31, 2025Updated 3 months ago
• noir-lang / noir_json_parser

  View on GitHub
  ☆16Dec 2, 2025Updated 2 months ago
• olehmisar / nodash

  View on GitHub
  A Swiss knife for Noir
  ☆17Updated this week
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• zkemail / noir-jwt

  View on GitHub
  Noir library to verify JWT tokens, and prove claims.
  ☆32Dec 4, 2025Updated 2 months ago
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Feb 10, 2026Updated last week
• privacy-ethereum / webauth-circom

  View on GitHub
  ☆19Feb 2, 2024Updated 2 years ago
• ingonyama-zk / imp1

  View on GitHub
  IMP1 - Ingonyama Mobile Prover, built with ICICLE
  ☆28Aug 4, 2025Updated 6 months ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• ProjectZKM / zkm-prover

  View on GitHub
  A parallel proving service for ZKM.
  ☆22Dec 18, 2025Updated last month
• cursive-team / 2P-PSI

  View on GitHub
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Apr 16, 2024Updated last year
• shuklaayush / chip0

  View on GitHub
  The first CHIP-8 zkvm
  ☆21Jun 4, 2024Updated last year
• formal-land / garden

  View on GitHub
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆32Nov 27, 2025Updated 2 months ago
• 0xmozak / mozak-vm

  View on GitHub
  Mozak RISC-V Virtual Machine
  ☆25Mar 24, 2025Updated 10 months ago
• privacy-ethereum / zkspecs

  View on GitHub
  ☆24Mar 2, 2025Updated 11 months ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• Veridise / Picus

  View on GitHub
  Automated verification of uniqueness property for ZKP circuits
  ☆93Mar 13, 2024Updated last year
• bkomuves / hash-circuits

  View on GitHub
  Hashing circuits implemented in circom
  ☆27Jan 24, 2025Updated last year
• xorddotcom / SHIELD

  View on GitHub
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆59Jan 25, 2023Updated 3 years ago
• weijiekoh / elgamal-babyjub

  View on GitHub
  ☆23Oct 6, 2020Updated 5 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• ava-labs / EncryptedERC

  View on GitHub
  ☆59Feb 5, 2026Updated last week
• 0xPolygonHermez / zisk

  View on GitHub
  ☆175Updated this week
• zero-savvy / vimz

  View on GitHub
  ZK proofs for image authenticity
  ☆50Oct 3, 2025Updated 4 months ago
• zkFHE / circomlib-fhe

  View on GitHub
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆47May 7, 2025Updated 9 months ago
• brevis-network / pico

  View on GitHub
  ☆97Updated this week
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• Koukyosyumei / zkFuzz

  View on GitHub
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆37Nov 19, 2025Updated 2 months ago
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 6 months ago