fix: verifyAggregationZisk program commitment usage

Author: MarcosNicolau

aggregation_mode/proof_aggregator/abi/AlignedProofAggregationService.json

@@ -371,7 +371,6 @@ impl ProofAggregator {
                 .proof_aggregation_service
                 .verifyAggregationZisk(
                     blob_versioned_hash.into(),
-                    proof.vk.clone().into(),
                     proof.public_values.to_vec().into(),
                     proof.proof.to_vec().into(),
                     self.zisk_chunk_aggregator_vk_hash_bytes.into(),

aggregation_mode/proof_aggregator/src/backend/mod.rs

@@ -26,7 +26,7 @@ monthly_budget_eth: 15.0
 # (remember to trim the 0x prefix)
 sp1_chunk_aggregator_vk_hash: "00d6e32a34f68ea643362b96615591c94ee0bf99ee871740ab2337966a4f77af"
 risc0_chunk_aggregator_image_id: "8908f01022827e80a5de71908c16ee44f4a467236df20f62e7c994491629d74c"
-zisk_chunk_aggregator_vk_hash_bytes: "fd518d50ee1b5bfe9e594448582fc8556b7313e2607e3d1f10a1d475800912b0"
+zisk_chunk_aggregator_vk_hash_bytes: "f65864040c58087c19d2793043dcfe0cbf99e8d555b45f20e1801cc447a69108"
 
 ecdsa:
   private_key_store_path: "config-files/anvil.proof-aggregator.ecdsa.key.json"

config-files/config-proof-aggregator-ethereum-package.yaml

@@ -26,7 +26,7 @@ monthly_budget_eth: 15.0
 # (remember to trim the 0x prefix)
 sp1_chunk_aggregator_vk_hash: "00ba19eed0aaeb0151f07b8d3ee7c659bcd29f3021e48fb42766882f55b84509"
 risc0_chunk_aggregator_image_id: "d8cfdd5410c70395c0a1af1842a0148428cc46e353355faccfba694dd4862dbf"
-zisk_chunk_aggregator_vk_hash_bytes: "fd518d50ee1b5bfe9e594448582fc8556b7313e2607e3d1f10a1d475800912b0"
+zisk_chunk_aggregator_vk_hash_bytes: "f65864040c58087c19d2793043dcfe0cbf99e8d555b45f20e1801cc447a69108"
 
 ecdsa:
   private_key_store_path: "config-files/anvil.proof-aggregator.ecdsa.key.json"

config-files/config-proof-aggregator.yaml

@@ -110,7 +110,7 @@ contract AlignedProofAggregationService is
         emit AggregatedProofVerified(merkleRoot, blobVersionedHash);
     }
 
-    function verifyAggregationZisk(bytes32 blobVersionedHash, uint64[4] calldata programVK, bytes calldata publicValues, bytes calldata proofBytes, bytes32 verifierProgramCommitment)
+    function verifyAggregationZisk(bytes32 blobVersionedHash, bytes calldata publicValues, bytes calldata proofBytes, bytes32 verifierProgramCommitment)
         public
         onlyAlignedAggregator
     {
@@ -120,6 +120,15 @@ contract AlignedProofAggregationService is
             revert InvalidVerifyingProgram(verifierProgramCommitment, ZISK_ID, allowedVerifiersProvingSystem[verifierProgramCommitment]);
         }
 
+        // Cast verifierProgramCommitment (bytes32) to uint64[4]
+        uint256 commitment = uint256(verifierProgramCommitment);
+        uint64[4] memory programVK = [
+            uint64(commitment >> 192),
+            uint64(commitment >> 128),
+            uint64(commitment >> 64),
+            uint64(commitment)
+        ];
+
         IZiskVerifier(ziskVerifierAddress).verifySnarkProof(programVK, publicValues, proofBytes);
 
         isMerkleRootVerified[merkleRoot] = true;

contracts/src/core/AlignedProofAggregationService.sol

@@ -36,11 +36,10 @@ interface IAlignedProofAggregationService {
     /// @dev This function is called by the aligned proof aggregator after collecting the proofs and aggregating them
     /// to be verified on-chain. We expect the blobTransactionHash to be called before
     /// @param blobVersionedHash the versioned hash of the blob transaction that contains the leaves that compose the merkle root.
-    /// @param programVK The verification key for the RISC-V program
     /// @param publicValues The public values encoded as bytes
     /// @param proofBytes The proof of the program execution the Zisk zkVM encoded as bytes
-    /// @param verifierProgramCommitment The chunk aggregator verifier program commitment against which the proof should be verified
-    function verifyAggregationZisk(bytes32 blobVersionedHash, uint64[4] calldata programVK, bytes calldata publicValues, bytes calldata proofBytes, bytes32 verifierProgramCommitment)
+    /// @param verifierProgramCommitment The chunk aggregator verifier program commitment against which the proof should be verified (also used as programVK)
+    function verifyAggregationZisk(bytes32 blobVersionedHash, bytes calldata publicValues, bytes calldata proofBytes, bytes32 verifierProgramCommitment)
         external;
 
     function isProofVerified(