Alternatives and similar repositories for reva

Users that are interested in reva are comparing it to the libraries listed below

• lita-xyz / reth-valida

  View on GitHub
  revm/reth block proving on Valida
  ☆15Feb 11, 2025Updated last year
• privacy-ethereum / researches

  View on GitHub
  ☆10Oct 24, 2022Updated 3 years ago
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• danilowhk / swiftness-sp1

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

  View on GitHub
  ☆18Dec 3, 2024Updated last year
• iosis-tech / zetina

  View on GitHub
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Dec 5, 2024Updated last year
• 0xturboblitz / totem

  View on GitHub
  Behold the almighty 🗿totem🗿
  ☆19Sep 19, 2024Updated last year
• zkpassport / noir_rs

  View on GitHub
  Rust crate to generate and verify proofs for Noir circuits
  ☆24Updated this week
• ondrejsojka / cairo-migration-prompt

  View on GitHub
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23May 4, 2023Updated 2 years ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• privacy-ethereum / zkspecs

  View on GitHub
  ☆24Mar 2, 2025Updated 11 months ago
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Jan 8, 2026Updated last month
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 6 months ago
• privacy-ethereum / pse.dev

  View on GitHub
  The PSE website
  ☆26Feb 10, 2026Updated last week
• transmissions11 / reth-exex-walltime

  View on GitHub
  wall time exex for reth
  ☆12Aug 5, 2024Updated last year
• lita-xyz / valida-rs

  View on GitHub
  The entry point for Rust projects to be run on Valida
  ☆10Mar 14, 2025Updated 11 months ago
• clabby / howitzer

  View on GitHub
  Howitzer is a Fault Proof VM based on the MIPS64 architecture
  ☆14Sep 4, 2024Updated last year
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 7 months ago
• HerodotusDev / accumulators

  View on GitHub
  ☆11Jan 17, 2024Updated 2 years ago
• noir-lang / noir_bigcurve

  View on GitHub
  ☆14Feb 6, 2026Updated last week
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• kkrt-labs / cairo-vm-ts

  View on GitHub
  A typescript implementation of the Cairo VM
  ☆20Oct 7, 2024Updated last year
• alpenlabs / alpen

  View on GitHub
  Rust implementation of the Alpen protocol
  ☆92Updated this week
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• 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
• GaloisInc / zkLean

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

  View on GitHub
  Write Zero Knowledge Circuits in Solidity
  ☆13Nov 30, 2023Updated 2 years ago
• iFrostizz / rustry

  View on GitHub
  Based Ethereum framework for writing tests in Rust
  ☆12Dec 17, 2023Updated 2 years ago
• flashbots / eth-sparse-mpt

  View on GitHub
  Caching sparse Merkle Patricia Trie for reth.
  ☆12Nov 18, 2024Updated last year
• darkforestry / amms-reth

  View on GitHub
  ☆14Aug 29, 2024Updated last year
• axiom-crypto / axiom-sdk-client

  View on GitHub
  Monorepo for collection of Axiom V2 Typescript SDKs.
  ☆14Oct 21, 2024Updated last year
• kilic / tetris

  View on GitHub
  ☆14Oct 19, 2024Updated last year
• cairoeth / sp1-eof

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

  View on GitHub
  Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)
  ☆34Jan 30, 2026Updated 2 weeks ago
• zkemail / noir-jwt

  View on GitHub
  Noir library to verify JWT tokens, and prove claims.
  ☆32Dec 4, 2025Updated 2 months ago
• paradigmxyz / foundry-alphanet

  View on GitHub
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆31May 3, 2024Updated last year
• op-rs / cannon-rs

  View on GitHub
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆65Jul 27, 2024Updated last year
• DaniPopes / zevm

  View on GitHub
  Zig EVM
  ☆34Nov 22, 2025Updated 2 months ago
• Rate-Limiting-Nullifier / rln-contract

  View on GitHub
  Foundry project for the RLN
  ☆17Nov 10, 2023Updated 2 years ago