diff --git a/examples/validating-public-input/Makefile b/examples/validating-public-input/Makefile
index ac5053638..3cf449153 100644
--- a/examples/validating-public-input/Makefile
+++ b/examples/validating-public-input/Makefile
@@ -1,11 +1,44 @@
-generate_risc_zero_fibonacci_proof:
+generate_risc0_fibonacci_proof:
 	@cd risc_zero/fibonacci_proof_generator && \
-		cargo run && \
+		cargo run --release && \
 		echo "Fibonacci proof, pub input and image ID generated in risc_zero folder"
 
-submit_fibonacci_proof:
+generate_sp1_fibonacci_proof:
+	@cd sp1/fibonacci/script && \
+		cargo run --release && \
+		echo "Fibonacci proof, pub input and image ID generated in sp1 folder"
+	
+
+submit_fibonacci_sp1_proof_devnet:
+	@cd aligned-integration && \
+	RUST_LOG=info cargo run --release -- --proving-system "SP1" --network "devnet" --batcher-url "ws://localhost:8080" --rpc-url "http://localhost:8545"
+
+submit_fibonacci_sp1_proof:
+	@cd aligned-integration && \
+	RUST_LOG=info cargo run --release -- --keystore-path $(KEYSTORE_PATH) --proving-system "SP1"
+
+submit_fibonacci_risc0_proof_devnet:
+	@cd aligned-integration && \
+	RUST_LOG=info cargo run --release -- --proving-system "Risc0" --network "devnet" --batcher-url "ws://localhost:8080" --rpc-url "http://localhost:8545"
+
+submit_fibonacci_risc0_proof:
 	@cd aligned-integration && \
-	RUST_LOG=info cargo run --release -- --keystore-path $(KEYSTORE_PATH)
+	RUST_LOG=info cargo run --release -- --keystore-path $(KEYSTORE_PATH) --proving-system "Risc0"
+
+verify_sp1_batch_inclusion:
+	@. ./contracts/.env  && . ./contracts/validate_batch_inclusion.sh $(FIBONACCI_VALIDATOR_ADDRESS) $(DATA_FILE_NAME) SP1
+
+verify_risc0_batch_inclusion:
+	@. ./contracts/.env  && . ./contracts/validate_batch_inclusion.sh $(FIBONACCI_VALIDATOR_ADDRESS) $(DATA_FILE_NAME) Risc0
+
+verify_risc0_local_batch_inclusion:
+	@. ./contracts/.env.devnet  && . ./contracts/validate_batch_inclusion.sh $(FIBONACCI_VALIDATOR_ADDRESS) $(DATA_FILE_NAME) Risc0
+
+verify_sp1_local_batch_inclusion:
+	@. ./contracts/.env.devnet  && . ./contracts/validate_batch_inclusion.sh $(FIBONACCI_VALIDATOR_ADDRESS) $(DATA_FILE_NAME) SP1
 
 deploy_fibonacci_validator:
 	@. ./contracts/.env && . ./contracts/deploy.sh
+
+deploy_local_fibonacci_validator:
+	@. ./contracts/.env.devnet && . ./contracts/deploy.sh