L1 to L2 msg

0x-stan · 0x-stan · commit 4c7ec3a729c7 · 2022-05-19T22:23:26.000+08:00
diff --git a/basic/26-quadratic-vote&gitcoin/hardhat.config.js b/basic/26-quadratic-vote&gitcoin/hardhat.config.js
@@ -34,25 +34,25 @@ module.exports = {
       */
     },
     rinkeby: {
-      url: "https://rinkeby.infura.io/v3/0aae8358bfe04803b8e75bb4755eaf07", //<---- YOUR INFURA ID! (or it won't work)
+      url: `https://rinkeby.infura.io/v3/${process.env.INFURA_ID}`, //<---- YOUR INFURA ID! (or it won't work)
       accounts: [
         mnemonic()
       ],
     },
     kovan: {
-      url: "https://kovan.infura.io/v3/0aae8358bfe04803b8e75bb4755eaf07", //<---- YOUR INFURA ID! (or it won't work)
+      url: `https://kovan.infura.io/v3/${process.env.INFURA_ID}`, //<---- YOUR INFURA ID! (or it won't work)
       accounts: [
         mnemonic()
       ],
     },
     mainnet: {
-      url: "https://mainnet.infura.io/v3/0aae8358bfe04803b8e75bb4755eaf07", //<---- YOUR INFURA ID! (or it won't work)
+      url: `https://mainnet.infura.io/v3/${process.env.INFURA_ID}`, //<---- YOUR INFURA ID! (or it won't work)
       accounts: [
         mnemonic()
       ],
     },
     ropsten: {
-      url: "https://ropsten.infura.io/v3/0aae8358bfe04803b8e75bb4755eaf07", //<---- YOUR INFURA ID! (or it won't work)
+      url: `https://ropsten.infura.io/v3/${process.env.INFURA_ID}`, //<---- YOUR INFURA ID! (or it won't work)
       accounts: [
         mnemonic()
       ],
diff --git a/basic/27-Arbitrum-layer2/README.md b/basic/27-Arbitrum-layer2/README.md
@@ -1,7 +1,5 @@
 # Arbitrum
 
-Arbitrum bridge：<https://bridge.arbitrum.io/>
-
 与 optimism 差别在于： 交互式证明挑战
 
 Optimism 的争议解决比 Arbitrum 更依赖于以太坊虚拟机 (EVM)。当有人提交关于 Optimism 的挑战时，**整个有问题的交易都通过 EVM 运行**。相比之下，**Arbitrum 使用链下争议解决流程将争议减少到一笔交易中的一个步骤**。然后，协议将这个一步断言（而不是整个交易）发送到 EVM 进行最终验证。因此，从概念上讲，Optimism 的争议解决过程比 Arbitrum 简单得多。
@@ -26,11 +24,13 @@ Optimism 的争议解决过程比 Arbitrum 更简单、更快捷，因为它只
 AVM 与 EVM 的不同：
 AVM 既支持执行交易，又支持证明（L1 合约相信某个断言是真的）
 
-## 开发
+## L1 to L2 messaging
+
+### Ethereum to Arbitrum: Retryable Tickets
 
-### L1 to L2 messaging
+Retryable tickets are the Arbitrum protocol’s canonical method for passing generalized messages from Ethereum to Arbitrum. A retryable ticket is an L2 message encoded and delivered by L1; if gas is provided, it will be executed immediately. If no gas is provided or the execution reverts, it will be placed in the L2 retry buffer, where any user can re-execute for some fixed period (roughly one week).
 
-<https://github.com/OffchainLabs/arbitrum-tutorials/tree/master/packages/greeter>
+- <https://github.com/OffchainLabs/arbitrum-tutorials/tree/master/packages/greeter>
 
 ### L2 to L1 messaging
 
@@ -47,6 +47,8 @@ https://developer.offchainlabs.com/docs/useful_addresses
 
 ## Quick Start
 
+### depoly SimpleToken
+
 - 安装依赖
 
   ```bash
@@ -77,6 +79,27 @@ https://developer.offchainlabs.com/docs/useful_addresses
   Token address: 0x...
   ```
 
+### L1 to L2
+
+```sh
+node ./scripts/L1toL2.js
+```
+
+output:
+
+```sh
+Arbitrum Demo: Cross-chain Greeter
+Lets
+Go ➡️
+...🚀
+
+Deploying L1 Greeter 👋
+deployed to 0x24b11e81B6477129f298e546c568C20e73b6DD5b
+Deploying L2 Greeter 👋👋
+deployed to 0x4998e921AC9Cd7ba3B2921aDA9dCedbDC1341465
+...
+```
+
 ## 参考链接
 
 - <https://developer.offchainlabs.com/docs/inside_arbitrum>
diff --git a/basic/27-Arbitrum-layer2/contracts/Greeter.sol b/basic/27-Arbitrum-layer2/contracts/Greeter.sol
@@ -0,0 +1,18 @@
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity >=0.6.11;
+
+contract Greeter {
+    string greeting;
+
+    constructor(string memory _greeting) public {
+        greeting = _greeting;
+    }
+
+    function greet() public view returns (string memory) {
+        return greeting;
+    }
+
+    function setGreeting(string memory _greeting) public virtual {
+        greeting = _greeting;
+    }
+}
diff --git a/basic/27-Arbitrum-layer2/contracts/GreeterL1.sol b/basic/27-Arbitrum-layer2/contracts/GreeterL1.sol
@@ -0,0 +1,60 @@
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity >=0.6.11;
+
+import "arb-bridge-eth/contracts/bridge/Inbox.sol";
+import "arb-bridge-eth/contracts/bridge/Outbox.sol";
+import "./Greeter.sol";
+
+contract GreeterL1 is Greeter {
+    address public l2Target;
+    IInbox public inbox;
+
+    event RetryableTicketCreated(uint256 indexed ticketId);
+
+    constructor(
+        string memory _greeting,
+        address _l2Target,
+        address _inbox
+    ) public Greeter(_greeting) {
+        l2Target = _l2Target;
+        inbox = IInbox(_inbox);
+    }
+
+    function updateL2Target(address _l2Target) public {
+        l2Target = _l2Target;
+    }
+
+    function setGreetingInL2(
+        string memory _greeting,
+        uint256 maxSubmissionCost,
+        uint256 maxGas,
+        uint256 gasPriceBid
+    ) public payable returns (uint256) {
+        bytes memory data = abi.encodeWithSelector(Greeter.setGreeting.selector, _greeting);
+        uint256 ticketID = inbox.createRetryableTicket{ value: msg.value }(
+            l2Target,
+            0,
+            maxSubmissionCost,
+            msg.sender,
+            msg.sender,
+            maxGas,
+            gasPriceBid,
+            data
+        );
+
+        emit RetryableTicketCreated(ticketID);
+        return ticketID;
+    }
+
+    /// @notice only l2Target can update greeting
+    function setGreeting(string memory _greeting) public override {
+        IBridge bridge = inbox.bridge();
+        // this prevents reentrancies on L2 to L1 txs
+        require(msg.sender == address(bridge), "NOT_BRIDGE");
+        IOutbox outbox = IOutbox(bridge.activeOutbox());
+        address l2Sender = outbox.l2ToL1Sender();
+        require(l2Sender == l2Target, "Greeting only updateable by L2");
+
+        Greeter.setGreeting(_greeting);
+    }
+}
diff --git a/basic/27-Arbitrum-layer2/contracts/GreeterL2.sol b/basic/27-Arbitrum-layer2/contracts/GreeterL2.sol
@@ -0,0 +1,40 @@
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity >=0.6.11;
+
+import "arbos-precompiles/arbos/builtin/ArbSys.sol";
+import "arb-bridge-eth/contracts/libraries/AddressAliasHelper.sol";
+import "./Greeter.sol";
+
+contract GreeterL2 is Greeter {
+    ArbSys constant arbsys = ArbSys(100);
+    address public l1Target;
+
+    event L2ToL1TxCreated(uint256 indexed withdrawalId);
+
+    constructor(string memory _greeting, address _l1Target) public Greeter(_greeting) {
+        l1Target = _l1Target;
+    }
+
+    function updateL1Target(address _l1Target) public {
+        l1Target = _l1Target;
+    }
+
+    function setGreetingInL1(string memory _greeting) public returns (uint256) {
+        bytes memory data = abi.encodeWithSelector(Greeter.setGreeting.selector, _greeting);
+
+        uint256 withdrawalId = arbsys.sendTxToL1(l1Target, data);
+
+        emit L2ToL1TxCreated(withdrawalId);
+        return withdrawalId;
+    }
+
+    /// @notice only l1Target can update greeting
+    function setGreeting(string memory _greeting) public override {
+        // To check that message came from L1, we check that the sender is the L1 contract's L2 alias.
+        require(
+            msg.sender == AddressAliasHelper.applyL1ToL2Alias(l1Target),
+            "Greeting only updateable by L1"
+        );
+        Greeter.setGreeting(_greeting);
+    }
+}
diff --git a/basic/27-Arbitrum-layer2/contracts/SimpleToken.sol b/basic/27-Arbitrum-layer2/contracts/SimpleToken.sol
@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.0;
 
-import "@openzeppelin/contracts/token/ERC20/presets/ERC20PresetMinterPauser.sol";
+import "@openzeppelin/contracts-0.8/token/ERC20/presets/ERC20PresetMinterPauser.sol";
 
 contract SimpleToken is ERC20PresetMinterPauser {
     /**
diff --git a/basic/27-Arbitrum-layer2/hardhat.config.js b/basic/27-Arbitrum-layer2/hardhat.config.js
@@ -23,7 +23,28 @@ function mnemonic() {
  * @type import('hardhat/config').HardhatUserConfig
  */
 module.exports = {
-  solidity: "0.8.7",
+  solidity: {
+    "compilers": [
+      {
+        "version": "0.6.11",
+        "settings": {
+          "optimizer": {
+            "enabled": true,
+            "runs": 100
+          }
+        }
+      },
+      {
+        "version": "0.8.7",
+        "settings": {
+          "optimizer": {
+            "enabled": true,
+            "runs": 100
+          }
+        }
+      }
+    ]
+  },
   networks: {
     localhost: {
       url: "http://localhost:8545",
@@ -33,6 +54,12 @@ module.exports = {
         (you can put in a mnemonic here to set the deployer locally)
       */
     },
+    rinkeby: {
+      url: `https://rinkeby.infura.io/v3/${process.env.INFURA_ID}`, //<---- YOUR INFURA ID! (or it won't work)
+      accounts: [
+        mnemonic()
+      ],
+    },
     arbitrum: {
       url: 'https://arb1.arbitrum.io/rpc',
       accounts: [
diff --git a/basic/27-Arbitrum-layer2/package.json b/basic/27-Arbitrum-layer2/package.json
@@ -1,7 +1,7 @@
 {
   "name": "27-Arbitrum-layer2",
   "version": "1.0.0",
-  "description": "Arbitrum bridge: https://bridge.arbitrum.io/",
+  "description": "",
   "main": "index.js",
   "scripts": {
     "test": "npx hardhat test"
@@ -14,9 +14,12 @@
     "hardhat": "^2.6.5"
   },
   "devDependencies": {
+    "@arbitrum/sdk": "^1.1.4",
     "@nomiclabs/hardhat-ethers": "^2.0.0",
     "@nomiclabs/hardhat-waffle": "^2.0.0",
-    "@openzeppelin/contracts": "^4.6.0",
+    "arb-bridge-eth": "^0.7.7",
+    "arb-shared-dependencies": "^1.0.0",
+    "arbos-precompiles": "^1.0.2",
     "chai": "^4.2.0",
     "ethereum-waffle": "^3.0.0",
     "ethers": "^5.0.0"
diff --git a/basic/27-Arbitrum-layer2/scripts/L1toL2.js b/basic/27-Arbitrum-layer2/scripts/L1toL2.js
