Alternatives and similar repositories for risc0-ethereum

Users that are interested in risc0-ethereum are comparing it to the libraries listed below

• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack
  ☆197Updated this week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆141Updated 2 weeks ago
• boundless-xyz / risc0-foundry-template
  Template for integrating RISC Zero and Ethereum using Foundry
  ☆138Updated 4 months ago
• op-rs / kona
  Monorepo for OP Stack Types, Components, and Services built in Rust.
  ☆262Updated this week
• Layr-Labs / eigensdk-rs
  EigenLayer Rust Developer Tooling
  ☆92Updated last week
• ReamLabs / ream
  ream: an Ethereum Lean client written in Rust
  ☆113Updated this week
• EspressoSystems / HotShot
  ☆158Updated 7 months ago
• privacy-ethereum / chiquito
  DSL for Halo2 circuits
  ☆188Updated 11 months ago
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆111Updated this week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆120Updated last week
• ethproofs / ethproofs
  the race to prove Ethereum in real-time
  ☆119Updated this week
• AztecProtocol / noir-starter
  ☆192Updated 5 months ago
• risechain / pevm
  Blazingly fast Parallel EVM
  ☆318Updated this week
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆95Updated 7 months ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆126Updated this week
• 0xPolygonHermez / zisk
  ☆129Updated this week
• risc0 / demos
  ☆60Updated last month
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆170Updated 5 months ago
• OffchainLabs / stylus
  Stylus VM and Fraud Prover
  ☆119Updated last year
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Updated 2 years ago
• boundless-xyz / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆430Updated 2 weeks ago
• openvm-org / openvm
  A performant and modular zkVM framework built for customization and extensibility.
  ☆280Updated this week
• NethermindEth / cairo-vm-go
  A virtual machine for Cairo written in Go
  ☆89Updated 4 months ago
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆245Updated this week
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated last year
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆259Updated 3 weeks ago
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆138Updated 3 months ago
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆69Updated last week
• zkmopro / mopro
  Making client-side proving on mobile simple.
  ☆207Updated this week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆213Updated last year