Alternatives and similar repositories for zkevm-book

Users that are interested in zkevm-book are comparing it to the libraries listed below

• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Dec 18, 2025Updated last month
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• zigtur / Groth16

  View on GitHub
  This repository contains my first battle in the ZK war. My enemy: Groth16.
  ☆17Nov 23, 2023Updated 2 years ago
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆19Feb 6, 2026Updated last week
• ret2basic / Groth16

  View on GitHub
  Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.
  ☆22Aug 28, 2025Updated 5 months ago
• yetanotherco / zkRust

  View on GitHub
  ☆43Oct 26, 2024Updated last year
• 0xfuturistic / plonkish-solidity

  View on GitHub
  ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.
  ☆11Aug 14, 2023Updated 2 years ago
• lyronctk / kzg-blob

  View on GitHub
  Prove multi-opens of EIP-4844 KZG blobs
  ☆16Jun 15, 2023Updated 2 years ago
• ghiliweld / sszb

  View on GitHub
  High Performance SSZ Implementation
  ☆14Jan 1, 2025Updated last year
• brevis-network / pico

  View on GitHub
  ☆96Feb 5, 2026Updated last week
• ZippelLabs / ZP1

  View on GitHub
  RISC-V prover system
  ☆48Jan 15, 2026Updated 3 weeks ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• lita-xyz / reth-valida

  View on GitHub
  revm/reth block proving on Valida
  ☆15Feb 11, 2025Updated last year
• ethpandaops / assertoor-test

  View on GitHub
  ☆16Jan 1, 2026Updated last month
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆132Updated this week
• tcoratger / whir-p3

  View on GitHub
  ☆58Feb 6, 2026Updated last week
• iosis-tech / swiftness

  View on GitHub
  Cairo-VM STONE STARK Verifier Rust implementation
  ☆43Feb 4, 2025Updated last year
• microbecode / stark-from-zero

  View on GitHub
  Create a Stark prover & verifier from zero
  ☆68Sep 23, 2025Updated 4 months ago
• devtooligan / AccessListLib

  View on GitHub
  Library for interacting with Access List
  ☆18Sep 13, 2022Updated 3 years ago
• NilFoundation / zkEVM1

  View on GitHub
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Jan 3, 2024Updated 2 years ago
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆29Oct 6, 2025Updated 4 months ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 7 months ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 9 months ago
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• succinctlabs / hypercube-verifier

  View on GitHub
  ☆46Dec 10, 2025Updated 2 months ago
• Verified-zkEVM / clean

  View on GitHub
  Lean circuit DSL
  ☆121Updated this week
• lambdaclass / ethlambda

  View on GitHub
  A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to de…
  ☆69Updated this week
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago
• polybase / polylang

  View on GitHub
  ☆37Nov 7, 2023Updated 2 years ago
• succinctlabs / kzg-rs

  View on GitHub
  Rust implementation of KZG point evaluation
  ☆35Feb 5, 2026Updated last week
• PositiveSecurity / zk-audit-guide

  View on GitHub
  Checklist for security audit of ZKP projects by @positivesecurity
  ☆34Sep 12, 2024Updated last year
• lattirust / lattirust

  View on GitHub
  ☆66May 13, 2025Updated 9 months ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• vaibhavchellani / RollupNC_tutorial

  View on GitHub
  circom and snarkjs / websnark tutorial, using RollupNC as an example
  ☆17Oct 3, 2019Updated 6 years ago
• NethermindEth / condor-rs

  View on GitHub
  Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust
  ☆21Sep 9, 2025Updated 5 months ago
• lambdaclass / era_vm

  View on GitHub
  EraVM implementation
  ☆19Sep 5, 2024Updated last year
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago