bump to 4.1.7

Author: xqft

.github/workflows/main_prover.yaml

@@ -31,7 +31,7 @@ jobs:
         run: |
           . "$HOME/.cargo/env"
           curl -L https://sp1.succinct.xyz | bash
-          ~/.sp1/bin/sp1up --version 4.1.0
+          ~/.sp1/bin/sp1up --version 4.1.7
 
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3

.github/workflows/pr-main_l2_prover.yaml

@@ -30,7 +30,7 @@ jobs:
       - name: RISC-V SP1 toolchain install
         run: |
           curl -L https://sp1.succinct.xyz | bash
-          ~/.sp1/bin/sp1up --version 4.1.0
+          ~/.sp1/bin/sp1up --version 4.1.7
       - name: Check sp1
         run: |
             cargo check -p ethrex-prover -F sp1
@@ -75,7 +75,7 @@ jobs:
       - name: RISC-V SP1 toolchain install
         run: |
           curl -L https://sp1.succinct.xyz | bash
-          ~/.sp1/bin/sp1up --version 4.1.0
+          ~/.sp1/bin/sp1up --version 4.1.7
       - name: Build prover and SP1's zkVM
         run: |
           cd crates/l2/prover

crates/l2/docs/prover.md

@@ -64,7 +64,7 @@ sequenceDiagram
   2. `rzup install cargo-risczero 1.2.0`
 - [SP1](https://docs.succinct.xyz/docs/sp1/introduction)
   1. `curl -L https://sp1up.succinct.xyz | bash`
-  2. `sp1up --version 4.1.0`
+  2. `sp1up --version 4.1.7`
 - [Pico](https://docs.brevis.network/)
   1. `cargo +nightly install --git https://github.com/brevis-network/pico pico-cli`
   2. `rustup install nightly-2024-11-27`

crates/l2/prover/Cargo.toml

@@ -30,8 +30,8 @@ zkvm_interface = { path = "./zkvm/interface", default-features = false }
 risc0-zkvm = { version = "1.2.2", optional = true }
 risc0-ethereum-contracts = { version = "1.3.1", optional = true }
 
-sp1-sdk = { version = "4.1.1", optional = true }
-sp1-recursion-gnark-ffi = { version = "4.1.1", optional = true }
+sp1-sdk = { version = "4.1.7", optional = true }
+sp1-recursion-gnark-ffi = { version = "4.1.7", optional = true }
 pico-sdk = { git = "https://github.com/brevis-network/pico", optional = true, rev = "286feb9878d9e09347852e5bf127b8ff81a2b45c" }
 
 [dev-dependencies]

crates/l2/prover/bench/README.md

@@ -2,7 +2,7 @@
 
 ## Usage
 
-1. For now we only support SP1. Install their [toolchain](https://docs.succinct.xyz/docs/sp1/introduction) first.
+1. For now we only support SP1. Install their [toolchain](https://docs.succinct.xyz/docs/sp1/introduction) first (version 4.1.7).
 2. Run:
    1. `make sp1 RPC_URL=<json rpc url> BLOCK_NUMBER=<number, optional>` for execution without proving
    2. `make prove-sp1 RPC_URL=<json rpc url> BLOCK_NUMBER=<number, optional>` for generating a proof.

crates/l2/prover/zkvm/interface/Cargo.toml

@@ -20,7 +20,7 @@ ethrex-trie = { path = "../../../../common/trie", default-features = false }
 
 [build-dependencies]
 risc0-build = { version = "1.2.2", optional = true }
-sp1-build = { version = "4.1.1", optional = true }
+sp1-build = { version = "4.1.7", optional = true }
 pico-cli = { git = "https://github.com/brevis-network/pico", optional = true }
 
 [package.metadata.risc0]