Alternatives and similar repositories for circom_civer

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

• Veridise / circom2llvm

  View on GitHub
  Compile circom code to llvm partially
  ☆12Feb 14, 2023Updated 3 years ago
• banyancomputer / hot-proofs-blake3-circom

  View on GitHub
  banyan's hot on-chain data storage zk proofs
  ☆14May 22, 2025Updated 8 months ago
• reilabs / gnark-lean-demo

  View on GitHub
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆15Mar 3, 2024Updated last year
• olehmisar / nodash

  View on GitHub
  A Swiss knife for Noir
  ☆16Feb 5, 2026Updated last week
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 6 months ago
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Updated this week
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• zkemail / asn1-parser-circom

  View on GitHub
  Circom ASN.1 Parser
  ☆20Jul 22, 2024Updated last year
• zero-savvy / vimz

  View on GitHub
  ZK proofs for image authenticity
  ☆50Oct 3, 2025Updated 4 months ago
• 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
• vuvoth / ccls

  View on GitHub
  circom language server
  ☆21Jun 3, 2025Updated 8 months ago
• dawedawe / tusistor

  View on GitHub
  Sources of the tusistor TUI app and the rusistor lib.
  ☆13Dec 29, 2025Updated last month
• zama-ai / fhevm-decryptions-db

  View on GitHub
  The fhEVM Decryptions Database is a key-value database of decryption results.
  ☆15Aug 24, 2023Updated 2 years ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• noir-lang / noir_bigcurve

  View on GitHub
  ☆14Feb 6, 2026Updated last week
• semaphore-protocol / semaphore-rs

  View on GitHub
  Semaphore v4 implemented in Rust
  ☆10Oct 7, 2025Updated 4 months ago
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 6 months ago
• shuklaayush / zed-noir

  View on GitHub
  Noir support for Zed
  ☆11May 3, 2024Updated last year
• zk-kit / zk-kit.circom

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

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• 0xPolygonID / witnesscalc

  View on GitHub
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Aug 22, 2025Updated 5 months ago
• aptos-labs / keyless-zk-proofs

  View on GitHub
  Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service
  ☆20Updated this week
• axiom-crypto / axiom-sdk-client

  View on GitHub
  Monorepo for collection of Axiom V2 Typescript SDKs.
  ☆14Oct 21, 2024Updated last year
• Maddiaa0 / solidity-circuits

  View on GitHub
  Write Zero Knowledge Circuits in Solidity
  ☆13Nov 30, 2023Updated 2 years ago
• succinctlabs / telepathy-circuits

  View on GitHub
  zkSNARK circuits for the Telepathy protocol
  ☆53Aug 28, 2023Updated 2 years ago
• rubydusa / circom-lsp

  View on GitHub
  A Language Server Protocol Implementation for Circom
  ☆33Jun 3, 2023Updated 2 years ago
• dl-solarity / circom-lib

  View on GitHub
  Circom circuits library for magnificent ZK applications
  ☆14Jun 4, 2025Updated 8 months ago
• Rate-Limiting-Nullifier / rln-contract

  View on GitHub
  Foundry project for the RLN
  ☆17Nov 10, 2023Updated 2 years ago
• hashcloak / noir-mpc-ml

  View on GitHub
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆13Feb 17, 2025Updated 11 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
• pluto / web-prover

  View on GitHub
  Pluto Web Prover 🦀
  ☆39Mar 18, 2025Updated 10 months ago
• solana-program / zk-elgamal-proof

  View on GitHub
  ZK ElGamal Proof Program on Solana
  ☆27Updated this week
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated 2 weeks ago
• lita-xyz / rust-examples

  View on GitHub
  ☆18Dec 3, 2024Updated last year
• YaadaYaada / tui-asset-editor

  View on GitHub
  A TUI application used to create and modify assets for games written in Rust
  ☆15Mar 23, 2025Updated 10 months ago
• NP-Eng / ligero

  View on GitHub
  Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.
  ☆18Oct 28, 2024Updated last year
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆29Oct 6, 2025Updated 4 months ago