Skip to content

chore: add execution insn/s logging#1764

Merged
jonathanpwang merged 19 commits into
feat/new-executionfrom
prof/e123
Jun 20, 2025
Merged

chore: add execution insn/s logging#1764
jonathanpwang merged 19 commits into
feat/new-executionfrom
prof/e123

Conversation

@jonathanpwang

@jonathanpwang jonathanpwang commented Jun 18, 2025

Copy link
Copy Markdown
Contributor

We currently do not run e1 in the local (single machine) proving flow. We will update openvm-prof once that is added.

Due to the limited nature of the metric aggregation by segment, total_proof_time_ms includes the e2(metered) time for single segments (all aggregation proofs) but excludes it for app proofs. I include the app e2 time in the final totals.

Updates the metrics caching and PR comment so that it will compare using the PR's target branch as base.

Example run: https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1764/regex-f073953995b8735d92bf3a91b452e3047cb1d671.md

- Add support for execute_e1, execute_metered, and execute_e3 metrics
- Update par_proof_time calculation to use execute_metered_time_ms directly
- Display execute_metered metrics with only sum values (dashes in avg/max/min)
- Replace all execute_e2 references with execute_metered to match naming convention
- Make get_single_summary resilient to missing total_proof_time_ms metric
- Compute proof time from trace_gen + stark_prove if total metric not available
- Update benchmark workflow to compare against target branch instead of main for PRs
- Use full SHA from target branch for metric comparison
@codspeed-hq

codspeed-hq Bot commented Jun 18, 2025

Copy link
Copy Markdown

CodSpeed WallTime Performance Report

Merging #1764 will not alter performance

Comparing prof/e123 (58595f0) with feat/new-execution (8730118)

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

Summary

✅ 20 untouched benchmarks

@github-actions

This comment has been minimized.

@codspeed-hq

codspeed-hq Bot commented Jun 18, 2025

Copy link
Copy Markdown

CodSpeed Instrumentation Performance Report

Merging #1764 will not alter performance

Comparing prof/e123 (58595f0) with feat/new-execution (8730118)

Summary

✅ 20 untouched benchmarks

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@yi-sun yi-sun left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

Copy link
Copy Markdown
group app.proof_time_ms app.cycles app.cells_used leaf.proof_time_ms leaf.cycles leaf.cells_used
verify_fibair 1,283 322,697 17,340,130 - - -
fibonacci 2,189 1,500,277 50,589,503 - - -
regex 6,810 4,165,432 166,519,456 - - -
ecrecover 1,182 137,260 8,150,689 - - -
pairing 3,934 1,862,964 97,508,739 - - -

Commit: 58595f0

Benchmark Workflow

@jonathanpwang jonathanpwang merged commit 42d4dc7 into feat/new-execution Jun 20, 2025
33 of 34 checks passed
@jonathanpwang jonathanpwang deleted the prof/e123 branch June 20, 2025 13:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants