11pragma solidity ^ 0.8.12 ;
22
33interface IAlignedProofAggregationService {
4+ /// @notice Event emitted when the Risc0 verifier address is updated
5+ event Risc0VerifierAddressUpdated (address indexed newAddress );
6+
7+ /// @notice Event emitted when the SP1 verifier address is updated
8+ event SP1VerifierAddressUpdated (address indexed newAddress );
9+
10+ /// @notice Event emitted when the Risc0 aggregator program image ID is updated
11+ event Risc0AggregatorProgramImageIdUpdated (bytes32 indexed newImageId );
12+
13+ /// @notice Event emitted when the SP1 aggregator program VK hash is updated
14+ event SP1AggregatorProgramVKHashUpdated (bytes32 indexed newVKHash );
15+
416 /// @notice Method to verify an aggregated proof from aligned
517 /// @dev This function is called by the aligned proof aggregator after collecting the proofs and aggregating them
618 /// to be verified on-chain. We expect the blobTransactionHash to be called before
@@ -13,6 +25,22 @@ interface IAlignedProofAggregationService {
1325 function verifyRisc0 (bytes32 blobVersionedHash , bytes calldata risc0ReceiptSeal , bytes calldata risc0JournalBytes )
1426 external ;
1527
28+ /// @notice Sets the address of the Risc0 verifier contract
29+ /// @param _risc0VerifierAddress The new address for the Risc0 verifier contract
30+ function setRisc0VerifierAddress (address _risc0VerifierAddress ) external ;
31+
32+ /// @notice Sets the image id of the Risc0 program
33+ /// @param _risc0AggregatorProgramImageId The new imageid for the Risc0 aggregator program
34+ function setRisc0AggregatorProgramImageId (bytes32 _risc0AggregatorProgramImageId ) external ;
35+
36+ /// @notice Sets the address of the SP1 verifier contract
37+ /// @param _sp1VerifierAddress The new address for the SP1 verifier contract
38+ function setSP1VerifierAddress (address _sp1VerifierAddress ) external ;
39+
40+ /// @notice Sets the vk hash of the sp1 program
41+ /// @param _sp1AggregatorProgramVKHash The new vk hash for the sp1 aggregator program
42+ function setSP1AggregatorProgramVKHash (bytes32 _sp1AggregatorProgramVKHash ) external ;
43+
1644 /// @notice event that gets emitted after a successful aggregated proof verification
1745 event AggregatedProofVerified (bytes32 indexed merkleRoot , bytes32 blobVersionedHash );
1846
0 commit comments