feat: deploy risc0 groth16 verifier

Author: MarcosNicolau

contracts/deployments/31337.json

@@ -1,5 +1,5 @@
 {
   "CREATE2_SALT": "0x0000000000000000000000000000000000000000000000000000000000000009",
-  "SP1_VERIFIER_GATEWAY_GROTH16": "0xbC42A182543d5AF01f51040955D149A74C015098",
-  "V4_0_0_RC3_SP1_VERIFIER_GROTH16": "0x737A46c3A4579A452302130D762eFa66C6f81e28"
-}
+  "SP1_VERIFIER_GATEWAY_GROTH16": "0xB146FbFdFeC2a5182b3Cef9becE03290224256D5",
+  "V4_0_0_RC3_SP1_VERIFIER_GROTH16": "0x93a993C79738eA5D8836e42C6c422259684639Dc"
+}

contracts/script/deploy/Risc0Groth16VerifierDeployer.s.sol

@@ -0,0 +1,20 @@
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity ^0.8.20;
+
+import {Script} from "forge-std/Script.sol";
+import {console2} from "forge-std/console2.sol";
+import {IRiscZeroVerifier} from "@risc0-contracts/IRiscZeroVerifier.sol";
+import {ControlID, RiscZeroGroth16Verifier} from "@risc0-contracts/groth16/RiscZeroGroth16Verifier.sol";
+
+contract Risc0VerifierRouterDeployer is Script {
+    function run() external {
+        uint256 deployerKey = uint256(vm.envBytes32("DEPLOYER_PRIVATE_KEY"));
+
+        vm.startBroadcast(deployerKey);
+
+        IRiscZeroVerifier verifier = new RiscZeroGroth16Verifier(ControlID.CONTROL_ROOT, ControlID.BN254_CONTROL_ID);
+        console2.log("Deployed RiscZeroGroth16Verifier to", address(verifier));
+
+        vm.stopBroadcast();
+    }
+}

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

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

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

@@ -1,6 +1,7 @@
 {
   "address": {
     "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "risc0VerifierAddress": "0xf70aBAb028Eb6F4100A24B203E113D94E87DE93C",
     "alignedAggregatorAddress": "0x9403dF48130621f87974a5A1d1d11d3aF1222A82"
   },
   "permissions": {

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

@@ -1,6 +1,7 @@
 {
   "address": {
     "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "risc0VerifierAddress": "0xf70aBAb028Eb6F4100A24B203E113D94E87DE93C",
     "alignedAggregatorAddress": "<aligned_aggregator_address>"
   },
   "permissions": {

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

@@ -1,6 +1,7 @@
 {
   "address": {
     "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "risc0VerifierAddress": "0xf70aBAb028Eb6F4100A24B203E113D94E87DE93C",
     "alignedAggregatorAddress": "<aligned_aggregator_address>"
   },
   "permissions": {

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

@@ -1,6 +1,7 @@
 {
   "address": {
     "sp1VerifierAddress": "0x397A5f7f3dBd538f23DE225B51f532c34448dA9B",
+    "risc0VerifierAddress": "0xf70aBAb028Eb6F4100A24B203E113D94E87DE93C",
     "alignedAggregatorAddress": "<aligned_aggregator_address>"
   },
   "permissions": {

contracts/script/output/devnet/alignedlayer_deployment_output.json

@@ -19,7 +19,7 @@
   },
   "chainInfo": {
     "chainId": 31337,
-    "deploymentBlock": 3
+    "deploymentBlock": 4
   },
   "permissions": {
     "alignedLayerAggregator": "0x15d34AAf54267DB7D7c367839AAf71A00a2C6A65",

contracts/scripts/anvil/deploy_aligned_contracts.sh

@@ -72,7 +72,8 @@ forge script script/deploy/AlignedProofAggregationServiceDeployer.s.sol \
     --rpc-url "http://localhost:8545" \
     --private-key "0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80" \
     --broadcast \
-    --sig "run(string configPath, string outputPath)"
+    --sig "run(string configPath, string outputPath)" \
+    --via-ir
 
 # Deploy proof aggregation service contract with Mocked Verifier
 forge script script/deploy/AlignedProofAggregationServiceDeployer.s.sol \
@@ -81,7 +82,8 @@ forge script script/deploy/AlignedProofAggregationServiceDeployer.s.sol \
     --rpc-url "http://localhost:8545" \
     --private-key "0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80" \
     --broadcast \
-    --sig "run(string configPath, string outputPath)"
+    --sig "run(string configPath, string outputPath)" \
+    --via-ir
 
 # Kill the anvil process to save state
 pkill anvil

contracts/scripts/anvil/deploy_risc0_contracts.sh

@@ -0,0 +1,28 @@
+#!/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 tests/integration
+cd "$parent_path"
+
+# Start an empty anvil chain in the background and dump its state to a json file upon exit
+anvil --load-state state/eigenlayer-deployed-anvil-state.json --dump-state state/risc0-deployed-anvil-state.json &
+
+# cd to /contracts
+cd ../../
+
+sleep 1
+
+export CHAINS='DEVNET'
+export RPC_DEVNET='http://localhost:8545'
+
+# Anvil account #2
+export DEPLOYER_PRIVATE_KEY='0x5de4111afa1a4b94908f83103eb1f1706367c2e68ca870fc3fb9a804cdab365a'
+
+forge script script/deploy/Risc0Groth16VerifierDeployer.s.sol:Risc0VerifierRouterDeployer \
+    --rpc-url $RPC_DEVNET \
+    --private-key $DEPLOYER_PRIVATE_KEY \
+    --broadcast
+
+# Kill the anvil process to save state
+pkill anvil