chore(examples): Bump aligned-sdk in examples to v0.7.2 (#1079) (#1098)

Author: MauroToscano

docs/3_guides/3_validating_public_input.md

@@ -211,6 +211,13 @@ cast send --rpc-url https://ethereum-holesky-rpc.publicnode.com <CONTRACT_ADDRES
 
 The proof submission and verification can be done either with the SDK or by using the Aligned CLI.
 
-To submit the proof generated in this example, run `make submit_fibonacci_proof`. This will output the `AlignedVerificationData` needed to send to the `verifyBatchInclusion` method of the contract in the `batch_inclusion_data` directory inside `aligned-integration`.
+To submit the proof generated in this example, run:
 
-For more details on submitting proofs, refer to the [submitting proofs guide](0_submitting_proofs.md).
+```sh
+export KEYSTORE_PATH=<LOCAL_KEYSTORE_PATH>
+make submit_fibonacci_proof
+```
+
+This will output the `AlignedVerificationData` needed to send to the `verifyBatchInclusion` method of the contract in the `batch_inclusion_data` directory inside `aligned-integration`.
+
+For more details on submitting proofs and setting up a local wallet keystore, refer to the [submitting proofs guide](0_submitting_proofs.md).

examples/validating-public-input/Makefile

@@ -5,7 +5,7 @@ generate_risc_zero_fibonacci_proof:
 
 submit_fibonacci_proof:
 	@cd aligned-integration && \
-	RUST_LOG=info cargo run --release
+	RUST_LOG=info cargo run --release -- --keystore-path $(KEYSTORE_PATH)
 
 deploy_fibonacci_validator:
 	@. ./contracts/.env && . ./contracts/deploy.sh

examples/validating-public-input/aligned-integration/Cargo.toml

@@ -4,7 +4,7 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag = "v0.6.0" }
+aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag = "v0.7.2" }
 tokio = { version = "1.37.0", features = [
     "io-std",
     "time",
@@ -21,3 +21,5 @@ serde = { version = "1.0.201", features = ["derive"] }
 serde_json = "1.0.117"
 log = "0.4.21"
 env_logger = "0.11.3"
+clap = { version = "4.5.8", features = ["derive"] }
+rpassword = "7.3.1"

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

@@ -8,9 +8,10 @@ use aligned_sdk::core::errors::SubmitError;
 use aligned_sdk::core::types::Chain::Holesky;
 use aligned_sdk::core::types::{AlignedVerificationData, ProvingSystemId, VerificationData};
 use aligned_sdk::sdk::{get_next_nonce, submit_and_wait_verification};
+use clap::Parser;
 use env_logger::Env;
 use ethers::signers::{LocalWallet, Signer};
-use ethers::types::Address;
+use ethers::types::{Address, U256};
 use ethers::utils::hex;
 use log::info;
 
@@ -22,13 +23,27 @@ const PUB_INPUT_FILE_PATH: &str = "../risc_zero/fibonacci_proof_generator/risc_z
 const IMAGE_ID_FILE_PATH: &str =
     "../risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_id.bin";
 const PROOF_GENERATOR_ADDRESS: &str = "0x66f9664f97F2b50F62D13eA064982f936dE76657";
-// Set to the 9th address of anvil that doesn't pay for the proof submission
-const WALLET_PRIVATE_KEY: &str = "2a871d0798f97d79848a013d4936a73bf4cc922c825d33c1cf7073dff6d409c6";
+
+#[derive(Parser, Debug)]
+#[command(version, about, long_about = None)]
+struct Args {
+    #[arg(short, long)]
+    keystore_path: String,
+}
 
 #[tokio::main]
 async fn main() -> Result<(), SubmitError> {
     env_logger::Builder::from_env(Env::default().default_filter_or("info")).init();
 
+    let args = Args::parse();
+
+    let keystore_password = rpassword::prompt_password("Enter keystore password: ")
+        .expect("Failed to read keystore password");
+
+    let wallet = LocalWallet::decrypt_keystore(args.keystore_path, &keystore_password)
+        .expect("Failed to decrypt keystore")
+        .with_chain_id(17000u64);
+
     let proof = read_file(PathBuf::from(PROOF_FILE_PATH)).unwrap_or_default();
 
     let pub_input = read_file(PathBuf::from(PUB_INPUT_FILE_PATH));
@@ -50,10 +65,8 @@ async fn main() -> Result<(), SubmitError> {
         proof_generator_addr,
     };
 
-    // Create a wallet and set chain id to holesky
-    let wallet = LocalWallet::from_str(WALLET_PRIVATE_KEY)
-        .expect("Failed to create wallet")
-        .with_chain_id(17000u64);
+    // Set a fee of 0.1 Eth
+    let max_fee = U256::from(5) * U256::from(100_000_000_000_000_000u128);
 
     let nonce = get_next_nonce(RPC_URL, wallet.address(), BATCHER_PAYMENTS_ADDRESS)
         .await
@@ -65,6 +78,7 @@ async fn main() -> Result<(), SubmitError> {
         RPC_URL,
         Holesky,
         &verification_data,
+        max_fee,
         wallet,
         nonce,
         BATCHER_PAYMENTS_ADDRESS,

examples/zkquiz/quiz/script/Cargo.toml

@@ -6,7 +6,7 @@ edition = "2021"
 
 [dependencies]
 sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v1.0.1" }
-aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag = "v0.6.0" }
+aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag = "v0.7.2" }
 ethers = { tag = "v2.0.15-fix-reconnections", features = [
     "ws",
     "rustls",

examples/zkquiz/quiz/script/src/main.rs

@@ -5,7 +5,7 @@ use std::str::FromStr;
 use std::sync::Arc;
 
 use aligned_sdk::core::types::{AlignedVerificationData, Chain, ProvingSystemId, VerificationData};
-use aligned_sdk::sdk::{submit_and_wait_verification, get_next_nonce};
+use aligned_sdk::sdk::{get_next_nonce, submit_and_wait_verification};
 use clap::Parser;
 use dialoguer::Confirm;
 use ethers::prelude::*;
@@ -106,6 +106,8 @@ async fn main() {
                 pub_input: None,
             };
 
+            // Set a `max_fee` of 0.5 Eth
+            let max_fee = U256::from(5) * U256::from(100_000_000_000_000_000u128);
             let nonce = get_next_nonce(&rpc_url, wallet.address(), BATCHER_PAYMENTS_ADDRESS)
                 .await
                 .expect("Failed to get next nonce");
@@ -115,6 +117,7 @@ async fn main() {
                 &rpc_url,
                 Chain::Holesky,
                 &verification_data,
+                max_fee,
                 wallet.clone(),
                 nonce,
                 BATCHER_PAYMENTS_ADDRESS,
@@ -136,7 +139,7 @@ async fn main() {
                     {
                         println!("Failed to claim prize: {:?}", e);
                     }
-                },
+                }
                 Err(e) => {
                     println!("Proof verification failed: {:?}", e);
                 }