docs: update staging docs with testnet docs (#973) (#985)

Author: MauroToscano

README.md

@@ -72,7 +72,8 @@ You can use the link to the explorer to check the status of your transaction.
 aligned verify-proof-onchain \
 --aligned-verification-data ~/.aligned/aligned_verification_data/*.json \
 --rpc_url https://ethereum-holesky-rpc.publicnode.com \
---chain holesky
+--chain holesky \
+--payment_service_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 This is reading the result of the verification of the proof in Ethereum.
@@ -92,7 +93,7 @@ If the proof wasn't verified you should get this result:
 Aligned works in:
 - MacOS Arm64 (M1 or higher)
 - Linux x86 with GLIBC_2.32 or superior (For example, Ubuntu 22.04 or higher)
-If you don't meet these requirements, clone the repository, install rust, and then run:
+  If you don't meet these requirements, clone the repository, install rust, and then run:
 
 ```bash
 make uninstall_aligned

docs/1_introduction/1_getting_started.md

@@ -53,7 +53,8 @@ Use the link in the response to check the status of your transaction in the Alig
 aligned verify-proof-onchain \
 --aligned-verification-data ~/.aligned/aligned_verification_data/*.json \
 --rpc_url https://ethereum-holesky-rpc.publicnode.com \
---chain holesky
+--chain holesky \
+--payment_service_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 This is reading the result of the proof verification in Ethereum.

docs/3_guides/1_SDK_how_to.md

@@ -12,7 +12,7 @@ To use this SDK in your Rust project, add the following to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag="v0.5.2" }
+aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag="v0.6.0" }
 ```
 
 To find the latest release tag go to [releases](https://github.com/yetanotherco/aligned_layer/releases) and copy the

docs/3_guides/2_integrating_aligned_into_your_application.md

@@ -118,7 +118,8 @@ The proof submission and verification can be done either with the SDK or by usin
 
 To submit a proof using the SDK, you can use the `submit_and_wait_verification` function.
 This function submits the proof to aligned and waits for it to be verified in Aligned.
-Alternatively you can call `submit` if you dont want to wait for proof verification.
+Alternatively you can call `submit` if you don't want to wait for proof verification.
+
 The following code is an example of how to submit a proof using the SDK:
 
 ```rust
@@ -162,9 +163,6 @@ async fn submit_proof_to_aligned(
 #[tokio::main]
 async fn main() {
     let wallet = // Initialize wallet
-
-    let wallet = wallet.with_chain_id(17000u64)
-
     let proof = // Generate or obtain proof
 
     match submit_proof_to_aligned(proof, wallet).await {
@@ -174,6 +172,41 @@ async fn main() {
 }
 ```
 
+The following code is an example of how to verify the proof was correctly verified in Aligned using the SDK:
+
+```rust
+use aligned_sdk::sdk::verify_proof_onchain;
+use aligned_sdk::types::{AlignedVerificationData, Chain};
+use ethers::prelude::*;
+use tokio::time::{sleep, Duration};
+
+async fn wait_for_proof_verification(
+    aligned_verification_data: AlignedVerificationData,
+    rpc_url: String,
+) -> Result<(), anyhow::Error> {
+    for _ in 0..10 {
+        if verify_proof_onchain(aligned_verification_data.clone(), Chain::Holesky, rpc_url.as_str()).await.is_ok_and(|r| r) {
+            println!("Proof verified successfully.");
+            return Ok(());
+        }
+        println!("Proof not verified yet. Waiting 10 seconds before checking again...");
+        sleep(Duration::from_secs(10)).await;
+    }
+    anyhow::bail!("Proof verification failed")
+}
+
+#[tokio::main]
+async fn main() {
+    let aligned_verification_data = // Obtain aligned verification data
+    let rpc_url = "https://ethereum-holesky-rpc.publicnode.com".to_string();
+
+    match wait_for_proof_verification(aligned_verification_data, rpc_url).await {
+        Ok(_) => println!("Proof verified"),
+        Err(err) => println!("Error: {:?}", err),
+    }
+}
+```
+
 You can find an example of the proof submission and verification in the [ZKQuiz Program](../../examples/zkquiz/quiz/script/src/main.rs).
 
 This example generates a proof, instantiates a wallet to submit the proof, and then submits the proof to Aligned for verification. It then waits for the proof to be verified in Aligned.

docs/3_guides/3_validating_public_input.md

@@ -10,7 +10,7 @@ This guide assumes you are in the `examples/validating-public-input` directory.
 
 ## Generate your ZK Proof
 
-> [!IMPORTANT]
+> [!IMPORTANT]  
 > To generate the proof ensure you have [docker](https://www.docker.com/get-started/) installed and the docker daemon running.
 > This is necessary to ensure deterministic builds of the binary we want to generate a proof of. If not used, builds may differ depending on the system you are running on. To know more about this, check [this link](https://dev.risczero.com/terminology#deterministic-builds) from RiscZero docs.
 
@@ -119,7 +119,6 @@ contract FibonacciValidator {
         return (first, second);
     }
 }
-
 ```
 
 ### Explanation