Alternatives and similar repositories for zeam-runtime

Users that are interested in zeam-runtime are comparing it to the libraries listed below

• blockblaz / zeam
  Ethereum Lean client in Zig (wip)
  ☆75Updated this week
• stateless-consensus / phant
  A stateless Ethereum execution client
  ☆33Updated 10 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated last year
• NethermindEth / gas-benchmarks
  Gas benchmark research repository
  ☆17Updated this week
• eth-act / ere
  Unified zkVM Interface & Toolkit
  ☆54Updated this week
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆15Updated 9 months ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆34Updated 3 months ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated 2 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• ReamLabs / ream-study-group
  A collection of learning materials on the Beam chain and Ream client.
  ☆48Updated this week
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated 2 years ago
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆51Updated 2 years ago
• axiom-crypto / axiom-eth
  ☆94Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated last year
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆62Updated last year
• ghiliweld / sszb
  High Performance SSZ Implementation
  ☆14Updated 10 months ago
• clabby / brisc
  A simple RISC-V runtime.
  ☆33Updated 2 months ago
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆21Updated 2 years ago
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆77Updated 2 years ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆76Updated last month
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• init4tech / signet-sdk
  Signet ecosystem crates
  ☆25Updated this week
• pluto / edge
  client side proving
  ☆39Updated 8 months ago
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆104Updated 2 years ago