Compile contracts

Author: MauroToscano

contracts/src/core/AlignedProofAggregationService.sol

@@ -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) {

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)