docs: update SP1 version

Author: JuArce

batcher/aligned/get_proof_test_files.sh

@@ -6,11 +6,11 @@ CURRENT_TAG=$(curl -s -L \
   https://api.github.com/repos/yetanotherco/aligned_layer/releases/latest \
   | grep '"tag_name":' | awk -F'"' '{print $4}')
 
-SP1_ELF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/$CURRENT_TAG/scripts/test_files/sp1/sp1_fibonacci.elf"
-SP1_PROOF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/$CURRENT_TAG/scripts/test_files/sp1/sp1_fibonacci.proof"
+SP1_ELF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/$CURRENT_TAG/scripts/test_files/sp1/sp1_fibonacci_4_1_3.elf"
+SP1_PROOF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/$CURRENT_TAG/scripts/test_files/sp1/sp1_fibonacci_4_1_3.proof"
 
-SP1_ELF_NAME="sp1_fibonacci.elf"
-SP1_PROOF_NAME="sp1_fibonacci.proof"
+SP1_ELF_NAME="sp1_fibonacci_4_1_3.elf"
+SP1_PROOF_NAME="sp1_fibonacci_4_1_3.proof"
 
 BASE_DIR=$HOME
 ALIGNED_DIR="${ALIGNED_DIR-"$BASE_DIR/.aligned"}"

docs/1_introduction/1_try_aligned.md

@@ -31,8 +31,8 @@ curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batche
 rm -rf ~/.aligned/aligned_verification_data/ &&
 aligned submit \
 --proving_system SP1 \
---proof ~/.aligned/test_files/sp1_fibonacci.proof \
---vm_program ~/.aligned/test_files/sp1_fibonacci.elf \
+--proof ~/.aligned/test_files/sp1_fibonacci_4_1_3.proof \
+--vm_program ~/.aligned/test_files/sp1_fibonacci_4_1_3.elf \
 --aligned_verification_data_path ~/.aligned/aligned_verification_data \
 --batcher_url wss://batcher.alignedlayer.com \
 --network holesky \

docs/2_architecture/0_supported_verifiers.md

@@ -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 [(v3.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v3.0.0)
+- :white_check_mark: SP1 [(v4.1.3)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.3)
 - :white_check_mark: Risc0 [(v1.1.2)](https://github.com/risc0/risc0/releases/tag/v1.1.2)
 - 🏗️ Circom
 - 🏗️ Lambdaworks

docs/3_guides/0_submitting_proofs.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 [(v3.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v3.0.0)
+- :white_check_mark: SP1 [(v4.1.3)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.3)
 - :white_check_mark: Risc0 [(v1.1.2)](https://github.com/risc0/risc0/releases/tag/v1.1.2)
 
 Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).
@@ -120,7 +120,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 `v3.0.0`.
+The current SP1 version used in Aligned is `v4.1.3`.
 
 The SP1 proof needs the proof file and the vm program file.
 
@@ -144,8 +144,8 @@ aligned submit \
 rm -rf ./aligned_verification_data/ &&
 aligned submit \
 --proving_system SP1 \
---proof ./scripts/test_files/sp1/sp1_fibonacci.proof \
---vm_program ./scripts/test_files/sp1/sp1_fibonacci.elf \
+--proof ./scripts/test_files/sp1/sp1_fibonacci_4_1_3.proof \
+--vm_program ./scripts/test_files/sp1/sp1_fibonacci_4_1_3.elf \
 --batcher_url wss://batcher.alignedlayer.com \
 --keystore_path ~/.aligned_keystore/keystore0 \
 --network holesky \

docs/3_guides/2_build_your_first_aligned_application.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 v3.0.0.
+ELF commitment was generated with Rust v1.80.1 and SP1 v4.1.3.
 {% endhint %}
 
 ### Usage