Alternatives and similar repositories for reth-valida

Users that are interested in reth-valida are comparing it to the libraries listed below

• lita-xyz / reva

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆13Jul 2, 2025Updated 7 months ago
• blockblaz / zeam-runtime

  View on GitHub
  ☆12Mar 22, 2025Updated 10 months ago
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆21Feb 9, 2026Updated last week
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated 3 weeks ago
• scroll-tech / zkvm-prover

  View on GitHub
  Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
  ☆28Jan 21, 2026Updated 3 weeks ago
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• kkrt-labs / stwo-brainfuck

  View on GitHub
  A ZK-VM for the Brainfuck language, based on Stwo
  ☆34Apr 3, 2025Updated 10 months ago
• 0xmozak / mozak-vm

  View on GitHub
  Mozak RISC-V Virtual Machine
  ☆25Mar 24, 2025Updated 10 months ago
• lita-xyz / valida-releases

  View on GitHub
  Public releases for the Valida toolchain
  ☆24Sep 25, 2025Updated 4 months ago
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• lita-xyz / valida-rs

  View on GitHub
  The entry point for Rust projects to be run on Valida
  ☆10Mar 14, 2025Updated 11 months ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• privacy-ethereum / nova-by-hand

  View on GitHub
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆29Jun 12, 2024Updated last year
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 6 months ago
• iFrostizz / rustry

  View on GitHub
  Based Ethereum framework for writing tests in Rust
  ☆12Dec 17, 2023Updated 2 years ago
• ghiliweld / sszb

  View on GitHub
  High Performance SSZ Implementation
  ☆14Jan 1, 2025Updated last year
• ReamLabs / ream

  View on GitHub
  ream: an Ethereum Lean client written in Rust
  ☆128Updated this week
• cairoeth / sp1-eof

  View on GitHub
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆35Apr 27, 2025Updated 9 months ago
• DaniPopes / zevm

  View on GitHub
  Zig EVM
  ☆34Nov 22, 2025Updated 2 months ago
• succinctlabs / hypercube-verifier

  View on GitHub
  ☆46Dec 10, 2025Updated 2 months ago
• Janmajayamall / tfhe-research

  View on GitHub
  ☆13Nov 10, 2023Updated 2 years ago
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• 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
• succinctlabs / kzg-rs

  View on GitHub
  Rust implementation of KZG point evaluation
  ☆35Feb 5, 2026Updated last week
• circlefin / malaketh-turbo

  View on GitHub
  ☆22Feb 5, 2026Updated last week
• bcc-research / CryptoUtilitiesNotebooks

  View on GitHub
  Notebooks showing how to use CryptoUtilities
  ☆14Apr 17, 2025Updated 10 months ago
• lita-xyz / rust-examples

  View on GitHub
  ☆18Dec 3, 2024Updated last year
• Philogy / create3crunch

  View on GitHub
  A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.
  ☆19May 24, 2025Updated 8 months ago
• spire-labs / litepaper

  View on GitHub
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Oct 31, 2024Updated last year
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆29Oct 6, 2025Updated 4 months ago
• SorellaLabs / angstrom-santa-claus

  View on GitHub
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13May 9, 2025Updated 9 months ago
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 3 months ago
• zemse / partial-mpt

  View on GitHub
  calculate new mpt root without loading entire trie
  ☆17Jun 19, 2024Updated last year
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 7 months ago
• init4tech / builder

  View on GitHub
  🏗️ The Signet Block Builder 🧱
  ☆23Updated this week