docs: update testnet docs (#973)

Author: JuArce

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,7 @@ 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
+--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

@@ -116,9 +116,8 @@ The proof submission and verification can be done either with the SDK or by usin
 
 #### Using the SDK
 
-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.
+To submit a proof using the SDK, you can use the `submit` function, and then you can use the `verify_proof_onchain` function to check if the proof was correctly verified in Aligned.
+
 The following code is an example of how to submit a proof using the SDK:
 
 ```rust
@@ -162,9 +161,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 +170,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.
 
@@ -42,17 +42,15 @@ pragma solidity ^0.8.12;
 
 contract FibonacciValidator {
     address public alignedServiceManager;
-    address public paymentServiceAddr;
     bytes32 public fibonacciProgramId;
 
     bytes32 public fibonacciProgramIdCommitment =
         0x069ed9f3972550a2901523723f4beb5e240749dcafa30e1623d0778e17d69d70;
 
     event FibonacciNumbers(uint32 fibN, uint32 fibNPlusOne);
 
-    constructor(address _alignedServiceManager, address _paymentServiceAddr) {
+    constructor(address _alignedServiceManager) {
         alignedServiceManager = _alignedServiceManager;
-        paymentServiceAddr = _paymentServiceAddr;
     }
 
     function verifyBatchInclusion(
@@ -80,15 +78,14 @@ contract FibonacciValidator {
             bytes memory proofIsIncluded
         ) = alignedServiceManager.staticcall(
                 abi.encodeWithSignature(
-                    "verifyBatchInclusion(bytes32,bytes32,bytes32,bytes20,bytes32,bytes,uint256,address)",
+                    "verifyBatchInclusion(bytes32,bytes32,bytes32,bytes20,bytes32,bytes,uint256)",
                     proofCommitment,
                     pubInputCommitment,
                     programIdCommitment,
                     proofGeneratorAddr,
                     batchMerkleRoot,
                     merkleProof,
-                    verificationDataBatchIndex,
-                    paymentServiceAddr
+                    verificationDataBatchIndex
                 )
             );
 
@@ -119,7 +116,6 @@ contract FibonacciValidator {
         return (first, second);
     }
 }
-
 ```
 
 ### Explanation
@@ -150,15 +146,14 @@ require(
     bytes memory proofIsIncluded
 ) = alignedServiceManager.staticcall(
     abi.encodeWithSignature(
-        "verifyBatchInclusion(bytes32,bytes32,bytes32,bytes20,bytes32,bytes,uint256,address)",
+        "verifyBatchInclusion(bytes32,bytes32,bytes32,bytes20,bytes32,bytes,uint256)",
         proofCommitment,
         pubInputCommitment,
         programIdCommitment,
         proofGeneratorAddr,
         batchMerkleRoot,
         merkleProof,
-        verificationDataBatchIndex,
-        paymentServiceAddr
+        verificationDataBatchIndex
         )
 );
 
@@ -197,7 +192,6 @@ To deploy the contract, first you will need to set up the `.env` file in the con
 RPC_URL=<rpc_url> #You can use publicnode RPC: https://ethereum-holesky-rpc.publicnode.com
 PRIVATE_KEY=<private_key>
 ALIGNED_SERVICE_MANAGER_ADDRESS=<service_manager_address> #0x58F280BeBE9B34c9939C3C39e0890C81f163B623 for Holesky
-PAYMENT_SERVICE_ADDRESS=<payment_service_address> #0x815aeCA64a974297942D2Bbf034ABEe22a38A003 for Holesky
 ```
 
 Then, run `make deploy_fibonacci_validator`.