zkEVM Benchmarking Workload

This repository benchmarks Ethereum-related guest programs across multiple zkVMs. The normal workflow has two phases:

Generate JSON fixtures from EEST, RPC, or raw-input sources.
Run those fixtures through dockerized zkVM hosts and write metrics, proofs, or verification results.

Workspace At a Glance

crates/witness-generator-cli: fixture-generation CLI for EEST, RPC, and raw-input sources.
crates/witness-generator-spec-cli: CLI and library for generating canonical stateless input bytes from CL/EL RPC endpoints.
crates/ere-hosts: benchmark CLI for execution, proving, and verification jobs.
crates/benchmark-runner: shared orchestration for guest resolution, execution, proof flow, and verification.
crates/metrics: serializable result types such as BenchmarkRun.

Guest programs are maintained in the eth-act/ere-guests repository and are downloaded automatically from the resolved release or commit artifacts unless --bin-path is provided.

Prerequisites

Rust via rustup
Docker
Git

Quickstart

Verify that both CLIs are reachable from the repo root:

cargo run -p witness-generator-cli -- --help
cargo run -p witness-generator-spec-cli -- --help
cargo run -p ere-hosts -- --help

Generate sample fixtures into zkevm-fixtures-input/:

EFTESTTRIE=default RUSTMINSTACK=16388608 RUSTLOG=info RAYONNUM_THREADS=8 cargo run -p witness-generator-cli --release -- tests

Run a benchmark against those fixtures:

cargo run -p ere-hosts --release -- --zkvms sp1 stateless-validator --execution-client reth

Guides

The root README is intentionally short. Detailed workflow documentation lives under docs/.

License

Licensed under either of

MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)

at your option.

🔗 More in this category