Change SP1-sdk version from 4.1.3 to 4.1.7 (#1851)

Co-authored-by: Julian Arce <[email protected]>

Author: Mechanix97

batcher/Cargo.lock

@@ -22,7 +22,7 @@ anyhow = "1.0.83"
 ethers = { version = "2.0", features = ["ws", "rustls"] }
 lambdaworks-crypto = { git = "https://github.com/lambdaclass/lambdaworks.git", rev = "efd46f0b0aea3aa95d94bba7de86cb96611b40d3", features = ["serde"] }
 serde_yaml = "0.9.34"
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7" }
 risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v2.0.0" }
 bincode = "1.3.3"
 aligned-sdk = { path = "../aligned-sdk" }

batcher/aligned-batcher/Cargo.toml

@@ -6,7 +6,7 @@ The following is the list of the verifiers currently supported by Aligned:
 
 - :white_check_mark: gnark - Groth16 (with BN254) [(v0.10.0)](https://github.com/Consensys/gnark/releases/tag/v0.10.0)
 - :white_check_mark: gnark - Plonk (with BN254 and BLS12-381) [(v0.10.0)](https://github.com/Consensys/gnark/releases/tag/v0.10.0)
-- :white_check_mark: SP1 [(v4.1.3)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.3)
+- :white_check_mark: SP1 [(v4.1.7)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.7)
 - :white_check_mark: Risc0 [(v2.0.0)](https://github.com/risc0/risc0/releases/tag/v2.0.0)
 - 🏗️ Circom
 - 🏗️ Lambdaworks

docs/2_architecture/0_supported_verifiers.md

@@ -12,7 +12,7 @@ The following is the list of the verifiers currently supported by Aligned:
 
 - :white_check_mark: gnark - Groth16 (with BN254)
 - :white_check_mark: gnark - Plonk (with BN254 and BLS12-381)
-- :white_check_mark: SP1 [(v4.1.3)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.3)
+- :white_check_mark: SP1 [(v4.1.7)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.7)
 - :white_check_mark: Risc0 [(v2.0.0)](https://github.com/risc0/risc0/releases/tag/v2.0.0)
 
 Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).
@@ -123,7 +123,7 @@ Proof submission is done via the `submit` command of the Aligned CLI. The argume
 
 ### SP1 proof
 
-The current SP1 version used in Aligned is `v4.1.3`.
+The current SP1 version used in Aligned is `v4.1.7`.
 
 The SP1 proof needs the proof file and the vm program file.
 

docs/3_guides/0_submitting_proofs.md

@@ -31,7 +31,7 @@ Next, we will see how to execute ZKQuiz to get your own ZKQuiz NFT!
 2. [Foundry](https://getfoundry.sh)
 
 {% hint style="info" %}
-ELF commitment was generated with Rust v1.80.1 and SP1 v4.1.3.
+ELF commitment was generated with Rust v1.80.1 and SP1 v4.1.7.
 {% endhint %}
 
 ### Usage

docs/3_guides/2_build_your_first_aligned_application.md

@@ -4,4 +4,4 @@ name = "fibonacci-program"
 edition = "2021"
 
 [dependencies]
-sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3"  }
+sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7"  }

examples/validating-public-input/sp1/fibonacci/program/Cargo.toml

@@ -9,7 +9,7 @@ name = "fibonacci"
 path = "src/main.rs"
 
 [dependencies]
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7" }
 serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
 serde = { version = "1.0", default-features = false, features = ["derive"] }
 clap = { version = "4.0", features = ["derive", "env"] }
@@ -19,5 +19,5 @@ alloy-sol-types = { workspace = true }
 bincode = "1.3.3"
 
 [build-dependencies]
-sp1-helper = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3"  }
+sp1-helper = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7"  }
 sp1-build = "3.0.0"

examples/validating-public-input/sp1/fibonacci/script/Cargo.toml

@@ -14,6 +14,7 @@ answer_quiz:
 	@cd quiz/script && cargo run -r -- \
 		--keystore-path $(KEYSTORE_PATH) \
  		--rpc-url $(RPC_URL) \
+		--network holesky \
   		--verifier-contract-address $(CONTRACT_ADDRESS)
 
 answer_quiz_stage:

examples/zkquiz/Makefile

@@ -5,7 +5,7 @@ name = "quiz-program"
 edition = "2021"
 
 [dependencies]
-sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3" }
+sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7" }
 tiny-keccak = { git = "https://github.com/sp1-patches/tiny-keccak", branch = "patch-v2.0.2", features = [
     "sha3",
 ] }