feat: bump SP1 version to v5.0.0 (#1965)

Co-authored-by: Marcos Nicolau <[email protected]>

Author: JuArce

Makefile

@@ -209,8 +209,8 @@ verify_aggregated_proof_sp1:
 		--network $(NETWORK) \
 		--from-block $(FROM_BLOCK) \
 		--proving_system SP1 \
-		--public_input ../../scripts/test_files/sp1/sp1_fibonacci_4_1_3.pub \
-		--program-id-file ../../scripts/test_files/sp1/sp1_fibonacci_4_1_3.vk \
+		--public_input ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub \
+		--program-id-file ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.vk \
 		--beacon_url $(BEACON_URL) \
 		--rpc_url $(RPC_URL)
 
@@ -473,8 +473,8 @@ batcher_send_sp1_task:
 	@echo "Sending SP1 fibonacci task to Batcher..."
 	@cd batcher/aligned/ && cargo run --release -- submit \
 		--proving_system SP1 \
-		--proof ../../scripts/test_files/sp1/sp1_fibonacci_4_1_3.proof \
-		--vm_program ../../scripts/test_files/sp1/sp1_fibonacci_4_1_3.elf \
+		--proof ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.proof \
+		--vm_program ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.elf \
 		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
 		--rpc_url $(RPC_URL) \
 		--network $(NETWORK)
@@ -483,8 +483,8 @@ batcher_send_sp1_burst:
 	@echo "Sending SP1 fibonacci task to Batcher..."
 	@cd batcher/aligned/ && cargo run --release -- submit \
 		--proving_system SP1 \
-		--proof ../../scripts/test_files/sp1/sp1_fibonacci_4_1_3.proof \
-		--vm_program ../../scripts/test_files/sp1/sp1_fibonacci_4_1_3.elf \
+		--proof ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.proof \
+		--vm_program ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.elf \
 		--repetitions $(BURST_SIZE) \
 		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
 		--rpc_url $(RPC_URL) \
@@ -674,7 +674,18 @@ aligned_get_user_balance_holesky:
 		--user_addr $(USER_ADDR)
 
 __GENERATE_PROOFS__:
- # TODO add a default proving system
+generate_sp1_fibonacci_proof: ## Run the SP1 Fibonacci proof generator script
+	@cd scripts/test_files/sp1/fibonacci_proof_generator/script && RUST_LOG=info cargo run --release
+	@echo "Fibonacci proof and ELF generated in scripts/test_files/sp1 folder"
+
+generate_risc_zero_fibonacci_proof:
+	@cd scripts/test_files/risc_zero/fibonacci_proof_generator && \
+	RUST_LOG=info cargo run --release && \
+	echo "Fibonacci proof, pub input and image ID generated in scripts/test_files/risc_zero folder"
+
+generate_risc_zero_empty_journal_proof:
+	@cd scripts/test_files/risc_zero/no_public_inputs && RUST_LOG=info cargo run --release
+	@echo "Fibonacci proof and ELF with empty journal generated in scripts/test_files/risc_zero/no_public_inputs folder"
 
 generate_gnark_plonk_bls12_381_proof: ## Run the gnark_plonk_bls12_381_script
 	@echo "Running gnark_plonk_bls12_381 script..."
@@ -819,18 +830,6 @@ test_sp1_go_bindings_linux: build_sp1_linux
 	@echo "Testing SP1 Go bindings..."
 	go test ./operator/sp1/... -v
 
-# @cp -r scripts/test_files/sp1/fibonacci_proof_generator/script/sp1_fibonacci_4_1_3.elf scripts/test_files/sp1/
-generate_sp1_fibonacci_proof:
-	@cd scripts/test_files/sp1/fibonacci_proof_generator/script && RUST_LOG=info cargo run --release
-	@mv scripts/test_files/sp1/fibonacci_proof_generator/program/elf/riscv32im-succinct-zkvm-elf scripts/test_files/sp1/sp1_fibonacci_4_1_3.elf
-	@mv scripts/test_files/sp1/fibonacci_proof_generator/script/sp1_fibonacci_4_1_3.proof scripts/test_files/sp1/
-	@echo "Fibonacci proof and ELF generated in scripts/test_files/sp1 folder"
-
-generate_risc_zero_empty_journal_proof:
-	@cd scripts/test_files/risc_zero/no_public_inputs && RUST_LOG=info cargo run --release
-	@echo "Fibonacci proof and ELF with empty journal generated in scripts/test_files/risc_zero/no_public_inputs folder"
-
-
 __RISC_ZERO_FFI__: ##
 build_risc_zero_macos:
 	@cd operator/risc_zero/lib && cargo build $(RELEASE_FLAG)
@@ -852,12 +851,6 @@ test_risc_zero_go_bindings_linux: build_risc_zero_linux
 	@echo "Testing RISC Zero Go bindings..."
 	go test ./operator/risc_zero/... -v
 
-generate_risc_zero_fibonacci_proof:
-	@cd scripts/test_files/risc_zero/fibonacci_proof_generator && \
-		RUST_LOG=info cargo run --release && \
-		echo "Fibonacci proof, pub input and image ID generated in scripts/test_files/risc_zero folder"
-
-
 __MERKLE_TREE_FFI__: ##
 build_merkle_tree_macos:
 	@cd operator/merkle_tree/lib && cargo build $(RELEASE_FLAG)
@@ -1026,8 +1019,8 @@ docker_batcher_send_sp1_burst:
 	docker exec $(shell docker ps | grep batcher | awk '{print $$1}') aligned submit \
               --private_key $(DOCKER_PROOFS_PRIVATE_KEY) \
               --proving_system SP1 \
-              --proof ./scripts/test_files/sp1/sp1_fibonacci_4_1_3.proof \
-              --vm_program ./scripts/test_files/sp1/sp1_fibonacci_4_1_3.elf \
+              --proof ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.proof \
+              --vm_program ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.elf \
               --repetitions $(DOCKER_BURST_SIZE) \
               --proof_generator_addr $(PROOF_GENERATOR_ADDRESS) \
               --rpc_url $(DOCKER_RPC_URL) \