From e74fe368666ae4106842ce08b737539d40264a03 Mon Sep 17 00:00:00 2001 From: Moudy Date: Fri, 15 May 2026 00:24:56 +0200 Subject: [PATCH] Update README.md --- tools/cycle_bench/README.md | 18 +++++------------- 1 file changed, 5 insertions(+), 13 deletions(-) diff --git a/tools/cycle_bench/README.md b/tools/cycle_bench/README.md index 2bc5462f..3b416dc8 100644 --- a/tools/cycle_bench/README.md +++ b/tools/cycle_bench/README.md @@ -1,8 +1,6 @@ # cycle_bench -Per-program Risc0 cycle counts, prover wall time, PPE composition cost, and -verifier wall time for the built-in LEZ programs. Feeds the fee model -(`G_executor`, `G_prove`, `G_verify`, `S_agg`). +Per-program Risc0 cycle counts, prover wall time, PPE composition cost, and verifier wall time for the built-in LEZ programs. Feeds the fee model (`G_executor`, `G_prove`, `G_verify`, `S_agg`). ## Run @@ -20,17 +18,11 @@ cargo run --release -p cycle_bench --features ppe -- --prove --ppe cargo run --release -p cycle_bench --features ppe -- --verify --verify-iters 1000 ``` -`RISC0_DEV_MODE=1` skips proving entirely and is only useful for the executor path. -Combine flags freely; output is printed to stdout and written to -`target/cycle_bench.json` for regression diffs. +`RISC0_DEV_MODE=1` skips proving entirely and is only useful for the executor path. Combine flags freely; output is printed to stdout and written to `target/cycle_bench.json` for regression diffs. ## What you'll see -- Per-program executor cycles and segments, plus exec wall time as - `best / mean ± stdev (n=N)`. +- Per-program executor cycles and segments, plus exec wall time as `best / mean ± stdev (n=N)`. - With `--prove`: prover total cycles, paging cycles, segments, and wall time. -- With `--ppe`: end-to-end `execute_and_prove` wall time and S_agg - (the borsh-serialized InnerReceipt length) for one auth-transfer-in-PPE - case and a chain-caller depth sweep. -- With `--verify`: verify wall time `best / mean ± stdev`, plus - `proof_bytes` and `journal_bytes`. +- With `--ppe`: end-to-end `execute_and_prove` wall time and S_agg (the borsh-serialized InnerReceipt length) for one auth-transfer-in-PPE case and a chain-caller depth sweep. +- With `--verify`: verify wall time `best / mean ± stdev`, plus `proof_bytes` and `journal_bytes`.