Remove the verifier type validation on verifyProofInclusion method

Author: maximopalopoli

contracts/src/core/AlignedProofAggregationService.sol

@@ -118,14 +118,11 @@ contract AlignedProofAggregationService is
     /// @param verifierType The type of verifier (SP1 or RISC0).
     ///
     /// @return bool Returns true if the computed Merkle root is a recognized valid aggregated proof.
-    function verifyProofInclusion(bytes32[] calldata merklePath, bytes32 programId, bytes calldata publicInputs, IAlignedProofAggregationService.VerifierType verifierType)
+    function verifyProofInclusion(bytes32[] calldata merklePath, bytes32 programId, bytes calldata publicInputs)
         public
         view
         returns (bool)
     {
-        require(programIds[programId] == uint8(verifierType), "Program ID not registered for the received verifier type");
-
-        // TODO: consider adding the verifierType to the proof commitment to avoid potential collisions
         bytes32 proofCommitment = keccak256(abi.encodePacked(programId, publicInputs));
         bytes32 merkleRoot = MerkleProof.processProofCalldata(merklePath, proofCommitment);
         return aggregatedProofs[merkleRoot];

contracts/src/core/IAlignedProofAggregationService.sol

@@ -29,7 +29,7 @@ interface IAlignedProofAggregationService {
     function verifyRisc0(bytes32 blobVersionedHash, bytes calldata risc0ReceiptSeal, bytes calldata risc0JournalBytes, bytes32 programId)
         external;
 
-    function verifyProofInclusion(bytes32[] calldata merklePath, bytes32 programId, bytes calldata publicInputs, VerifierType verifierType)
+    function verifyProofInclusion(bytes32[] calldata merklePath, bytes32 programId, bytes calldata publicInputs)
         external
         view
         returns (bool);