Str-796: ZkVMs prover performance metrics

[evgenyzdanovich]

Description

Introduce performance metrics for provers. Currently, only displays cycle_count for each ZkVm program.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Refactor
• New or updated tests
• Dependency Update

Notes to Reviewers

Checklist

• I have performed a self-review of my code.
• I have commented my code where necessary.
• I have updated the documentation if needed.
• My changes do not introduce new warnings.
• I have added tests that prove my changes are effective or that my feature works.
• New and existing tests pass with my changes.

Related Issues

STR-796

[github-actions]

Commit: 6d00b87

SP1 Performance Test Results

program	cycles	success
BTC_BLOCKSPACE	7251269	✅
EL_BLOCK	100761	✅
CL_BLOCK	55522	✅
L1_BATCH	23221	✅
L2_BATCH	11446	✅
CHECKPOINT	16119	✅

[codecov]

Codecov Report

Attention: Patch coverage is 1.28755% with 230 lines in your changes missing coverage. Please review.

Project coverage is 56.60%. Comparing base (506fd5c) to head (eee2e9c).
Report is 7 commits behind head on main.

Files with missing lines	Patch %	Lines
provers/perf/src/main.rs	0.00%	195 Missing ⚠️
provers/perf/src/lib.rs	0.00%	15 Missing ⚠️
provers/perf/src/reports.rs	0.00%	11 Missing ⚠️
crates/zkvm/adapters/risc0/src/host.rs	0.00%	3 Missing ⚠️
crates/zkvm/adapters/sp1/src/host.rs	0.00%	3 Missing ⚠️
crates/zkvm/hosts/src/lib.rs	50.00%	3 Missing ⚠️

@@            Coverage Diff             @@
##             main     #555      +/-   ##
==========================================
- Coverage   57.33%   56.60%   -0.74%     
==========================================
  Files         309      315       +6     
  Lines       31510    31913     +403     
==========================================
- Hits        18067    18063       -4     
- Misses      13443    13850     +407     

Files with missing lines	Coverage Δ
crates/zkvm/adapters/native/src/host.rs	74.07% <ø> (+15.25%)	⬆️
crates/zkvm/zkvm/src/host.rs	100.00% <ø> (ø)
crates/zkvm/zkvm/src/proof.rs	53.19% <ø> (ø)
crates/zkvm/zkvm/src/prover.rs	100.00% <ø> (+39.13%)	⬆️
crates/zkvm/adapters/risc0/src/host.rs	0.00% <0.00%> (ø)
crates/zkvm/adapters/sp1/src/host.rs	0.00% <0.00%> (ø)
crates/zkvm/hosts/src/lib.rs	50.00% <50.00%> (ø)
provers/perf/src/reports.rs	0.00% <0.00%> (ø)
provers/perf/src/lib.rs	0.00% <0.00%> (ø)
provers/perf/src/main.rs	0.00% <0.00%> (ø)

... and 5 files with indirect coverage changes

[delbonis]

Approved but still maybe pending some action about what's discussed in that thread?

[evgenyzdanovich]

@delbonis thanks! I'll discuss with Prajwol to make sure we are on the same page and resolve the conversation/make necessary adjustments.

I'll ping you to reapprove in case there were some changes required

[prajwolrg]

This is good to merge. We can revisit the discussion when we decide to update standalone zkvm repo and use it here.