Add zk fault proof contracts

.gitmodules

@@ -26,3 +26,6 @@
 [submodule "packages/contracts-bedrock/lib/automate"]
 	path = packages/contracts-bedrock/lib/automate
 	url = https://github.com/gelatodigital/automate
+[submodule "packages/contracts-bedrock/lib/sp1-contracts"]
+	path = packages/contracts-bedrock/lib/sp1-contracts
+	url = https://github.com/lightning-li/sp1-contracts

packages/contracts-bedrock/deploy-config/hardhat.json

@@ -62,5 +62,10 @@
   "daChallengeWindow": 100,
   "daResolveWindow": 100,
   "daBondSize": 1000,
-  "daResolverRefundPercentage": 50
+  "daResolverRefundPercentage": 50,
+  "blockDistance": 3,
+  "aggregationVkey": "0x0006a81df67f2d5e48048edd5c051a5be0ef9720a2ce130f12f7021256160e73",
+  "rangeVkeyCommitment": "0x5030974a2d74c494158e4af45836d72e2e0acae55f0f22d73c22bde90c1d6d98",
+  "sp1VerifierGateway": "0x51d3960c929B27Db3f041eA3c3aD4fF3c2A121C7",
+  "rollupConfigHash": "0x0b9b35ba1f4265979a10dea49f5501f81b3729b2856165574b1661323678e778"
 }

packages/contracts-bedrock/deployments/97-deploy.json

@@ -0,0 +1,36 @@
+{
+  "AddressManager": "0x2e234DAe75C793f67A35089C9d99245E1C58470b",
+  "AnchorStateRegistry": "0x03D97F75CF5cE8986dc4fF531047AF2D52631aBE",
+  "AnchorStateRegistryProxy": "0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6",
+  "DelayedWETH": "0x7dB36fC81A5197f84BDc88C9B1237A0fca492Cf4",
+  "DelayedWETHProxy": "0x756e0562323ADcDA4430d6cb456d9151f605290B",
+  "DisputeGameFactory": "0xc1B724FAe275423BE62006d7711b4435C31a3Fa2",
+  "DisputeGameFactoryProxy": "0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240",
+  "L1CrossDomainMessenger": "0x9c0A33f6b1c5d574a6327101c597b0e792a4DC05",
+  "L1CrossDomainMessengerProxy": "0xD16d567549A2a2a2005aEACf7fB193851603dd70",
+  "L1ERC721Bridge": "0xF9A2bc3F5DA471245c57da74cfCF6Cdf5fb8040F",
+  "L1ERC721BridgeProxy": "0x13aa49bAc059d709dd0a18D6bb63290076a702D7",
+  "L1StandardBridge": "0x7ad421ef511CB1D0060fC90BBccCcf5735632f74",
+  "L1StandardBridgeProxy": "0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7",
+  "L2OutputOracle": "0x451CEA9b04c58DBC5770c1b1455a67440111b35f",
+  "L2OutputOracleProxy": "0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f",
+  "Mips": "0x71Fb6e45FA9D2396ffc32cd8605141d1af7ab957",
+  "OptimismMintableERC20Factory": "0x13E136063f4699eBf276c66125f8eA02adaB4F77",
+  "OptimismMintableERC20FactoryProxy": "0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758",
+  "OptimismPortal": "0x1fF359e524EB80A26D1D63D580B223f53120c65B",
+  "OptimismPortal2": "0x956486516159D5fDfAC9ee63759676A033A5bC88",
+  "OptimismPortalProxy": "0x212224D2F2d262cd093eE13240ca4873fcCBbA3C",
+  "PreimageOracle": "0x194C0E304fCA9281698112f40438bcb0D9F82544",
+  "ProtocolVersions": "0x3cea74C40CB33ae630e130516097cDd0cd06Cb5E",
+  "ProtocolVersionsProxy": "0x03A6a84cD762D9707A21605b548aaaB891562aAb",
+  "ProxyAdmin": "0xF62849F9A0B5Bf2913b396098F7c7019b51A820a",
+  "SafeProxyFactory": "0xa6B71E26C5e0845f74c812102Ca7114b6a896AB2",
+  "SafeSingleton": "0xd9Db270c1B5E3Bd161E8c8503c55cEABeE709552",
+  "SuperchainConfig": "0x9Fd48Cb6F987Cc0CbEC82A870C51Ec54cA16e599",
+  "SuperchainConfigProxy": "0xa0Cb889707d426A7A386870A03bc70d1b0697598",
+  "SystemConfig": "0xcC02cfD0D02e17d2805485f6878aFeE5da00A028",
+  "SystemConfigProxy": "0x2a07706473244BC757E10F2a9E86fB532828afe3",
+  "SystemOwnerSafe": "0xf82F7e298c13195A73c702625D49a1BD739cFaaF",
+  "ZkFaultProofConfig": "0xD384139842Cfff55fB7dC930e782cc09139a1cEe",
+  "ZkFaultProofConfigProxy": "0xe8dc788818033232EF9772CB2e6622F1Ec8bc840"
+}

packages/contracts-bedrock/foundry.toml

@@ -16,6 +16,7 @@ remappings = [
   '@rari-capital/solmate/=lib/solmate',
   '@lib-keccak/=lib/lib-keccak/contracts/lib',
   '@solady/=lib/solady/src',
+  "@sp1-contracts/=lib/sp1-contracts/contracts/",
   'forge-std/=lib/forge-std/src',
   'ds-test/=lib/forge-std/lib/ds-test/src',
   'safe-contracts/=lib/safe-contracts/contracts',

packages/contracts-bedrock/scripts/Deploy.s.sol

@@ -38,6 +38,7 @@ import { FaultDisputeGame } from "src/dispute/FaultDisputeGame.sol";
 import { PermissionedDisputeGame } from "src/dispute/PermissionedDisputeGame.sol";
 import { DelayedWETH } from "src/dispute/weth/DelayedWETH.sol";
 import { AnchorStateRegistry } from "src/dispute/AnchorStateRegistry.sol";
+import { ZkFaultProofConfig } from "src/dispute/ZkFaultProofConfig.sol";
 import { PreimageOracle } from "src/cannon/PreimageOracle.sol";
 import { MIPS } from "src/cannon/MIPS.sol";
 import { L1ERC721Bridge } from "src/L1/L1ERC721Bridge.sol";
@@ -58,6 +59,9 @@ import { EIP1967Helper } from "test/mocks/EIP1967Helper.sol";
 import { ForgeArtifacts } from "scripts/ForgeArtifacts.sol";
 import { Process } from "scripts/libraries/Process.sol";
 
+import { SP1VerifierGateway } from "sp1-contracts/src/SP1VerifierGateway.sol";
+import { SP1Verifier } from "sp1-contracts/src/v3.0.0-rc4/SP1VerifierPlonk.sol";
+
 /// @title Deploy
 /// @notice Script used to deploy a bedrock system. The entire system is deployed within the `run` function.
 ///         To add a new contract to the system, add a public function that deploys that individual contract.
@@ -152,6 +156,7 @@ contract Deploy is Deployer {
             DisputeGameFactory: mustGetAddress("DisputeGameFactoryProxy"),
             DelayedWETH: mustGetAddress("DelayedWETHProxy"),
             AnchorStateRegistry: mustGetAddress("AnchorStateRegistryProxy"),
+            ZkFaultProofConfig: mustGetAddress("ZkFaultProofConfigProxy"),
             OptimismMintableERC20Factory: mustGetAddress("OptimismMintableERC20FactoryProxy"),
             OptimismPortal: mustGetAddress("OptimismPortalProxy"),
             OptimismPortal2: mustGetAddress("OptimismPortalProxy"),
@@ -171,6 +176,7 @@ contract Deploy is Deployer {
             DisputeGameFactory: getAddress("DisputeGameFactoryProxy"),
             DelayedWETH: getAddress("DelayedWETHProxy"),
             AnchorStateRegistry: getAddress("AnchorStateRegistryProxy"),
+            ZkFaultProofConfig: getAddress("ZkFaultProofConfigProxy"),
             OptimismMintableERC20Factory: getAddress("OptimismMintableERC20FactoryProxy"),
             OptimismPortal: getAddress("OptimismPortalProxy"),
             OptimismPortal2: getAddress("OptimismPortalProxy"),
@@ -370,6 +376,7 @@ contract Deploy is Deployer {
         deployERC1967Proxy("L2OutputOracleProxy");
         deployERC1967Proxy("DelayedWETHProxy");
         deployERC1967Proxy("AnchorStateRegistryProxy");
+        deployERC1967Proxy("ZkFaultProofConfigProxy");
 
         transferAddressManagerOwnership(); // to the ProxyAdmin
     }
@@ -392,6 +399,8 @@ contract Deploy is Deployer {
         deployPreimageOracle();
         deployMips();
         deployAnchorStateRegistry();
+        deployZkFaultProofConfig();
+        deploySp1VerifierSuite();
     }
 
     /// @notice Initialize all of the implementations
@@ -415,6 +424,7 @@ contract Deploy is Deployer {
         initializeDisputeGameFactory();
         initializeDelayedWETH();
         initializeAnchorStateRegistry();
+        initializeZkFaultProofConfig();
     }
 
     /// @notice Add Plasma setup to the OP chain
@@ -813,6 +823,29 @@ contract Deploy is Deployer {
         addr_ = address(anchorStateRegistry);
     }
 
+    function deployZkFaultProofConfig() public broadcast returns (address addr_) {
+        console.log("Deploying ZkFaultProofConfig implementation");
+        ZkFaultProofConfig config = new ZkFaultProofConfig{ salt: _implSalt() }();
+        save("ZkFaultProofConfig", address(config));
+        console.log("ZkFaultProofConfig deployed at %s", address(config));
+
+        addr_ = address(config);
+    }
+
+    function deploySp1VerifierSuite() public broadcast returns (address addr_) {
+        console.log("Deploying SP1VerifierGateway implementation");
+        SP1VerifierGateway suite = new SP1VerifierGateway();
+        save("SP1VerifierGateway", address(suite));
+        console.log("SP1VerifierGateway deployed at %s", address(suite));
+
+
+        addr_ = address(suite);
+        console.log("Deploying PlonkVerifier implementation");
+
+        address verifier = address(new SP1Verifier());
+        suite.addRoute(verifier);
+    }
+
     /// @notice Deploy the SystemConfig
     function deploySystemConfig() public broadcast returns (address addr_) {
         console.log("Deploying SystemConfig implementation");
@@ -957,7 +990,7 @@ contract Deploy is Deployer {
         address anchorStateRegistryProxy = mustGetAddress("AnchorStateRegistryProxy");
         address anchorStateRegistry = mustGetAddress("AnchorStateRegistry");
 
-        AnchorStateRegistry.StartingAnchorRoot[] memory roots = new AnchorStateRegistry.StartingAnchorRoot[](5);
+        AnchorStateRegistry.StartingAnchorRoot[] memory roots = new AnchorStateRegistry.StartingAnchorRoot[](6);
         roots[0] = AnchorStateRegistry.StartingAnchorRoot({
             gameType: GameTypes.CANNON,
             outputRoot: OutputRoot({
@@ -987,6 +1020,13 @@ contract Deploy is Deployer {
             })
         });
         roots[4] = AnchorStateRegistry.StartingAnchorRoot({
+            gameType: GameTypes.ZKFAULT,
+            outputRoot: OutputRoot({
+                root: Hash.wrap(cfg.faultGameGenesisOutputRoot()),
+                l2BlockNumber: cfg.faultGameGenesisBlock()
+            })
+        });
+        roots[5] = AnchorStateRegistry.StartingAnchorRoot({
             gameType: GameTypes.FAST,
             outputRoot: OutputRoot({
                 root: Hash.wrap(cfg.faultGameGenesisOutputRoot()),
@@ -1004,6 +1044,30 @@ contract Deploy is Deployer {
         console.log("AnchorStateRegistry version: %s", version);
     }
 
+    function initializeZkFaultProofConfig() public broadcast {
+        console.log("Upgrading and initializing ZkFaultProofConfig proxy");
+        address zkFaultProofConfigProxy = mustGetAddress("ZkFaultProofConfigProxy");
+        address zkFaultProofConfig = mustGetAddress("ZkFaultProofConfig");
+        address sp1VerifierGateway = mustGetAddress("SP1VerifierGateway");
+
+        _upgradeAndCallViaSafe({
+            _proxy: payable(zkFaultProofConfigProxy),
+            _implementation: zkFaultProofConfig,
+            _innerCallData: abi.encodeCall(ZkFaultProofConfig.initialize, (
+                cfg.finalSystemOwner(),
+                cfg.blockDistance(),
+                cfg.l2ChainID(),
+                cfg.aggregationVkey(),
+                cfg.rangeVkeyCommitment(),
+                sp1VerifierGateway,
+                cfg.rollupConfigHash()
+            ))
+        });
+
+        string memory version = ZkFaultProofConfig(payable(zkFaultProofConfigProxy)).version();
+        console.log("ZkFaultProofConfig version: %s", version);
+    }
+
     /// @notice Initialize the SystemConfig
     function initializeSystemConfig() public broadcast {
         console.log("Upgrading and initializing SystemConfig proxy");

packages/contracts-bedrock/scripts/DeployConfig.s.sol

@@ -75,6 +75,11 @@ contract DeployConfig is Script {
     uint256 public daResolveWindow;
     uint256 public daBondSize;
     uint256 public daResolverRefundPercentage;
+    uint256 public blockDistance;
+    bytes32 public aggregationVkey;
+    bytes32 public rangeVkeyCommitment;
+    address public sp1VerifierGateway;
+    bytes32 public rollupConfigHash;
 
     bool public useCustomGasToken;
     address public customGasTokenAddress;
@@ -155,6 +160,12 @@ contract DeployConfig is Script {
         daBondSize = _readOr(_json, "$.daBondSize", 1000000000);
         daResolverRefundPercentage = _readOr(_json, "$.daResolverRefundPercentage", 0);
 
+        blockDistance = stdJson.readUint(_json, "$.blockDistance");
+        aggregationVkey = stdJson.readBytes32(_json, "$.aggregationVkey");
+        rangeVkeyCommitment = stdJson.readBytes32(_json, "$.rangeVkeyCommitment");
+        sp1VerifierGateway = stdJson.readAddress(_json, "$.sp1VerifierGateway");
+        rollupConfigHash = stdJson.readBytes32(_json, "$.rollupConfigHash");
+
         useCustomGasToken = _readOr(_json, "$.useCustomGasToken", false);
         customGasTokenAddress = _readOr(_json, "$.customGasTokenAddress", address(0));