fix: update validating-public-example

Author: JuArce

examples/validating-public-input/README.md

@@ -83,9 +83,6 @@ Block: 2963688
 Paid: 0.000727925005095475 ETH (727925 gas * 1.000000007 gwei)
 ```
 
-> [NOTE]  
-> The `Contract Address` listed above corresponds to a current valid deployment of the examples contract on the `holesky` testnet.
-
 save the contract address for the next command.
 
 4. `make verify_sp1_batch_inclusion_devnet FIBONACCI_VALIDATOR_ADDRESS=<FIBONACCI_VALIDATOR_ADDRESS> DATA_FILE_NAME=<DATA_FILE_NAME>`

examples/validating-public-input/aligned-integration/src/main.rs

@@ -7,7 +7,7 @@ use std::str::FromStr;
 use aligned_sdk::common::errors::SubmitError;
 use aligned_sdk::common::types::Network;
 use aligned_sdk::common::types::{AlignedVerificationData, ProvingSystemId, VerificationData};
-use aligned_sdk::verification_layer::{get_nonce_from_ethereum, submit_and_wait_verification};
+use aligned_sdk::verification_layer::{get_nonce_from_batcher, submit_and_wait_verification};
 use clap::Parser;
 use clap::ValueEnum;
 use env_logger::Env;
@@ -215,7 +215,7 @@ async fn main() -> Result<(), SubmitError> {
     // Set a fee of 0.01 Eth
     let max_fee = U256::from(100_000_000_000_000u128);
 
-    let nonce = get_nonce_from_ethereum(&args.rpc_url, wallet.address(), network.clone())
+    let nonce = get_nonce_from_batcher(network.clone(), wallet.address())
         .await
         .expect("Failed to get next nonce");
 

examples/validating-public-input/contracts/src/FibonacciValidator.sol

@@ -8,7 +8,7 @@ contract FibonacciValidator {
     bytes32 public fibonacciProgramIdCommitmentSp1 = 0xc91d23fc3b1d24ecb241fbd501162734584f7c9f15ee5c95c712419206797a61;
 
     bytes32 public fibonacciProgramIdCommitmentRisc0 =
-        0x52075f80c0b914b6cb8d86a2827b30b1252b58f2aa0173b993188650a538d5c5;
+        0xaca1ccfd1da4139fd1f45604ffa39fd5cbb89d2b382c076143d515b2ec152173;
 
     error InvalidProgramID(string verifier, bytes32 submitted, bytes32 required); //051ce67c