feat: deploy contract and add stage addresses

Author: JuArce

Makefile

@@ -698,6 +698,10 @@ upgrade_batcher_payment_service: ## Upgrade BatcherPayments contract. Parameters
 	@echo "Upgrading BatcherPayments Contract on $(NETWORK) network..."
 	@. contracts/scripts/.env.$(NETWORK) && . contracts/scripts/upgrade_batcher_payment_service.sh
 
+deploy_proof_aggregator:
+	@echo "Deploying ProofAggregator contract on $(NETWORK) network..."
+	@. contracts/scripts/.env.$(NETWORK) && . contracts/scripts/deploy_proof_aggregator.sh
+
 build_aligned_contracts:
 	@cd contracts/src/core && forge build
 

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

@@ -0,0 +1,9 @@
+{
+  "address": {
+    "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "alignedAggregatorAddress": "0x3595aa7d30f89f65933e7421dec77e4478d9fb01"
+  },
+  "permissions": {
+    "owner": "0xE3C695b73dbe27106aF4530b152de3e57456B385"
+  }
+}

contracts/script/output/holesky/proof_aggregation_service_deployment_output.stage.json

@@ -0,0 +1,6 @@
+{
+  "addresses": {
+    "alignedProofAggregationService": "0xa5A27c9138Ee4fA77F1a742bF4A4a4422635FDA9",
+    "alignedProofAggregationServiceImplementation": "0x01D5b9a84bF6D5768a96aEEc538a5Eab7fa6acB9"
+  }
+}

contracts/scripts/deploy_proof_aggregator.sh

@@ -0,0 +1,38 @@
+#!/bin/bash
+
+# ENV VARIABLES
+#
+# PROOF_AGGREGATOR_DEPLOY_CONFIG_PATH: Path to the proof aggregator deploy config file
+#   - Holesky Stage: ./script/deploy/config/holesky/proof-aggregator-service.holesky.config.stage.json
+#   - Holesky Prod: ./script/deploy/config/holesky/proof-aggregator-service.holesky.config.json
+#
+# PROOF_AGGREGATOR_OUTPUT_PATH: Path to the proof aggregator output file
+#   - Holesky Stage: ./script/output/holesky/proof_aggregation_service_deployment_output.stage.json
+#   - Holesky Prod: ./script/output/holesky/proof_aggregation_service_deployment_output.json
+#
+# RPC_URL: The RPC URL to connect to the Ethereum network
+#
+# PRIVATE_KEY: The private key to use for the deployment
+#
+# ETHERSCAN_API_KEY: The Etherscan API key to use for verification
+#
+
+# 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 ../
+
+# Deploy proof aggregation service contract
+forge script script/deploy/AlignedProofAggregationServiceDeployer.s.sol \
+    $PROOF_AGGREGATOR_DEPLOY_CONFIG_PATH \
+    $PROOF_AGGREGATOR_OUTPUT_PATH \
+    --rpc-url $RPC_URL \
+    --private-key $PRIVATE_KEY \
+    --broadcast \
+    --verify \
+    --etherscan-api-key $ETHERSCAN_API_KEY \
+    --slow \
+    --sig "run(string configPath, string outputPath)"