tmp update contract to send journal digest direclty instead of computing it in solidity

Author: MarcosNicolau

aggregation_mode/abi/AlignedProofAggregationService.json

@@ -79,6 +79,10 @@ pub(crate) fn aggregate_proofs(
         .map_err(|e| ProofAggregationError::Risc0Proving(e.to_string()))?
         .receipt;
 
+    receipt
+        .verify(RISC0_AGGREGATOR_PROGRAM_ID)
+        .map_err(|e| ProofAggregationError::Risc0Proving(e.to_string()))?;
+
     let output = Risc0ProofReceiptAndImageId {
         image_id: RISC0_AGGREGATOR_PROGRAM_ID_BYTES,
         receipt,

aggregation_mode/src/aggregators/risc0_aggregator.rs

@@ -25,6 +25,7 @@ use config::Config;
 use fetcher::{ProofsFetcher, ProofsFetcherError};
 use merkle_tree::compute_proofs_merkle_root;
 use risc0_ethereum_contracts::encode_seal;
+use risc0_zkvm::sha::Digestible;
 use sp1_sdk::HashableKey;
 use std::str::FromStr;
 use tracing::{error, info, warn};
@@ -191,12 +192,14 @@ impl ProofAggregator {
                 let encoded_seal = encode_seal(&proof.receipt).map_err(|e| {
                     AggregatedProofSubmissionError::Risc0EncodingSeal(e.to_string())
                 })?;
+                let journal_digest: [u8; 32] = proof.receipt.journal.digest().into();
                 self.proof_aggregation_service
                     .verifyRisc0(
                         blob_versioned_hash.into(),
                         encoded_seal.into(),
                         proof.image_id.into(),
                         proof.receipt.journal.bytes.into(),
+                        journal_digest.into(),
                     )
                     .sidecar(blob)
                     .send()

aggregation_mode/src/backend/mod.rs

@@ -75,13 +75,14 @@ contract AlignedProofAggregationService is
         bytes32 blobVersionedHash,
         bytes calldata risc0ReceiptSeal,
         bytes32 risc0ImageId,
-        bytes calldata risc0JournalBytes
+        bytes calldata risc0JournalBytes,
+        bytes32 risc0JournalDigest
     ) public onlyAlignedAggregator {
         (bytes32 merkleRoot) = abi.decode(risc0JournalBytes, (bytes32));
 
         // In dev mode, poofs are mocked, so we skip the verification part
         if (_isRisc0VerificationEnabled()) {
-            bytes32 risc0JournalDigest = sha256(risc0JournalBytes);
+            //bytes32 risc0JournalDigest = sha256(risc0JournalBytes);
             IRiscZeroVerifier(risc0VerifierAddress).verify(risc0ReceiptSeal, risc0ImageId, risc0JournalDigest);
         }
 

contracts/scripts/anvil/state/alignedlayer-deployed-anvil-state.json

@@ -19,7 +19,8 @@ interface IAlignedProofAggregationService {
         bytes32 blobVersionedHash,
         bytes calldata risc0ReceiptSeal,
         bytes32 risc0ImageId,
-        bytes calldata risc0JournalBytes
+        bytes calldata risc0JournalBytes,
+        bytes32 risc0JournalDigest
     ) external;
 
     /// @notice event that gets emitted after a successful aggregated proof verification