STR-873 SP1-V4 Update

[MdTeach]

Description

Updated SP1 to use version 4.0.0-rc.8. This update is required to test proof generation using the SP1 private cluster. We will migrate to the stable version once it is released. Right now, only the release candidate is available.

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

[codecov]

Codecov Report

Attention: Patch coverage is 56.66667% with 13 lines in your changes missing coverage. Please review.

Project coverage is 56.82%. Comparing base (c66d479) to head (f38e960).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
crates/zkvm/adapters/sp1/src/host.rs	55.17%	13 Missing ⚠️

@@            Coverage Diff             @@
##             main     #597      +/-   ##
==========================================
+ Coverage   56.50%   56.82%   +0.31%     
==========================================
  Files         308      308              
  Lines       32297    32367      +70     
==========================================
+ Hits        18251    18394     +143     
+ Misses      14046    13973      -73     

Files with missing lines	Coverage Δ
crates/zkvm/adapters/sp1/src/proof.rs	100.00% <ø> (+100.00%)	⬆️
crates/zkvm/adapters/sp1/src/verifier.rs	100.00% <100.00%> (ø)
crates/zkvm/adapters/sp1/src/host.rs	71.03% <55.17%> (+71.03%)	⬆️

... and 7 files with indirect coverage changes

[prajwolrg]

Good work! LGTM!

[storopoli]

Does this unblocks us in #542? Cc @evgenyzdanovich

[MdTeach]

Does this unblocks us in #542? Cc @evgenyzdanovich

No, unfortunately, this update doesn’t include the SP1 Rust toolchain update to version 1.82. :(

[github-actions]

Commit: a9969d2

SP1 Performance Test Results

program	cycles	success
BTC_BLOCKSPACE	7,239,474	✅
EL_BLOCK	100,495	✅
CL_BLOCK	55,340	✅
L1_BATCH	12,460,065	✅
L2_BATCH	5,448	✅
CHECKPOINT	15,322	✅

[evgenyzdanovich]

With regards to #542, @storopoli they are still addressing that.
They recently informed me that somebody is on it (the top priority was to roll out V4 and unblock us with private cluster).

[evgenyzdanovich]

@MdTeach manually checked the perf results against the last merged PR.

It seems V4 update even decreases cycle-count a bit, great news!

[evgenyzdanovich]

LGTM!