feat: adapt sdk to new verifyProofInclusion api

Author: MarcosNicolau

batcher/aligned-sdk/abi/AlignedProofAggregationService.json

@@ -77,7 +77,7 @@ pub const ALIGNED_PROOF_AGG_SERVICE_ADDRESS_MAINNET_STAGE: &str = "0x0";
 pub const ALIGNED_PROOF_AGG_SERVICE_ADDRESS_HOLESKY_STAGE: &str =
     "0x7Eace34A8d4C4CacE633946C6F7CF4BeF3F33513";
 pub const ALIGNED_PROOF_AGG_SERVICE_ADDRESS_HOLESKY: &str =
-    "0xe84CD4084d8131841CE6DC265361f81F4C59a1d4";
+    "0xB93be2158C2C498285634fb8cd10F075dFB568FA";
 pub const ALIGNED_PROOF_AGG_SERVICE_ADDRESS_DEVNET: &str =
     "0xcbEAF3BDe82155F56486Fb5a1072cb8baAf547cc";
 

batcher/aligned-sdk/src/core/constants.rs

@@ -8,7 +8,10 @@ pub use types::{AggregationModeVerificationData, ProofVerificationAggModeError};
 use crate::{
     core::types::Network, eth::aligned_proof_agg_service::aligned_proof_aggregation_service,
 };
-use ethers::providers::{Http, Provider};
+use ethers::{
+    providers::{Http, Provider},
+    types::Bytes,
+};
 use lambdaworks_crypto::merkle_tree::merkle::MerkleTree;
 
 /// Given the [`AggregationModeVerificationData`], this function checks whether the proof was included in a
@@ -102,7 +105,11 @@ pub async fn is_proof_verified_on_chain(
     .map_err(|e| ProofVerificationAggModeError::EthereumProviderError(e.to_string()))?;
 
     let res = contract_provider
-        .verify_proof_inclusion(merkle_path, verification_data.commitment())
+        .verify_proof_inclusion(
+            merkle_path,
+            verification_data.program_id(),
+            Bytes::from(verification_data.public_inputs().clone()),
+        )
         .call()
         .await
         .map_err(|e| ProofVerificationAggModeError::EthereumProviderError(e.to_string()))?;

batcher/aligned-sdk/src/sdk/aggregation/mod.rs

@@ -16,6 +16,20 @@ pub enum AggregationModeVerificationData {
 }
 
 impl AggregationModeVerificationData {
+    pub fn program_id(&self) -> [u8; 32] {
+        match self {
+            Self::Risc0 { image_id, .. } => *image_id,
+            Self::SP1 { vk, .. } => *vk,
+        }
+    }
+
+    pub fn public_inputs(&self) -> &Vec<u8> {
+        match self {
+            Self::Risc0 { public_inputs, .. } => public_inputs,
+            Self::SP1 { public_inputs, .. } => public_inputs,
+        }
+    }
+
     pub fn commitment(&self) -> [u8; 32] {
         match self {
             AggregationModeVerificationData::SP1 { vk, public_inputs } => {