feat: verify proof inclusion in proof aggregation contract

Author: MarcosNicolau

contracts/src/core/AlignedProofAggregationService.sol

@@ -7,6 +7,7 @@ import {UUPSUpgradeable} from "@openzeppelin-upgrades/contracts/proxy/utils/UUPS
 import {IAlignedProofAggregationService} from "./IAlignedProofAggregationService.sol";
 import {ISP1Verifier} from "@sp1-contracts/ISP1Verifier.sol";
 import {IRiscZeroVerifier} from "@risc0-contracts/IRiscZeroVerifier.sol";
+import {MerkleProof} from "../../lib/openzeppelin-contracts/contracts/utils/cryptography/MerkleProof.sol";
 
 contract AlignedProofAggregationService is
     IAlignedProofAggregationService,
@@ -89,6 +90,11 @@ contract AlignedProofAggregationService is
         emit AggregatedProofVerified(merkleRoot, blobVersionedHash);
     }
 
+    function verifyProofInclusion(bytes32[] calldata merklePath, bytes32 proofCommitment) public view returns (bool) {
+        bytes32 merkleRoot = MerkleProof.processProofCalldata(merklePath, proofCommitment);
+        return aggregatedProofs[merkleRoot];
+    }
+
     function _isSP1VerificationEnabled() internal view returns (bool) {
         return sp1VerifierAddress != VERIFIER_MOCK_ADDRESS;
     }

contracts/src/core/IAlignedProofAggregationService.sol

@@ -22,6 +22,11 @@ interface IAlignedProofAggregationService {
         bytes calldata risc0JournalBytes
     ) external;
 
+    function verifyProofInclusion(bytes32[] calldata merklePath, bytes32 proofCommitment)
+        external
+        view
+        returns (bool);
+
     /// @notice event that gets emitted after a successful aggregated proof verification
     event AggregatedProofVerified(bytes32 indexed merkleRoot, bytes32 blobVersionedHash);