diff --git a/docs/3_guides/2_build_your_first_aligned_application.md b/docs/3_guides/2_build_your_first_aligned_application.md
index a1182a2010..d37d86db6c 100644
--- a/docs/3_guides/2_build_your_first_aligned_application.md
+++ b/docs/3_guides/2_build_your_first_aligned_application.md
@@ -27,9 +27,13 @@ Next, we will see how to execute ZKQuiz to get your own ZKQuiz NFT!
 
 ### Requirements
 
-1. [Rust](https://www.rust-lang.org/tools/install)
+1. [Rust v1.80.0](https://www.rust-lang.org/tools/install)
 2. [Foundry](https://getfoundry.sh)
 
+{% hint style="info" %}
+ELF commitment was generated with Rust v1.80.1 and SP1 v3.0.0.
+{% endhint %}
+
 ### Usage
 
 #### 1. Clone the repository
diff --git a/examples/zkquiz/Makefile b/examples/zkquiz/Makefile
index 6797058612..01fa5c4ced 100644
--- a/examples/zkquiz/Makefile
+++ b/examples/zkquiz/Makefile
@@ -3,9 +3,11 @@ SHELL := /bin/bash
 deploy_verifier:
 	@. ./contracts/.env && . ./contracts/deploy.sh
 
-CONTRACT_ADDRESS=0x6376d142582F2Ec76D6bf3d47020e0A163c51874
+deploy_verifier_devnet:
+	. ./contracts/.devnet.env && . ./contracts/deploy.sh
+
+CONTRACT_ADDRESS=0x1adFb00CC74Ff26bB05419953006c66B1abFCD45
 RPC_URL=https://ethereum-holesky-rpc.publicnode.com
-VERIFICATION_DATA=./aligned_verification_data/0a1fab5df88a71e48633cbdeedc8d1a234b790d15a8a2fd04cd6a03c1e05b5ef_212.json
 
 answer_quiz:
 	@cd quiz/script && cargo run -r -- \
diff --git a/examples/zkquiz/README.md b/examples/zkquiz/README.md
index 14dc790c12..f4b5731f6f 100644
--- a/examples/zkquiz/README.md
+++ b/examples/zkquiz/README.md
@@ -14,9 +14,12 @@ Next, we will see how to execute ZKQuiz, so you can get your own ZKQuiz NFT!
 
 ## Requirements
 
-1. [Rust](https://www.rust-lang.org/tools/install)
+1. [Rust v1.80.1](https://www.rust-lang.org/tools/install)
 2. [Foundry](https://getfoundry.sh)
 
+> [!INFO]
+> ELF commitment was generated with Rust v1.80.1 and SP1 v3.0.0.
+
 ## Usage
 
 ### 1 - Create Keystore
diff --git a/examples/zkquiz/contracts/src/VerifierContract.sol b/examples/zkquiz/contracts/src/VerifierContract.sol
index 30bf1375ee..25a83ca1df 100644
--- a/examples/zkquiz/contracts/src/VerifierContract.sol
+++ b/examples/zkquiz/contracts/src/VerifierContract.sol
@@ -10,7 +10,7 @@ contract VerifierContract is ERC721URIStorage {
     address public alignedServiceManager;
     address public paymentServiceAddr;
 
-    bytes32 public elfCommitment = 0x3f99615fdf3b67a01e41b38eee75a32c778ee2fa631bd74e01c89afc2f70f5de;
+    bytes32 public elfCommitment = 0x34fdfec89da610d255d326bc440bb5754e1eb70a694f3f1dc967b3dd6c4c7033;
         
     error InvalidElf(bytes32 submittedElf); // c6d95066
 
diff --git a/examples/zkquiz/quiz/program/elf/riscv32im-succinct-zkvm-elf b/examples/zkquiz/quiz/program/elf/riscv32im-succinct-zkvm-elf
index a7df46af94..45c7ab7768 100755
Binary files a/examples/zkquiz/quiz/program/elf/riscv32im-succinct-zkvm-elf and b/examples/zkquiz/quiz/program/elf/riscv32im-succinct-zkvm-elf differ
diff --git a/examples/zkquiz/quiz/script/src/main.rs b/examples/zkquiz/quiz/script/src/main.rs
index 5a895023d6..6251d57a1b 100644
--- a/examples/zkquiz/quiz/script/src/main.rs
+++ b/examples/zkquiz/quiz/script/src/main.rs
@@ -219,6 +219,11 @@ async fn claim_nft_with_verified_proof(
             .to_vec(),
     );
 
+    let proving_system_aux_data_commitment_hex: String = aligned_verification_data
+        .verification_data_commitment
+        .proving_system_aux_data_commitment.iter().map(|byte| format!("{:02x}", byte)).collect();
+    println!("ELF Commitment: {}", proving_system_aux_data_commitment_hex);
+
     let receipt = verifier_contract
         .verify_batch_inclusion(
             aligned_verification_data