Commit 25b6b10
authored
chore: bump SP1 to v6.0.1
* chore: bump SP1 dependencies from v5.1.0 to v6.0.0-beta.1
- Updated all SP1 crates (sp1-sdk, sp1-build, sp1-prover, sp1-core-executor) to v6.0.0-beta.1
- Updated cryptographic precompile patches to sp1-6.0.0-beta.1 versions
- Pinned sp1up to v6.0.0-beta.1 in CI workflows
- Adapted to SP1 v6 API changes: non-generic Prover trait, async constructors, private ExecutionReport.gas
- Removed SyscallCode usage (no longer exported in v6)
- Added MaybeProveWithCycles implementation for EnvProver
- Preserved SP1_PROVER environment variable support
* fix: add protoc installation and fix code formatting
SP1 v6's sp1-prover-types crate requires Protocol Buffers compiler.
Also fixes rustfmt formatting issues in executor code.
* refactor: use EnvProver::new() directly instead of ProverClient::from_env()
More explicit and clearer API usage.
* fix: restore per-syscall tracking for SP1 v6
The SP1 v6 upgrade changed the import path for SyscallCode from
sp1_core_executor::syscalls::SyscallCode to sp1_core_executor::SyscallCode.
This restores the per-syscall cycle tracking in the execution report by:
- Adding sp1-core-executor and strum dependencies to bin/host
- Updating the import path for SyscallCode
- Restoring per-syscall headers and record values in CSV output
* fix: enable profiling feature for per-phase cycle tracking in SP1 v6
In SP1 v6, cycle_tracker infrastructure is feature-gated behind `profiling`.
Without this feature, the ExecutionReport's cycle_tracker HashMap remains
empty, causing all per-phase metrics (Inputs deserialization, Initialize
Witness DB, Recover Senders, etc.) to return 0.
Enable the `profiling` feature on sp1-sdk which propagates to:
- sp1-prover/profiling
- sp1-core-executor/profiling
- sp1-jit/profiling
* chore: bump SP1 from v6.0.0-beta.1 to v6.0.0-rc.1
Update all SP1 crate versions, sp1-patches tags, kzg-rs branch,
and CI sp1up toolchain version to 6.0.0-rc.1.
Note: cargo update pending resolution of substrate-bn package
rename in sp1-patches/bn rc.1 tag.
* chore: switch SP1 deps from crates.io to git tags
SP1 6.0.0-rc.1 crates are not yet published to crates.io.
Switch all SP1 workspace deps and client zkvm deps to git tag source.
Also fix substrate-bn package rename to substrate-bn-succinct-rs.
* chore: revert SP1 deps from git tags back to crates.io version specs
* chore: bump SP1 v6.0.0-rc.1 → v6.0.0
* fix: update bn patch package name to substrate-bn-succinct-rs
The sp1-patches/bn repo renamed the package from `substrate-bn` to
`substrate-bn-succinct-rs` starting from the rc.1 tag. The workspace
root Cargo.toml was updated but the sub-crate (bin/client,
bin/client-op) patch entries were missed, causing all CI checks to
fail with patch resolution errors.
* fix: update kzg-rs patch to use master instead of merged branch
* chore: use kzg-rs 0.2.8 from crates.io
* chore: bump SP1 v6.0.0 → v6.0.1
* fix: use is_multiple_of for Rust 1.91 clippy lint
* fix: remove dead ExecutionReportData struct (clippy dead_code)
* fix: cargo fmt (extra blank line)
* fix: remove unused serde dependency from rsp binary
* fix: move serde to dev-dependencies, regenerate lock files1 parent af7c7e7 commit 25b6b10
File tree
19 files changed
+3801
-2609
lines changed- .github/workflows
- bin
- client-op
- client
- continuous/src
- eth-proofs/src
- host
- src
- tests
- crates
- executor/host/src
- mpt/src
19 files changed
+3801
-2609
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
20 | 25 | | |
21 | 26 | | |
22 | 27 | | |
| |||
25 | 30 | | |
26 | 31 | | |
27 | 32 | | |
28 | | - | |
| 33 | + | |
29 | 34 | | |
30 | 35 | | |
31 | 36 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
43 | 48 | | |
44 | 49 | | |
45 | 50 | | |
46 | 51 | | |
47 | 52 | | |
48 | 53 | | |
49 | 54 | | |
50 | | - | |
| 55 | + | |
51 | 56 | | |
52 | 57 | | |
53 | 58 | | |
| |||
83 | 88 | | |
84 | 89 | | |
85 | 90 | | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
86 | 96 | | |
87 | 97 | | |
88 | 98 | | |
89 | 99 | | |
90 | 100 | | |
91 | 101 | | |
92 | 102 | | |
93 | | - | |
| 103 | + | |
94 | 104 | | |
95 | 105 | | |
96 | 106 | | |
| |||
109 | 119 | | |
110 | 120 | | |
111 | 121 | | |
112 | | - | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
113 | 128 | | |
114 | 129 | | |
115 | 130 | | |
| |||
118 | 133 | | |
119 | 134 | | |
120 | 135 | | |
121 | | - | |
| 136 | + | |
122 | 137 | | |
123 | 138 | | |
124 | 139 | | |
| |||
0 commit comments