feat(l2): add prover benchmarking tooling and documentation#6157

Open

avilagaston9 wants to merge 35 commits intomainfrom

bench/prover-tooling

Commits on Feb 9, 2026

Add proving time instrumentation and log-parsing benchmark script
avilagaston9
committed
Fix stale VK file paths in deployer after guest program was moved out of prover
avilagaston9
committed
Use pending nonce in load test to support consecutive runs without nonce conflicts,
avilagaston9
committed
Enrich benchmark script with batch metadata from Prometheus metrics endpoint.
avilagaston9
committed
Make benchmark script read the log file once and exit instead of tailing.
avilagaston9
committed
Fix off-by-one in batch_size metric: a batch spanning blocks [first, last]
avilagaston9
committed
Add --timed/--no-timed flag to prover to control proving time measurement.
avilagaston9
committed
Add env var support to load test CLI for RPC URL, tx amount, and endless mode.
avilagaston9
committed
Add prover benchmarking guide and agent workflow documentation.
avilagaston9
committed
Extract load test round logic into run_round function and use it once
avilagaston9
committed
Change load_test and wait_until_all_included to take references for client,
avilagaston9
committed
Change --timed flag default to false so it must be explicitly opted in.
avilagaston9
committed
Clarify GPU acceleration option in prover benchmarking guide by showing
avilagaston9
committed
Add PROVER_ARGS variable to Makefile prover targets so extra flags like
avilagaston9
committed
Use PROVER_CLIENT_TIMED env var in Makefile prover targets instead of
avilagaston9
committed
Use PROVER_CLIENT_TIMED env var directly instead of a TIMED Makefile alias.
avilagaston9
committed
Rewrite benchmark script to output a markdown file with a table and summary
avilagaston9
committed
Remove load-test target from crates/l2/Makefile and use the existing
avilagaston9
committed
Add automatic server specs detection (CPU, RAM, GPU) to the benchmark
avilagaston9
committed
Add batches-to-prove prompt to agent setup instructions and include
avilagaston9
committed
Clarify that LOAD_TEST_RPC_URL must point to the L2 node RPC (port 1729
avilagaston9
committed
Add prover_type to BatchRequest so the proof coordinator can filter
avilagaston9
committed
Remove redundant prover_type field from Prover struct — the backend
avilagaston9
committed

Commits on Feb 11, 2026