Alternatives and similar repositories for kona

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

• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack
  ☆179Updated this week
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆183Updated last week
• Layr-Labs / eigensdk-rs
  EigenLayer Rust Developer Tooling
  ☆91Updated 2 weeks ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆131Updated this week
• paradigmxyz / ress
  The implementation of Stateless Ethereum client based on Reth
  ☆163Updated 3 months ago
• risechain / pevm
  Blazingly fast Parallel EVM
  ☆293Updated 3 months ago
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆187Updated 8 months ago
• r55-eth / r55
  ☆343Updated 3 months ago
• paradigmxyz / revm-inspectors
  EVM Execution Hooks.
  ☆221Updated this week
• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆127Updated this week
• ReamLabs / ream
  ream: an Ethereum Beam client written in Rust
  ☆102Updated last week
• paradigmxyz / reth-exex-examples
  Collection of ExEx examples built on Reth
  ☆139Updated 2 weeks ago
• paradigmxyz / alphanet
  Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.
  ☆173Updated 7 months ago
• risc0 / risc0-foundry-template
  Template for integrating RISC Zero and Ethereum using Foundry
  ☆138Updated last month
• OpenZeppelin / rust-contracts-stylus
  A library for secure smart contract development written in Rust
  ☆121Updated this week
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆110Updated 3 months ago
• crate-crypto / rust-verkle
  ☆123Updated 8 months ago
• EspressoSystems / HotShot
  ☆142Updated 4 months ago
• 0xPolygonHermez / zisk
  ☆102Updated this week
• arkworks-rs / circom-compat
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆269Updated 4 months ago
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆103Updated this week
• openvm-org / openvm
  A performant and modular zkVM framework built for customization and extensibility.
  ☆252Updated this week
• ralexstokes / ethereum-consensus
  ☆149Updated 3 months ago
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆137Updated 2 years ago
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆221Updated 2 months ago
• gattaca-com / helix
  ☆98Updated last week
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆158Updated 2 years ago
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆160Updated 6 months ago
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆421Updated last month
• privacy-scaling-explorations / snark-verifier
  ☆153Updated last year