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)
  ☆69Updated this week
• stateless-consensus / phant
  A stateless Ethereum execution client
  ☆32Updated 8 months ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• privacy-ethereum / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• weijiekoh / libkzg
  A minimal KZG polynominal commitment library with a Solidity verifier
  ☆72Updated 2 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago
• eth-act / ere
  Unified zkVM Interface & Toolkit
  ☆37Updated this week
• privacy-ethereum / zkspecs
  ☆25Updated 7 months ago
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated last year
• ReamLabs / ream-study-group
  A collection of learning materials on the Beam chain and Ream client.
  ☆45Updated this week
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• getZeFi / circomjs
  CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
  ☆49Updated 2 years ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 11 months ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆33Updated 2 months ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated 2 years ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 3 years ago
• jbaylina / nova-circom-verifier
  Nova Verifier in Circom so it can be verified onChain
  ☆59Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• protolambda / dv5das
  Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay
  ☆35Updated 3 years ago
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆15Updated 8 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆72Updated last year
• crate-crypto / rust-eth-kzg
  ☆28Updated 2 weeks ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated last year
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆21Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• yetanotherco / zkvm_benchmarks
  ☆27Updated 6 months ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆46Updated 10 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆28Updated last year