feat: proof aggregation service deploy scripts

Author: MarcosNicolau

contracts/script/deploy/AlignedProofAggregationServiceDeployer.s.sol

@@ -0,0 +1,43 @@
+pragma solidity ^0.8.12;
+
+import {AlignedProofAggregationService} from "../../src/core/AlignedProofAggregationService.sol";
+import {ERC1967Proxy} from "@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol";
+
+import "forge-std/Script.sol";
+import "forge-std/StdJson.sol";
+
+contract AlignedProofAggregationServiceDeployer is Script {
+    function run(string memory configPath, string memory outputPath) external returns (address, address) {
+        string memory config_data = vm.readFile(configPath);
+
+        address alignedAggregatorAddress = stdJson.readAddress(config_data, ".address.alignedAggregatorAddress");
+        address sp1VerifierAddress = stdJson.readAddress(config_data, ".address.sp1VerifierAddress");
+
+        address ownerAddress = stdJson.readAddress(config_data, ".permissions.owner");
+
+        vm.startBroadcast();
+
+        AlignedProofAggregationService alignedProofAggregationService = new AlignedProofAggregationService();
+
+        ERC1967Proxy proxy = new ERC1967Proxy(
+            address(alignedProofAggregationService),
+            abi.encodeWithSignature(
+                "initialize(address,address,address)", ownerAddress, alignedAggregatorAddress, sp1VerifierAddress
+            )
+        );
+
+        vm.stopBroadcast();
+
+        string memory addresses = "addresses";
+        vm.serializeAddress(addresses, "alignedProofAggregationService", address(proxy));
+        string memory addressesStr = vm.serializeAddress(
+            addresses, "alignedProofAggregationServiceImplementation", address(alignedProofAggregationService)
+        );
+
+        string memory parentObject = "parent";
+        string memory finalJson = vm.serializeString(parentObject, "addresses", addressesStr);
+        vm.writeJson(finalJson, outputPath);
+
+        return (address(proxy), address(alignedProofAggregationService));
+    }
+}

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

@@ -0,0 +1,10 @@
+{
+  "address": {
+    "sp1VerifierAddress": "0x00000000000000000000000000000000000000FF",
+    "alignedAggregatorAddress": "0xa0Ee7A142d267C1f36714E4a8F75612F20a79720",
+    "alignedAggregatorAddressPrivateKey": "0x2a871d0798f97d79848a013d4936a73bf4cc922c825d33c1cf7073dff6d409c6"
+  },
+  "permissions": {
+    "owner": "0x14dC79964da2C08b23698B3D3cc7Ca32193d9955"
+  }
+}

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

@@ -0,0 +1,9 @@
+{
+  "address": {
+    "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "alignedAggregatorAddress": "<aligned_aggregator_address>"
+  },
+  "permissions": {
+    "owner": "<owner_address>"
+  }
+}

contracts/script/deploy/config/mainnet/proof-aggregator-service.holesky.config.json

@@ -0,0 +1,9 @@
+{
+  "address": {
+    "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "alignedAggregatorAddress": "<aligned_aggregator_address>"
+  },
+  "permissions": {
+    "owner": "<owner_address>"
+  }
+}

contracts/script/deploy/config/mainnet_staging/proof-aggregator-service.holesky.config.json

@@ -0,0 +1,9 @@
+{
+  "address": {
+    "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "alignedAggregatorAddress": "<aligned_aggregator_address>"
+  },
+  "permissions": {
+    "owner": "<owner_address>"
+  }
+}

contracts/script/deploy/config/sepolia/proof-aggregator-service.holesky.config.json

@@ -0,0 +1,9 @@
+{
+  "address": {
+    "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "alignedAggregatorAddress": "<aligned_aggregator_address>"
+  },
+  "permissions": {
+    "owner": "<owner_address>"
+  }
+}

contracts/script/output/devnet/proof_aggregation_service_deployment_output.json

@@ -0,0 +1,6 @@
+{
+  "addresses": {
+    "alignedProofAggregationService": "0xcbEAF3BDe82155F56486Fb5a1072cb8baAf547cc",
+    "alignedProofAggregationServiceImplementation": "0xFD471836031dc5108809D173A067e8486B9047A3"
+  }
+}

contracts/scripts/anvil/deploy_aligned_contracts.sh

@@ -65,5 +65,14 @@ rm -f "script/output/devnet/alignedlayer_deployment_output.temp1.json"
 rm -f "script/output/devnet/alignedlayer_deployment_output.temp2.json"
 
 
+# Deploy proof aggregation service contract
+forge script script/deploy/AlignedProofAggregationServiceDeployer.s.sol \
+    ./script/deploy/config/devnet/proof-aggregator-service.devnet.config.json \
+    ./script/output/devnet/proof_aggregation_service_deployment_output.json \
+    --rpc-url "http://localhost:8545" \
+    --private-key "0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80" \
+    --broadcast \
+    --sig "run(string configPath, string outputPath)"
+
 # Kill the anvil process to save state
 pkill anvil

contracts/scripts/proof_aggregator_service/.env.example

@@ -0,0 +1,5 @@
+RPC_URL=<RPC_URL>
+PRIVATE_KEY=<YOUR_PRIVATE_KEY>
+PROOF_AGGREGATION_SERVICE_CONFIG_PATH=./script/deploy/config/<NETWORK>/.holesky.config.json
+PROOF_AGGREGATION_SERVICE_OUTPUT_PATH=./script/output/<NETWORK>/proof-aggregator-service.<NETWORK>.config.json
+ETHERSCAN_API_KEY=<ETHERSCAN_API_KEY>

contracts/scripts/proof_aggregator_service/deploy.sh

@@ -0,0 +1,22 @@
+#!/bin/bash
+
+# cd to the directory of this script so that this can be run from anywhere
+parent_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
+# At this point we are in contracts/scripts
+cd "$parent_path"
+
+# At this point we are in contracts
+cd ../
+
+source scripts/.env
+
+# Deploy Proof Aggregation Service Contract
+forge script script/deploy/AlignedProofAggregationServiceDeployer.s.sol \
+    $PROOF_AGGREGATION_SERVICE_CONFIG_PATH \
+    $PROOF_AGGREGATION_SERVICE_OUTPUT_PATH \
+    --rpc-url $RPC_URL \
+    --private-key $PRIVATE_KEY \
+    --broadcast \
+    --verify \
+    --etherscan-api-key $ETHERSCAN_API_KEY \
+    --sig "run(string memory batcherConfigPath, string memory outputPath)"