Use revert and add a proper error type in the interface

Author: maximopalopoli

contracts/src/core/AlignedProofAggregationService.sol

@@ -71,7 +71,9 @@ contract AlignedProofAggregationService is
     {
         (bytes32 merkleRoot) = abi.decode(sp1PublicValues, (bytes32));
 
-        require(programIds[programId] == uint8(IAlignedProofAggregationService.VerifierType.SP1), "Invalid program ID");
+        if (programIds[programId] != uint8(IAlignedProofAggregationService.VerifierType.SP1)) {
+            revert InvalidProgramId(programId, IAlignedProofAggregationService.VerifierType.SP1, programIds[programId]);
+        }
 
         // In dev mode, poofs are mocked, so we skip the verification part
         if (_isSP1VerificationEnabled()) {
@@ -88,7 +90,9 @@ contract AlignedProofAggregationService is
     {
         (bytes32 merkleRoot) = abi.decode(risc0JournalBytes, (bytes32));
 
-        require(programIds[programId] == uint8(IAlignedProofAggregationService.VerifierType.RISC0), "Invalid program ID");
+        if (programIds[programId] != uint8(IAlignedProofAggregationService.VerifierType.RISC0)) {
+            revert InvalidProgramId(programId, IAlignedProofAggregationService.VerifierType.RISC0, programIds[programId]);
+        }
 
         // In dev mode, poofs are mocked, so we skip the verification part
         if (_isRisc0VerificationEnabled()) {

contracts/src/core/IAlignedProofAggregationService.sol

@@ -54,6 +54,8 @@ interface IAlignedProofAggregationService {
 
     error OnlyAlignedAggregator(address sender);
 
+    error InvalidProgramId(bytes32 programId, VerifierType expected, uint8 actual);
+
     enum VerifierType {
         INVALID,  // If a given program does not exist in the `programId` map, it defaults to 0. This prevents non-existing keys to be considered valid in case SP1 or RISC0 were in this position
         SP1,