reclaimprotocol/zk-symmetric-crypto 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

reclaimprotocol/zk-symmetric-crypto

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/reclaimprotocol/zk-symmetric-crypto)

Close

reclaimprotocol / zk-symmetric-cryptoView on GitHubMore

• External links
• Readme badge

A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.

☆28Feb 27, 2026Updated last week

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 19, 2026Updated 2 weeks ago
• zk-kit / zk-kit.circom

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

  View on GitHub
  Circom AES-GCM circuits
  ☆35Feb 12, 2026Updated 3 weeks ago
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Feb 19, 2026Updated 2 weeks ago
• noir-lang / noir_string_search

  View on GitHub
  ☆19Jun 6, 2025Updated 9 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
  ☆48Dec 18, 2025Updated 2 months ago
• banyancomputer / hot-proofs-blake3-circom

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

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

  View on GitHub
  ☆16Feb 19, 2026Updated 2 weeks ago
• olehmisar / nodash

  View on GitHub
  A Swiss knife for Noir
  ☆17Feb 20, 2026Updated 2 weeks ago
• 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 3 months ago
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• privacy-ethereum / webauth-circom

  View on GitHub
  ☆19Feb 2, 2024Updated 2 years ago
• zkpassport / noir_rs

  View on GitHub
  Rust crate to generate and verify proofs for Noir circuits
  ☆27Updated this week
• ingonyama-zk / imp1

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

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

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

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

  View on GitHub
  Mozak RISC-V Virtual Machine
  ☆25Mar 24, 2025Updated 11 months ago
• formal-land / garden

  View on GitHub
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆32Nov 27, 2025Updated 3 months ago
• shuklaayush / chip0

  View on GitHub
  The first CHIP-8 zkvm
  ☆21Jun 4, 2024Updated last year
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• privacy-ethereum / zkspecs

  View on GitHub
  ☆24Mar 2, 2025Updated last year
• Veridise / Picus

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

  View on GitHub
  Hashing circuits implemented in circom
  ☆28Jan 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…
  ☆60Jan 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
  ☆60Feb 12, 2026Updated 3 weeks ago
• 0xPolygonHermez / zisk

  View on GitHub
  ☆176Updated this week
• brevis-network / pico

  View on GitHub
  ☆97Updated this week
• privacy-ethereum / DefinitelySetup

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

  View on GitHub
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆37Nov 19, 2025Updated 3 months ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated 2 years ago
• dawedawe / tusistor

  View on GitHub
  Sources of the tusistor TUI app and the rusistor lib.
  ☆14Dec 29, 2025Updated 2 months ago