Skip to content

chore: bump SP1 from 6.0.2 to 6.1.0#175

Merged
fakedev9999 merged 6 commits intomainfrom
fakedev9999/bump-sp1-6.1.0
Apr 15, 2026
Merged

chore: bump SP1 from 6.0.2 to 6.1.0#175
fakedev9999 merged 6 commits intomainfrom
fakedev9999/bump-sp1-6.1.0

Conversation

@fakedev9999
Copy link
Copy Markdown
Member

@fakedev9999 fakedev9999 commented Apr 14, 2026

Summary

Bump SP1 from 6.0.2 to 6.1.0 with exact version pins.

Changes

  • All SP1 workspace deps pinned to =6.1.0 (root, bin/client, bin/client-op)
  • CudaProver gated behind cuda feature (sp1#2696 moved it behind feature flag in 6.1.0)
  • eth-proofs: added cuda feature (default-enabled) since it's a GPU proving binary
  • rsp-host-executor: added cuda feature to forward sp1-sdk/cuda
  • CI workflows updated to sp1up -v v6.1.0
  • sp1-patches unchanged (sp1-6.0.0 — same major version)

Test plan

  • cargo clippy --workspace --all-targets -- -D warnings passes
  • cargo fmt --check passes
  • Lock files updated for all 3 workspaces
  • CI

- Update all SP1 crate pins to =6.1.0 across root, bin/client, and
  bin/client-op workspaces
- Gate CudaProver behind `cuda` feature flag (new requirement in 6.1.0)
- Add `cuda` feature to rsp-host-executor and eth-proofs
- Update sp1up version in CI workflows
- sp1-patches remain at sp1-6.0.0 (same major version)
@github-actions
Copy link
Copy Markdown

Block 20600000 Base Branch Current PR Diff Diff (%)
Total Cycle Count 279,610,336 279,670,549 60,213 0.02
Inputs deserialization 73,764,954 73,803,364 38,410 0.05
Initialize Witness DB 58,748,143 58,747,929 -214 -0.00
Recover Senders 7,597,299 7,671,164 73,865 0.97
Header Validation 1,233,004 1,233,010 6 0.00
Block Execution 88,601,200 88,583,056 -18,144 -0.02
Block Validation 3,028,955 3,028,753 -202 -0.01
State Root Computation 28,602,044 28,573,584 -28,460 -0.10
Syscall Count 209,273 209,273 0 -0.00
Prover Gas 351,489,531 351,934,027 444,496 0.13

eth-proofs is a GPU proving binary — cpu fallback doesn't make sense.
Make cuda a default feature instead of gating with cfg(not(cuda)).
@fakedev9999 fakedev9999 force-pushed the fakedev9999/bump-sp1-6.1.0 branch from fa5adb3 to 6d8c12d Compare April 15, 2026 00:27
@github-actions
Copy link
Copy Markdown

Block 20600000 Base Branch Current PR Diff Diff (%)
Total Cycle Count 279,613,594 279,671,446 57,852 0.02
Inputs deserialization 73,766,473 73,801,751 35,278 0.05
Initialize Witness DB 58,748,143 58,747,929 -214 -0.00
Recover Senders 7,597,299 7,671,164 73,865 0.97
Header Validation 1,233,004 1,233,010 6 0.00
Block Execution 88,601,237 88,582,612 -18,625 -0.02
Block Validation 3,028,955 3,028,753 -202 -0.01
State Root Computation 28,602,044 28,573,666 -28,378 -0.10
Syscall Count 209,273 209,273 0 -0.00
Prover Gas 351,492,386 351,934,336 441,950 0.13

alloy-network 1.8.x adds a blanket NetworkWallet<N> impl that
conflicts with op-alloy-network 0.22.x's manual impl for Optimism.
Pin to <1.8 until op-alloy-network is updated.
@github-actions
Copy link
Copy Markdown

Block 20600000 Base Branch Current PR Diff Diff (%)
Total Cycle Count 279,612,815 279,676,441 63,626 0.02
Inputs deserialization 73,770,676 73,803,542 32,866 0.04
Initialize Witness DB 58,748,143 58,747,929 -214 -0.00
Recover Senders 7,597,299 7,671,164 73,865 0.97
Header Validation 1,233,004 1,233,010 6 0.00
Block Execution 88,601,200 88,582,945 -18,255 -0.02
Block Validation 3,028,955 3,028,753 -202 -0.01
State Root Computation 28,602,044 28,573,551 -28,493 -0.10
Syscall Count 209,273 209,273 0 -0.00
Prover Gas 351,491,161 351,938,804 447,643 0.13

SP1 6.1.0 transitively pulls reqwest 0.13.x. Without a lockfile,
cargo resolves both 0.12.x (rsp direct dep) and 0.13.x (SP1
transitive dep), causing type mismatches in alloy_rpc_client.
@github-actions
Copy link
Copy Markdown

Block 20600000 Base Branch Current PR Diff Diff (%)
Total Cycle Count 279,619,444 279,678,218 58,774 0.02
Inputs deserialization 73,770,869 73,799,055 28,186 0.04
Initialize Witness DB 58,748,143 58,747,929 -214 -0.00
Recover Senders 7,597,299 7,671,164 73,865 0.97
Header Validation 1,233,004 1,233,010 6 0.00
Block Execution 88,601,200 88,581,946 -19,254 -0.02
Block Validation 3,028,955 3,028,753 -202 -0.01
State Root Computation 28,601,970 28,573,662 -28,308 -0.10
Syscall Count 209,273 209,273 0 -0.00
Prover Gas 351,497,087 351,940,924 443,837 0.13

This check builds without lockfiles to detect semver incompatibilities.
However, rsp is consumed via git refs (not crates.io), so downstream
always resolves against a specific commit. The check produces false
positives from transitive dep conflicts (e.g. reqwest 0.12 vs 0.13)
that are outside rsp's control.
@github-actions
Copy link
Copy Markdown

Block 20600000 Base Branch Current PR Diff Diff (%)
Total Cycle Count 279,612,637 279,666,599 53,962 0.02
Inputs deserialization 73,769,192 73,801,259 32,067 0.04
Initialize Witness DB 58,748,143 58,747,929 -214 -0.00
Recover Senders 7,597,299 7,671,164 73,865 0.97
Header Validation 1,233,004 1,233,010 6 0.00
Block Execution 88,601,163 88,583,019 -18,144 -0.02
Block Validation 3,028,955 3,028,753 -202 -0.01
State Root Computation 28,602,007 28,573,667 -28,340 -0.10
Syscall Count 209,273 209,273 0 -0.00
Prover Gas 351,491,436 351,930,160 438,724 0.12

@fakedev9999 fakedev9999 enabled auto-merge (squash) April 15, 2026 01:34
@fakedev9999 fakedev9999 disabled auto-merge April 15, 2026 01:52
@fakedev9999 fakedev9999 merged commit ed8416a into main Apr 15, 2026
5 checks passed
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.

1 participant