holonym-foundation/vole-zk-prover 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

holonym-foundation/vole-zk-prover

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/holonym-foundation/vole-zk-prover)

Close

holonym-foundation / vole-zk-proverView on GitHubMore

• External links
• Readme badge

Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and witnesses.

☆36Jun 3, 2025Updated 9 months ago

Alternatives and similar repositories for vole-zk-prover

Users that are interested in vole-zk-prover are comparing it to the libraries listed below

• hashcloak / noir-mpc-ml

  View on GitHub
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆13Feb 17, 2025Updated last year
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• TheFrozenFire / snark-jwt-verify

  View on GitHub
  Verify JWTs using SNARK circuits
  ☆29Jul 15, 2024Updated last year
• zkemail / noir-jwt

  View on GitHub
  Noir library to verify JWT tokens, and prove claims.
  ☆32Dec 4, 2025Updated 3 months 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
• uiuc-kang-lab / zk-torch

  View on GitHub
  ☆36Nov 7, 2025Updated 4 months ago
• defi-wonderland / aztec-standards

  View on GitHub
  Comprehensive collection of reusable, standardized contracts for the Aztec Network
  ☆32Updated this week
• Sofianel5 / zk-img-editor

  View on GitHub
  ☆22Feb 19, 2024Updated 2 years ago
• bkomuves / hash-circuits

  View on GitHub
  Hashing circuits implemented in circom
  ☆28Jan 24, 2025Updated last year
• cursive-team / babyjubjub-ecdsa

  View on GitHub
  Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures
  ☆22Nov 6, 2024Updated last year
• 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
• zkemail / zkemail.nr

  View on GitHub
  ZK Email in Noir
  ☆83Updated this week
• Orbiter-Finance / rapidsnark

  View on GitHub
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆13Apr 8, 2024Updated last year
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• zkp-application / circom-rsa-verify

  View on GitHub
  Zero Knowledge Proof for RSA
  ☆55Jun 19, 2023Updated 2 years ago
• banyancomputer / hot-proofs-blake3-circom

  View on GitHub
  banyan's hot on-chain data storage zk proofs
  ☆14May 22, 2025Updated 9 months ago
• zkemail / archive.zk.email

  View on GitHub
  A repository to store historical, timestamped DKIM keys; and for anyone to upload their own. Basically https://archive.org for public key…
  ☆16Dec 17, 2025Updated 2 months ago
• richardliang / zkdsl-workshop

  View on GitHub
  Noir, Circom, and Halo2 exercises for DSL workshop at ZKSummit10
  ☆13Sep 21, 2023Updated 2 years ago
• dmpierre / sha1-circom

  View on GitHub
  Generate a zero-knowledge proof for a SHA1 pre-image.
  ☆12Mar 29, 2024Updated last year
• zkemail / emailwallet.org

  View on GitHub
  Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…
  ☆11Jan 21, 2026Updated last month
• ziemen4 / zkpoex

  View on GitHub
  Zero-Knowledge Proof of Exploit
  ☆43Jan 6, 2026Updated 2 months ago
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Feb 12, 2026Updated 3 weeks ago
• ingonyama-zk / icicle-snark

  View on GitHub
  Groth16 over ICICLE
  ☆44Jul 16, 2025Updated 7 months ago
• zkCert / halo2-zkcert

  View on GitHub
  Verify a chain of x509 certificates in halo2
  ☆33Nov 30, 2023Updated 2 years ago
• iden3 / js-jwz

  View on GitHub
  ☆15Dec 21, 2025Updated 2 months ago
• noir-lang / noir_json_parser

  View on GitHub
  ☆16Feb 19, 2026Updated 2 weeks ago
• pluto / circom-correctly-constrained

  View on GitHub
  a reference on testing and constraining circom
  ☆21Oct 2, 2024Updated last year
• Janmajayamall / tfhe-research

  View on GitHub
  ☆13Nov 10, 2023Updated 2 years ago
• Rate-Limiting-Nullifier / rln-contract

  View on GitHub
  Foundry project for the RLN
  ☆17Nov 10, 2023Updated 2 years ago
• TaceoLabs / co-snarks

  View on GitHub
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆214Updated this week
• Lagrange-Labs / plonky2-recursion

  View on GitHub
  plonky2 recursion framework handling different circuits in unified way.
  ☆16Mar 22, 2024Updated last year
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated 11 months ago
• privacy-ethereum / summon

  View on GitHub
  A language for building boolean circuits based on TypeScript
  ☆34Jul 9, 2025Updated 8 months ago
• yondonfu / sol-baby-jubjub

  View on GitHub
  Solidity implementation of the baby jubjub curve
  ☆21Apr 30, 2024Updated last year
• iden3 / circom-witnesscalc

  View on GitHub
  ☆21Feb 19, 2026Updated 2 weeks ago
• boundless-xyz / risc0-solana

  View on GitHub
  ☆44Oct 24, 2025Updated 4 months ago
• vaultdb / zksql

  View on GitHub
  ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs
  ☆41Apr 1, 2024Updated last year
• ingonyama-zk / imp1

  View on GitHub
  IMP1 - Ingonyama Mobile Prover, built with ICICLE
  ☆29Aug 4, 2025Updated 7 months ago