Alternatives and similar repositories for verify-everything

Users that are interested in verify-everything are comparing it to the libraries listed below

• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆54Updated 2 months ago
• Okm165 / stwo-web-stark
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆27Updated 3 weeks ago
• Okm165 / binius-web-snark
  Binius circuits web demos
  ☆14Updated 6 months ago
• shramee / cairo_pairing
  ☆17Updated 10 months ago
• succinctlabs / hypercube-verifier
  ☆38Updated last month
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆72Updated last year
• privacy-scaling-explorations / zk-kit.circom
  A monorepo of reusable Circom circuits.
  ☆26Updated 2 weeks ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• Moonsong-Labs / cairo-bootloader
  Cairo bootloader port for the Rust Cairo VM.
  ☆12Updated 11 months ago
• cursive-team / babyjubjub-ecdsa
  Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures
  ☆21Updated 7 months ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated 8 months ago
• jbaylina / nova-circom-verifier
  Nova Verifier in Circom so it can be verified onChain
  ☆58Updated 2 years ago
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated 11 months ago
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 3 months ago
• danilowhk / swiftness-sp1
  Verifying Cairo Programs in SP1
  ☆14Updated 8 months ago
• Ethan-000 / halo2_backend
  ☆38Updated last year
• tokamak-network / DEPRECATED-circom-ethereum-opcodes
  Circom circuits of Ethereum arithmetic and bitwise operators
  ☆20Updated 4 months ago
• personaelabs / sapir
  ☆2Updated last year
• philsippl / circom-witness-rs
  ☆61Updated last year
• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆24Updated last week
• BrianSeong99 / Plonky3_Fibonacci
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆33Updated 8 months ago
• lambdaclass / noir_backend_using_gnark
  A Noir's backend implementation using Gnark
  ☆35Updated last year
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆55Updated 9 months ago
• noir-lang / noir-bignum
  bignum
  ☆26Updated this week
• brevis-network / pico
  ☆50Updated 2 weeks ago
• privacy-scaling-explorations / nova-ml
  ☆24Updated last year
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 3 years ago