Remove non working sp1 contract

Author: MauroToscano

contracts/remappings.txt

@@ -5,4 +5,3 @@ eigenlayer-scripts/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/script/
 forge-std/=lib/forge-std/src/
 @openzeppelin/contracts/=lib/eigenlayer-middleware/lib/openzeppelin-contracts/contracts/
 @openzeppelin-upgrades/contracts/=lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/
-@sp1-contracts/=lib/sp1-contracts/contracts/src/ 

contracts/src/core/AlignedProofAggregationService.sol

@@ -5,8 +5,8 @@ import {Initializable} from "@openzeppelin-upgrades/contracts/proxy/utils/Initia
 import {OwnableUpgradeable} from "@openzeppelin-upgrades/contracts/access/OwnableUpgradeable.sol";
 import {UUPSUpgradeable} from "@openzeppelin-upgrades/contracts/proxy/utils/UUPSUpgradeable.sol";
 import {IAlignedProofAggregationService} from "./IAlignedProofAggregationService.sol";
-import {ISP1Verifier} from "@sp1-contracts/ISP1Verifier.sol";
 
+/// Template for contract, SP1 verifiers needs to be added
 contract AlignedProofAggregationService is
     IAlignedProofAggregationService,
     Initializable,
@@ -58,15 +58,6 @@ contract AlignedProofAggregationService is
             return;
         }
 
-        try ISP1Verifier(sp1VerifierAddress).verifyProof(sp1ProgramVKey, sp1PublicValues, sp1ProofBytes) {
-            (bytes32 merkleRoot) = abi.decode(sp1PublicValues, (bytes32));
-            _newAggregatedProof(merkleRoot, blobVersionedHash);
-        } catch {
-            AggregatedProof storage proof = aggregatedProofs[currentAggregatedProofNumber];
-            proof.status = AggregatedProofStatus.Failed;
-            emit NewAggregatedProof(currentAggregatedProofNumber, AggregatedProofStatus.Failed, 0x0, 0x0);
-            currentAggregatedProofNumber += 1;
-        }
     }
 
     function markCurrentAggregatedProofAsMissed() public onlyAlignedAggregator {