Commit Graph

4 Commits

Author SHA1 Message Date
Georg Wiese
f4345b5304 Improve basic metrics summary (#3203)
Adds `app_proof_cols` and `total_proof_time_ms` columns to the result
CSV.
2025-08-21 14:09:12 +00:00
Georg Wiese
18a549c599 basic_metrics.py: Report OpenVM precompile ratio (#3004)
Adds a heuristic to separate "normal" CPU instructions (which we can
hope to accelerate with APCs) from OpenVM precompiles.

Example:
```
python openvm/scripts/basic_metrics.py ../bench-results/results/2025-07-07-0624/reth/*.json
                                                 filename  num_segments  app_proof_cells  app_proof_time_ms  app_execute_time_ms  app_trace_gen_time_ms  leaf_proof_time_ms  inner_recursion_proof_time_ms  normal_instruction_cells  openvm_precompile_cells  powdr_cells  normal_instruction_ratio  openvm_precompile_ratio  powdr_ratio  powdr_rows
../bench-results/results/2025-07-07-0624/reth/100apc.json             3      15062260062             163682                23767                  64627               89913                          12532                4982516224               7190029662   2889714176                  0.330795                 0.477354     0.191851    16826880
 ../bench-results/results/2025-07-07-0624/reth/noapc.json             6      19633824920             217899                24907                  55865               82750                          30175               11659639296               7974185624            0                  0.593855                 0.406145     0.000000           0
```

Note that `normal_instruction_cells + openvm_precompile_cells` adds to
`non_powdr_cells`
[here](https://github.com/powdr-labs/bench-results/blob/gh-pages/results/2025-07-07-0624/reth/basic_metrics.csv).
2025-07-07 23:00:12 +00:00
Georg Wiese
33c5b45943 plot_trace_cells.py: Only count app proofs (#3003)
- Extracted a function to load the metrics file, which already separates
the different proof stages
- Use it in `openvm/scripts/plot_trace_cells.py`
2025-07-07 15:23:16 +00:00
Leandro Pacheco
d3b6d40c7c script for extracting basic metrics from the metrics json file (#2979) 2025-07-03 06:55:03 +00:00