Alternatives and similar repositories for verify-everything:

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

• BrianSeong99 / Plonky3_Fibonacci
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆30Updated 3 months ago
• DoHoonKim8 / stark-verifier
  ☆48Updated 10 months ago
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆21Updated 4 months ago
• Okm165 / binius-web-snark
  Binius circuits web demos
  ☆14Updated last month
• personaelabs / sapir
  ☆2Updated 10 months ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆59Updated this week
• privacy-scaling-explorations / zk-kit.circom
  A monorepo of reusable Circom circuits.
  ☆22Updated last week
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆33Updated last year
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆45Updated this week
• lita-xyz / valida-releases
  Public releases for the Valida toolchain
  ☆11Updated 3 weeks ago
• shramee / cairo_pairing
  ☆18Updated 5 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆71Updated 8 months ago
• jbaylina / nova-circom-verifier
  Nova Verifier in Circom so it can be verified onChain
  ☆58Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆49Updated 3 months ago
• DelphinusLab / zkWasm-host-circuits
  ☆24Updated last month
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆36Updated 9 months ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆42Updated last year
• privacy-scaling-explorations / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆82Updated last year
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆44Updated last week
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆53Updated 4 months ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆61Updated 10 months ago
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 2 years ago
• IrreducibleOSS / binius
  A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
  ☆78Updated this week
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated 9 months ago
• Moonsong-Labs / cairo-bootloader
  Cairo bootloader port for the Rust Cairo VM.
  ☆11Updated 6 months ago
• erhant / circom101
  Circom arithmetic circuits and concepts explained, in depth.
  ☆24Updated last month
• Okm165 / stwo-web-stark
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆20Updated last week
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 10 months ago