feat(CHAIN-3336): add Rust bindings and reorganize bindings directory

.github/workflows/test.yml

@@ -59,6 +59,12 @@ jobs:
           just semver-lock-no-build
           git diff --exit-code snapshots/semver-lock.json
 
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Check Rust bindings
+        run: just bindings-check
+
       - name: Run Forge tests
         run: just test
         id: test

.gitignore

@@ -1,6 +1,9 @@
 # Artifacts and Cache
 artifacts
+!bindings/rust/artifacts/
 forge-artifacts
+target
+Cargo.lock
 cache
 broadcast
 kout-proofs
@@ -44,5 +47,8 @@ deploy-config/getting-started.json
 # IDE
 /.idea/
 
+# Foundry
+foundry.lock
+
 # OS
 .DS_Store

Makefile

@@ -18,7 +18,10 @@ deps: clean-lib
 		github.com/OpenZeppelin/openzeppelin-contracts-upgradeable@0a2cb9a445c365870ed7a8ab461b12acf3e27d63 \
 		github.com/transmissions11/solmate@8f9b23f8838670afda0fd8983f2c41e8037ae6bc \
 		github.com/safe-global/safe-contracts@bf943f80fec5ac647159d26161446ac5d716a294 \
-		github.com/Vectorized/solady@502cc1ea718e6fa73b380635ee0868b0740595f0
+		github.com/Vectorized/solady@502cc1ea718e6fa73b380635ee0868b0740595f0 \
+		github.com/base/nitro-validator@0f006d2075637dd9640e530c4a7065f5c8bb2132 \
+		github.com/base/op-enclave@a2d5398f04c3a8e4df929d58ee638ba4a037bfec \
+		github.com/automata-network/aws-nitro-enclave-attestation@10fe7be8d9840490f5655e4b2a2aba3a95ec88c1
 	forge install --no-git \
 		github.com/ethereum-optimism/superchain-registry@84bce73573f130008d84bae6e924163bab589a11
 	@# openzeppelin-contracts-v5 and solady-v0.0.245 use the same orgs as their

bindings/go.mod → bindings/go/go.mod

@@ -1,4 +1,4 @@
-module github.com/base/contracts/bindings
+module github.com/base/contracts/bindings/go
 
 go 1.23.0
 

bindings/rust/Cargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "base-contracts-bindings"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+alloy-contract = "1.5.0"
+alloy-sol-types = { version = "1.5.0", features = ["json"] }

bindings/rust/src/lib.rs

@@ -0,0 +1 @@
+

deploy-config/hardhat.json

@@ -72,5 +72,15 @@
   "gasPayingTokenName": "",
   "gasPayingTokenSymbol": "",
   "nativeAssetLiquidityAmount": null,
-  "liquidityControllerOwner": "0x9965507D1a55bcC2695C58ba16FB37d819B0A4dc"
+  "liquidityControllerOwner": "0x9965507D1a55bcC2695C58ba16FB37d819B0A4dc",
+  "teeImageHash": "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "multiproofConfigHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "multiproofGameType": 621,
+  "teeProposer": "0x9965507D1a55bcC2695C58ba16FB37d819B0A4dc",
+  "nitroEnclaveVerifier": "0x0000000000000000000000000000000000000000",
+  "multiproofGenesisOutputRoot": "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "multiproofGenesisBlockNumber": 0,
+  "multiproofBlockInterval": 100,
+  "multiproofIntermediateBlockInterval": 10,
+  "multiproofProofThreshold": 1
 }

deploy-config/sepolia.json

@@ -64,5 +64,15 @@
   "gasPayingTokenName": "",
   "gasPayingTokenSymbol": "",
   "nativeAssetLiquidityAmount": null,
-  "liquidityControllerOwner": "0xfd1D2e729aE8eEe2E146c033bf4400fE75284301"
+  "liquidityControllerOwner": "0xfd1D2e729aE8eEe2E146c033bf4400fE75284301",
+  "teeImageHash": "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "multiproofConfigHash": "0x12e9c45f19f9817c6d4385fad29e7a70c355502cf0883e76a9a7e478a85d1360",
+  "multiproofGameType": 621,
+  "teeProposer": "0xb28E6890Cffa969dA9851c1BF1Ac34B76EbFEe98",
+  "nitroEnclaveVerifier": "0x0000000000000000000000000000000000000000",
+  "multiproofGenesisOutputRoot": "0xbc273d5876d1858ecd5aaf4ce4eaf16c73f0187ca4271b774ed5da7d2254ba79",
+  "multiproofGenesisBlockNumber": 37223829,
+  "multiproofBlockInterval": 100,
+  "multiproofIntermediateBlockInterval": 10,
+  "multiproofProofThreshold": 1
 }

deployments/11155111-dev-no-nitro.json

@@ -0,0 +1 @@
+{"TEEProverRegistry":"0x8897f8E1379C7548caE146e0ee26f6b1108A8570","TEEVerifier":"0xB319EA8fAac05BB01ABcce3671BC66c5A1f9A077","DisputeGameFactory":"0xF2e2f5F97e1aE0899924bE4Dd1D1795052Ea7551","AnchorStateRegistry":"0x59C17E560057A1cF2327E6Be35b070E46e4EC8b4","DelayedWETH":"0xD455276eF429eE495d91567BF3e78066bdfAc2b8","AggregateVerifier":"0x3EE78cfac34D7Cbe49D35B901B354272d2084951"}

foundry.toml

@@ -21,6 +21,7 @@ additional_compiler_profiles = [
   { name = "dispute", optimizer_runs = 5000 },
 ]
 compilation_restrictions = [
+  { paths = "src/dispute/DisputeGameFactory.sol", optimizer_runs = 5000 },
   { paths = "src/dispute/FaultDisputeGame.sol", optimizer_runs = 5000 },
   { paths = "src/dispute/v2/FaultDisputeGameV2.sol", optimizer_runs = 5000 },
   { paths = "src/dispute/PermissionedDisputeGame.sol", optimizer_runs = 5000 },
@@ -29,7 +30,15 @@ compilation_restrictions = [
   { paths = "src/L1/OPContractsManager.sol", optimizer_runs = 5000 },
   { paths = "src/L1/OPContractsManagerStandardValidator.sol", optimizer_runs = 5000 },
   { paths = "src/L1/OptimismPortal2.sol", optimizer_runs = 5000 },
-  { paths = "src/L1/ProtocolVersions.sol", optimizer_runs = 5000 }
+  { paths = "src/L1/ProtocolVersions.sol", optimizer_runs = 5000 },
+  { paths = "src/L1/SystemConfig.sol", optimizer_runs = 5000 },
+  { paths = "src/universal/OptimismMintableERC20Factory.sol", optimizer_runs = 5000 },
+  { paths = "src/dispute/AnchorStateRegistry.sol", optimizer_runs = 5000 },
+  { paths = "src/dispute/DelayedWETH.sol", optimizer_runs = 5000 },
+  { paths = "src/universal/ProxyAdmin.sol", optimizer_runs = 5000 },
+  { paths = "src/universal/Proxy.sol", optimizer_runs = 5000 },
+  { paths = "src/L2/OptimismMintableERC721.sol", optimizer_runs = 5000 },
+  { paths = "src/L2/OptimismMintableERC721Factory.sol", optimizer_runs = 5000 },
 ]
 
 extra_output = ['devdoc', 'userdoc', 'metadata', 'storageLayout']
@@ -43,6 +52,7 @@ remappings = [
   '@openzeppelin/contracts-v5/=lib/openzeppelin-contracts-v5/contracts',
   '@rari-capital/solmate/=lib/solmate',
   '@lib-keccak/=lib/lib-keccak/contracts/lib',
+  'solady/=lib/solady/src/',
   '@solady/=lib/solady/src',
   '@solady-v0.0.245/=lib/solady-v0.0.245/src',
   'forge-std/=lib/forge-std/src',
@@ -153,6 +163,7 @@ additional_compiler_profiles = [
   { name = "dispute", optimizer_runs = 0 },
 ]
 compilation_restrictions = [
+  { paths = "src/dispute/DisputeGameFactory.sol", optimizer_runs = 0 },
   { paths = "src/dispute/FaultDisputeGame.sol", optimizer_runs = 0 },
   { paths = "src/dispute/v2/FaultDisputeGameV2.sol", optimizer_runs = 0 },
   { paths = "src/dispute/PermissionedDisputeGame.sol", optimizer_runs = 0 },
@@ -162,6 +173,14 @@ compilation_restrictions = [
   { paths = "src/L1/OPContractsManagerStandardValidator.sol", optimizer_runs = 0 },
   { paths = "src/L1/OptimismPortal2.sol", optimizer_runs = 0 },
   { paths = "src/L1/ProtocolVersions.sol", optimizer_runs = 0 },
+  { paths = "src/L1/SystemConfig.sol", optimizer_runs = 0 },
+  { paths = "src/universal/OptimismMintableERC20Factory.sol", optimizer_runs = 0 },
+  { paths = "src/dispute/AnchorStateRegistry.sol", optimizer_runs = 0 },
+  { paths = "src/dispute/DelayedWETH.sol", optimizer_runs = 0 },
+  { paths = "src/universal/ProxyAdmin.sol", optimizer_runs = 0 },
+  { paths = "src/universal/Proxy.sol", optimizer_runs = 0 },
+  { paths = "src/L2/OptimismMintableERC721.sol", optimizer_runs = 0 },
+  { paths = "src/L2/OptimismMintableERC721Factory.sol", optimizer_runs = 0 },
 ]
 
 ################################################################

interfaces/dispute/IDisputeGameFactory.sol

@@ -34,6 +34,15 @@ interface IDisputeGameFactory is IProxyAdminOwnedBase, IReinitializableBase {
         external
         payable
         returns (IDisputeGame proxy_);
+    function createWithInitData(
+        GameType _gameType,
+        Claim _rootClaim,
+        bytes memory _extraData,
+        bytes memory initData
+    )
+        external
+        payable
+        returns (IDisputeGame proxy_);
     function findLatestGames(
         GameType _gameType,
         uint256 _start,

interfaces/dispute/IInitializable.sol

@@ -3,4 +3,5 @@ pragma solidity ^0.8.0;
 
 interface IInitializable {
     function initialize() external payable;
+    function initializeWithInitData(bytes calldata initData) external payable;
 }

interfaces/multiproof/IVerifier.sol

@@ -0,0 +1,16 @@
+// SPDX-License-Identifier: MIT
+pragma solidity 0.8.15;
+
+interface IVerifier {
+    /// @notice Verifies a proof.
+    /// @param proofBytes The proof.
+    /// @param imageId The image ID.
+    /// @param journal The journal.
+    /// @return valid Whether the proof is valid.
+    function verify(bytes calldata proofBytes, bytes32 imageId, bytes32 journal) external view returns (bool);
+
+    /// @notice Nullifies the prover to prevent further proof verification.
+    /// @dev Should only occur if a soundness issue is found.
+    /// @dev Should only be callable by a proper dispute game.
+    function nullify() external;
+}