Alternatives and similar repositories for zk-regex

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

• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• zkemail / zk-email-verify

  View on GitHub
  Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
  ☆419Updated this week
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆35Jul 25, 2024Updated last year
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• moven0831 / fraud-proof-groth16

  View on GitHub
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Oct 10, 2023Updated 2 years ago
• privacy-ethereum / DefinitelySetup

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

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• cursive-team / 2P-PSI

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

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• TheFrozenFire / snark-jwt-verify

  View on GitHub
  Verify JWTs using SNARK circuits
  ☆29Jul 15, 2024Updated last year
• iden3 / circom_tester

  View on GitHub
  Provides tools for testing circom circuits.
  ☆67Jun 10, 2025Updated 8 months ago
• zkemail / halo2-zk-email

  View on GitHub
  Email verification circuit in halo2
  ☆68Jul 3, 2024Updated last year
• franklynwang / EcneProject

  View on GitHub
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆114Aug 2, 2022Updated 3 years ago
• Veridise / Coda

  View on GitHub
  ☆47Aug 31, 2023Updated 2 years ago
• zkp-application / circom-rsa-verify

  View on GitHub
  Zero Knowledge Proof for RSA
  ☆55Jun 19, 2023Updated 2 years ago
• tokamak-network / DEPRECATED-Tokamak-ZkEVM

  View on GitHub
  A new type of zk-EVM for L2 rollup
  ☆10Feb 1, 2025Updated last year
• javiersuweijie / zkemail-safe

  View on GitHub
  ☆13Oct 22, 2023Updated 2 years ago
• doubleblind-xyz / double-blind

  View on GitHub
  wipppp
  ☆18May 15, 2022Updated 3 years ago
• Janmajayamall / ObliviousMessageRetrieval-Old

  View on GitHub
  ☆17Mar 18, 2023Updated 2 years ago
• namnc / circom-2-arithc

  View on GitHub
  Circom interpreter to arithmetic circuit description
  ☆58Sep 12, 2024Updated last year
• succinctlabs / telepathy-circuits

  View on GitHub
  zkSNARK circuits for the Telepathy protocol
  ☆53Aug 28, 2023Updated 2 years ago
• phantomzone-org / phantom-zone

  View on GitHub
  ☆132Dec 23, 2024Updated last year
• nalinbhardwaj / Nova-Scotia

  View on GitHub
  Middleware to compile Circom circuits to Nova prover
  ☆244Mar 1, 2024Updated last year
• Wassasin / ibe

  View on GitHub
  Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
  ☆20Aug 31, 2021Updated 4 years ago
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• personaelabs / spartan-ecdsa

  View on GitHub
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆218Dec 5, 2023Updated 2 years ago
• zkp2p / zkp2p-poc

  View on GitHub
  ☆94Sep 6, 2023Updated 2 years ago
• lyronctk / zator

  View on GitHub
  Verifying a 512-layer CNN w/ Nova
  ☆171May 5, 2023Updated 2 years ago
• axiom-crypto / halo2-scaffold

  View on GitHub
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆112Jan 2, 2024Updated 2 years ago
• zkemail / email-wallet

  View on GitHub
  A smart contract wallet controlled using email
  ☆176Apr 9, 2025Updated 10 months ago
• zkCert / halo2-zkcert

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

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year
• personaelabs / efficient-zk-ecdsa

  View on GitHub
  Lowering client-side proving cost for private ZK signatures in circom
  ☆112Mar 18, 2023Updated 2 years ago
• erhant / circomkit

  View on GitHub
  A testing & development environment for Circom.
  ☆117Jul 31, 2025Updated 6 months ago
• DelphinusLab / continuation-batcher

  View on GitHub
  customizable halo2 circuits batcher
  ☆31Oct 25, 2025Updated 3 months ago
• socathie / circomlib-ml

  View on GitHub
  Circom Circuits Library for Machine Learning
  ☆181Jun 19, 2024Updated last year
• tokamak-network / DEPRECATED-circom-ethereum-opcodes

  View on GitHub
  Circom circuits of Ethereum arithmetic and bitwise operators
  ☆20Feb 1, 2025Updated last year
• zero-savvy / zk-remote-attestation

  View on GitHub
  Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…
  ☆22Jun 27, 2025Updated 7 months ago
• 0xPARC / circom-starter

  View on GitHub
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Jun 16, 2023Updated 2 years ago