Alternatives and similar repositories for DEPRECATED-zvm

Users that are interested in DEPRECATED-zvm are comparing it to the libraries listed below

• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆73Updated last year
• tokamak-network / DEPRECATED-circom-ethereum-opcodes
  Circom circuits of Ethereum arithmetic and bitwise operators
  ☆20Updated 10 months ago
• privacy-ethereum / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆44Updated 2 years ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated last year
• privacy-ethereum / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated 2 years ago
• 0xPolygonZero / plonky2-ecdsa
  ECDSA gadgets for plonky2
  ☆19Updated 2 years ago
• enricobottazzi / halo2-intro
  ☆30Updated 2 years ago
• barryWhiteHat / plonk_tutorial
  ☆81Updated 5 years ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆51Updated 2 years ago
• privacy-ethereum / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Updated 2 years ago
• arielgabizon / Lectures
  ☆28Updated 3 months ago
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆23Updated 2 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆46Updated last week
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Updated 3 years ago
• privacy-ethereum / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 5 months ago
• succinctlabs / plonky3
  ☆24Updated last year
• kevaundray / plookup
  ☆41Updated 3 years ago
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated last year
• halo2club / halo2club.github.io
  ☆16Updated last year
• morgana-proofs / GKR-MSM
  ☆14Updated last year
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• reilabs / gnark-lean-extractor
  A tool to extract gnark circuits defined in Go to Lean for formal verification.
  ☆15Updated 8 months ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆77Updated 2 years ago
• qope / plonky2-bn254-pairing
  plonky2 implementation of bn254 pairing
  ☆19Updated last year
• daira / halographs
  Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
  ☆49Updated 3 years ago
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Updated 2 years ago