feat: update program ids on anvil_deploy_aligned_contracts

Author: JuArce

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

@@ -1,15 +1,15 @@
 {
-    "address": {
-        "sp1VerifierAddress": "0xB146FbFdFeC2a5182b3Cef9becE03290224256D5",
-        "risc0VerifierAddress": "0x663F3ad617193148711d28f5334eE4Ed07016602",
-        "alignedAggregatorAddress": "0xa0Ee7A142d267C1f36714E4a8F75612F20a79720",
-        "alignedAggregatorAddressPrivateKey": "0x2a871d0798f97d79848a013d4936a73bf4cc922c825d33c1cf7073dff6d409c6"
-    },
-    "programs_id": {
-        "sp1AggregationProgramVKHash": "0x00eb8139c8360fc371b9a6decdec55ba01aaae0f4739f68139e0b3d40397d1d6",
-        "risc0AggregationProgramImageId": "0xa2966b3e63b5e73848dd3fb8ff1e03ac68ca10fa961ca0c0d8dbbb0a85b60acd"
-    },
-    "permissions": {
-        "owner": "0x14dC79964da2C08b23698B3D3cc7Ca32193d9955"
-    }
+  "address": {
+    "sp1VerifierAddress": "0xB146FbFdFeC2a5182b3Cef9becE03290224256D5",
+    "risc0VerifierAddress": "0x663F3ad617193148711d28f5334eE4Ed07016602",
+    "alignedAggregatorAddress": "0xa0Ee7A142d267C1f36714E4a8F75612F20a79720",
+    "alignedAggregatorAddressPrivateKey": "0x2a871d0798f97d79848a013d4936a73bf4cc922c825d33c1cf7073dff6d409c6"
+  },
+  "programs_id": {
+    "sp1AggregationProgramVKHash": "0x00eb8139c8360fc371b9a6decdec55ba01aaae0f4739f68139e0b3d40397d1d6",
+    "risc0AggregationProgramImageId": "0xa2966b3e63b5e73848dd3fb8ff1e03ac68ca10fa961ca0c0d8dbbb0a85b60acd"
+  },
+  "permissions": {
+    "owner": "0x14dC79964da2C08b23698B3D3cc7Ca32193d9955"
+  }
 }

contracts/scripts/anvil/deploy_aligned_contracts.sh

@@ -65,6 +65,23 @@ rm -f "script/output/devnet/alignedlayer_deployment_output.temp1.json"
 rm -f "script/output/devnet/alignedlayer_deployment_output.temp2.json"
 
 
+# Update Program IDs in anvil deployment
+cd ..
+make agg_mode_write_program_ids
+
+# Copy new values to config file
+jq '.programs_id.risc0AggregationProgramImageId = $input[0].risc0_image_id | .programs_id.sp1AggregationProgramVKHash = $input[0].sp1_vk_hash' \
+  --slurpfile input aggregation_mode/programs_ids.json \
+  contracts/script/deploy/config/devnet/proof-aggregator-service.devnet.config.json \
+  > temp.json && mv temp.json contracts/script/deploy/config/devnet/proof-aggregator-service.devnet.config.json
+
+jq '.programs_id.risc0AggregationProgramImageId = $input[0].risc0_image_id | .programs_id.sp1AggregationProgramVKHash = $input[0].sp1_vk_hash' \
+  --slurpfile input aggregation_mode/programs_ids.json \
+  contracts/script/deploy/config/devnet/proof-aggregator-service.devnet.mock.config.json \
+  > temp.json && mv temp.json contracts/script/deploy/config/devnet/proof-aggregator-service.devnet.mock.config.json
+
+cd contracts
+
 # Deploy proof aggregation service contract with SP1 Verifier
 forge script script/deploy/AlignedProofAggregationServiceDeployer.s.sol \
     ./script/deploy/config/devnet/proof-aggregator-service.devnet.config.json \