feat: integrate sp1 verifier

Author: JuArce

contracts/remappings.txt

@@ -5,3 +5,4 @@ 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,
@@ -47,9 +47,9 @@ contract AlignedProofAggregationService is
 
     function verify(
         bytes32 blobVersionedHash,
-        //bytes32 sp1ProgramVKey,
-        bytes calldata sp1PublicValues
-        //bytes calldata sp1ProofBytes
+        bytes32 sp1ProgramVKey,
+        bytes calldata sp1PublicValues,
+        bytes calldata sp1ProofBytes
     ) public onlyAlignedAggregator {
         // In dev mode, poofs are mocked, so we skip the verification part
         if (sp1VerifierAddress == VERIFIER_MOCK_ADDRESS) {
@@ -58,6 +58,15 @@ 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 {

contracts/src/core/IAlignedProofAggregationService.sol

@@ -25,14 +25,14 @@ interface IAlignedProofAggregationService {
     /// @dev This function is called by the aligned proof aggregator after collecting the proofs and aggregating them
     /// to be verified on-chain. We expect the blobTransactionHash to be called before
     /// @param blobVersionedHash the versioned hash of the blob transaction that contains the leaves that compose the merkle root.
-    /// param sp1ProgramVKey Public verifying key
+    /// @param sp1ProgramVKey Public verifying key
     /// @param sp1PublicValues Values used to perform the execution
-    /// param sp1ProofBytes Groth16 proof
+    /// @param sp1ProofBytes Groth16 proof
     function verify(
         bytes32 blobVersionedHash,
-        //bytes32 sp1ProgramVKey,
-        bytes calldata sp1PublicValues
-        //bytes calldata sp1ProofBytes
+        bytes32 sp1ProgramVKey,
+        bytes calldata sp1PublicValues,
+        bytes calldata sp1ProofBytes
     ) external;
 
     function getAggregatedProof(uint64 proofNumber)