feat: deploy AlignedProofAggregationService contract with risc0 verifier

Author: MarcosNicolau

contracts/script/deploy/AlignedProofAggregationServiceDeployer.s.sol

@@ -12,6 +12,7 @@ contract AlignedProofAggregationServiceDeployer is Script {
 
         address alignedAggregatorAddress = stdJson.readAddress(config_data, ".address.alignedAggregatorAddress");
         address sp1VerifierAddress = stdJson.readAddress(config_data, ".address.sp1VerifierAddress");
+        address risc0VerifierAddress = stdJson.readAddress(config_data, ".address.risc0VerifierAddress");
 
         address ownerAddress = stdJson.readAddress(config_data, ".permissions.owner");
 
@@ -22,7 +23,11 @@ contract AlignedProofAggregationServiceDeployer is Script {
         ERC1967Proxy proxy = new ERC1967Proxy(
             address(alignedProofAggregationService),
             abi.encodeWithSignature(
-                "initialize(address,address,address)", ownerAddress, alignedAggregatorAddress, sp1VerifierAddress
+                "initialize(address,address,address,address)",
+                ownerAddress,
+                alignedAggregatorAddress,
+                sp1VerifierAddress,
+                risc0VerifierAddress
             )
         );
 

contracts/script/deploy/config/devnet/proof-aggregator-service.devnet.config.json

@@ -1,6 +1,7 @@
 {
   "address": {
     "sp1VerifierAddress": "0xbC42A182543d5AF01f51040955D149A74C015098",
+    "risc0VerifierAddress": "0x00000000000000000000000000000000000000FF",
     "alignedAggregatorAddress": "0xa0Ee7A142d267C1f36714E4a8F75612F20a79720",
     "alignedAggregatorAddressPrivateKey": "0x2a871d0798f97d79848a013d4936a73bf4cc922c825d33c1cf7073dff6d409c6"
   },

contracts/script/deploy/config/devnet/proof-aggregator-service.devnet.mock.config.json

@@ -1,6 +1,7 @@
 {
   "address": {
     "sp1VerifierAddress": "0x00000000000000000000000000000000000000FF",
+    "risc0VerifierAddress": "0x00000000000000000000000000000000000000FF",
     "alignedAggregatorAddress": "0xa0Ee7A142d267C1f36714E4a8F75612F20a79720",
     "alignedAggregatorAddressPrivateKey": "0x2a871d0798f97d79848a013d4936a73bf4cc922c825d33c1cf7073dff6d409c6"
   },

contracts/script/output/devnet/proof_aggregation_service_deployment_output.json

@@ -3,4 +3,4 @@
     "alignedProofAggregationService": "0xcbEAF3BDe82155F56486Fb5a1072cb8baAf547cc",
     "alignedProofAggregationServiceImplementation": "0xFD471836031dc5108809D173A067e8486B9047A3"
   }
-}
+}

contracts/script/output/devnet/proof_aggregation_service_deployment_output.mock.json

@@ -3,4 +3,4 @@
     "alignedProofAggregationService": "0xB0D4afd8879eD9F52b28595d31B441D079B2Ca07",
     "alignedProofAggregationServiceImplementation": "0x1429859428C0aBc9C2C47C8Ee9FBaf82cFA0F20f"
   }
-}
+}

contracts/scripts/anvil/state/alignedlayer-deployed-anvil-state.json

@@ -24,6 +24,9 @@ contract AlignedProofAggregationService is
     ///      https://docs.succinct.xyz/onchain-verification/contract-addresses
     address public sp1VerifierAddress;
 
+    /// @notice The address of the Risc0 verifier contract
+    /// @dev See supported verifier here:
+    /// https://dev.risczero.com/api/blockchain-integration/contracts/verifier#contract-addresses
     address public risc0VerifierAddress;
 
     /// @notice The address of the Wallet that is allowed to call the verify function.
@@ -37,15 +40,18 @@ contract AlignedProofAggregationService is
         _disableInitializers();
     }
 
-    function initialize(address newOwner, address _alignedAggregatorAddress, address _sp1VerifierAddress)
-        public
-        initializer
-    {
+    function initialize(
+        address newOwner,
+        address _alignedAggregatorAddress,
+        address _sp1VerifierAddress,
+        address _risc0VerifierAddress
+    ) public initializer {
         __Ownable_init();
         __UUPSUpgradeable_init();
         _transferOwnership(newOwner);
         alignedAggregatorAddress = _alignedAggregatorAddress;
         sp1VerifierAddress = _sp1VerifierAddress;
+        risc0VerifierAddress = _risc0VerifierAddress;
     }
 
     function verifySP1(