關於 ethereum bridge ，我們在網路上蒐集到這些相關的討論、資訊與評價

📜 [專欄新文章] [zkp 讀書會] Cairo 語言介紹

✍️ NIC Lin

📥 歡迎投稿： https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium

Cairo 是 STARK 證明系統的其中一個編程語言，讓開發者能透過 Cairo 來使用 STARK，撰寫效能更高的 Dapp

Photo by Simon Berger on Unsplash

Warning：本篇會保持在 high level 的介紹，實際深入的部分請見文內附上的文檔或是官方開發者文件

背景介紹

建構於密碼學的零知識證明能提供計算的隱私性，但同時在區塊鏈生態系也被用來提升 Scalability — 我可以用 10 秒的運算資源來驗證原本耗費 1000 秒運算資源的計算過程

如同更多人熟悉的 SNARK，STARK 也是一個零知識證明的證明系統，但當前的 STARK 著重的是在 Scalability ，而非大家比較習以為常零知識證明提供的隱私性特質

其實目前基於 SNARK 的 Rollup 項目，例如 zkSync、Loopring、Aztec、zkopru，除了 Aztec 外，其他都是利用 SNARK 來增加 Scalability — 這些 Rollup 上資料都還是公開、沒有隱私性的

StarkWare 是目前唯一基於 STARK 的開發團隊

STARK 要加上隱私保護不會太難，只是 StarkWare 還沒有把這項功能放在未來規劃中

Cairo 簡介

標榜為圖靈完備的零知識證明系統語言，Cairo 對原本熟悉 Solidity 的開發者來說還是會感到比較難上手和陌生的。再加上套件庫還不夠充足，目前支援的雜湊函式是 Pedersen，數位簽章演算法是 ECDSA（相對於 SNARK，EdDSA 的效能反而比較差所以沒有支援）。
但 Cairo 還在早期開發的階段，相信開發體驗會越來越好的。

另外需要注意的是作為一個證明系統，會有 Prover 和 Verifier 的角色。而 STARK 的 Verifier 是公開的，但 Prover 軟體預計會有 License 保護。Prover 一般情況下不得用於商業用途，除非將 proof 上傳至官方的 Verifier。

最後要提及的是，第一版的 Cairo 是設計來方便開發者將 Dapp 的運算遷移至鏈下。不同於 Rollup，這個鏈下只會有它自己一個 Dapp。這個 Dapp 的項目方自己維護自己 Dapp 的 state。（ Rollup 則是 operator 維護所有 Dapp 的 state，Dapp 開發者不需自己操煩）
這可能有點難懂。如果你有在寫 Solidity，想像一下今天你在合約要用到合約裡宣告的 storage 變數時，你要自己提供 merkle proof 上來，證明這個storage 變數真的是這個值。這個就是開發者要自己維護 state 的意思。

而第二版的 Cairo 則是 StarkNet 裡使用的 Cairo（第一和第二版是不同編譯器），這版的 Cairo 就是作為 Dapp 在 Rollup 開發所使用 — 開發者可以在合約裡宣告變數，變數的值不需開發者維護，可以直接假設存在。
註1：StarkWare 不喜歡 Rollup 這個詞，他們覺得 Data Availability 的需求是一段光譜：不一定得要把 data 全都送上 L1，中間有其他方式可以做不同層級的 Data Availability。
註2：第一版和第二版實際上在官方版本裡是 0.0.1 及 0.0.2，在撰文當前最新版即是 0.0.2

官方網站：https://www.cairo-lang.org
開發者文件：https://www.cairo-lang.org/docs/

開發環境

Cairo 有提供像是 Remix 的瀏覽器 IDE：playground。裡面提供各種範例練習和挑戰，除了可以編譯，還可以直接生成並上傳 proof。
註：但有些功能還是沒辦法在 playground 裡使用，例如要給你的程式 custom input 時。這時候只能在本地端開發才能使用這個功能。

開發 Cairo 要先安裝python，我將開發者文件整理出來的資料統整在這個 hackmd 文檔裡：https://hackmd.io/w690dpAQTsKeKZv3oikzTQ
裡面包含簡介、設置本地開發環境以及 Cairo 基礎（因為篇幅原因，所以不將內容複製到這裡）
註：我把開發者文件裡的代碼整理到這裡：https://github.com/NIC619/cairo_practice/tree/master/practices
如果不想在研究開發者文件過程中，還要自己手動拼湊裡面例子的話，可以直接用整理好的代碼來執行。同時 repo 裡還有包含一些額外自己測試 Cairo 功能的範例。

深入 Cairo

在那份 hackmd 文檔裡的開頭，可以連結到第二部分 — 深入 Cairo 的部分。裡面也是從開發者文件裡擷取出來我覺得比較重要的部分。如果你要讀開發者文件的話，我建議從 Hello Cairo 開始，它會從例子切入，會比較好知道 Cairo 怎麼使用。接著如果要更深入了解，再去讀 How Cairo Works。

StarkNet Cairo

第二版的 Cairo 其實功能和第一版的 Cairo 是差不多的，所以不必擔心在開發者文件裡學到的 Cairo 在 StarkNet 版本會不能用或差很多。在讀完 Hello Cairo/How Cairo works 後，就可以接著看 Hello StarkNet。會很順利的切換到 StarkNet 版本的 Cairo。
註1：我整理的文檔裡是按照第一版 Cairo 所寫的
註2：如果你從開發者文件一路看下來，體驗過非 StarkNet 版的 Cairo，那你在體驗 StarkNet 版的 Cairo 時一定會發現這更像一般智能合約的使用方式 — 你可以用 view 函式查詢 storage 變數，可以用 external 函式去執行合約（非 StarkNet 版本不是這樣操作 Dapp 的，這邊因為篇幅原因沒有詳細介紹）。

非常建議嘗試兩種版本的 Cairo，你會知道 1. 操作一個單獨在 L2 的 Dapp 和2. 操作與其他 Dapp 共存在 Rollup 上的 Dapp 的不同。這對了解 L2 怎麼運行、需要哪些資料、為什麼需要這些資料非常有幫助。

0.0.2 版的 StarkNet Cairo 目前還缺少一些功能：

函式還沒辦法宣告陣列或 struct 型態的參數

合約和合約之間還沒辦法互動

L1 沒有辦法讀取到 L2 的資料，L2 也沒辦法讀取到 L1 的資料。如果要建立跨 L2 Bridge，這個功能非常重要。

補充及個人心得

STARK 的 proof size 相比於 SNARK 系列的 proof size 大很多，又其證明所包含的交易數量對 proof size 和驗證時間的影響不大，所以把很多筆交易一併做一個 proof 會是對 STARK 非常有利、節省成本的方式（SNARK、STARK 比較表）。但這同時也是一個缺點，如果你的 Dapp 或 Rollup 的 TPS 不高，那就只能等更久時間搜集多一點的交易，要不然就只能提高成本來維持驗證 proof 的頻率。

StarkWare和 zkSync 一樣都有 Rollup 宇宙的概念（ Rollup 宇宙的用詞並不精確，因為在他們的宇宙中不會所有子鏈都是 Rollup，而是會有依照 Data Availability 程度不同所區分的子鏈，像是 Validium、zk Porter 的設計），個人覺得能夠有（針對 Data Availability 程度的）選擇是會比只有一個選擇（完全 Data Available） 還好的方式，但實際上的可行性就要等其團隊釋出更多的資訊。

在 Rollup 越趨成熟的情況下，能夠提供快速跨 Rollup 服務的流動性提供者的角色會越來越重要。zk Rollup（StarkNet、zkSync、etc…）比 Optimistic Rollup （Optimism、Arbitrum、etc…）有著短上許多的 finalize 時間，這對降低流動性提供者的風險有很大的幫助，但目前 zk Rollup 支援合約功能甚至 L1 <-> L2 互動的完成度都比 Optimistic Rollup 還低上許多。短期內快速跨 Rollup 的服務應該還是侷限在 Optimitic Rollup 之間。

abbrev

[zkp 讀書會] Cairo 語言介紹 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.

👏 歡迎轉載分享鼓掌

📜 [專欄新文章] Optimistic Rollup 就這樣用（2）

✍️ Juin Chiu

📥 歡迎投稿： https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium

ERC721 的儲值、轉移與提領

TL;DR

本文會跳過 Optimistic Rollup 的介紹而直接實際演示，關於 Optimistic Rollup 的概念與設計原理筆者將在日後另撰文說明，有興趣的讀者可以先參考下列三篇文章（由淺入深）：1. OVM Deep Dive 2. (Almost) Everything you need to know about Optimistic Rollup 3. How does Optimism’s Rollup really work?

本文將演示一個 Optimism Rollup 的 ERC721 範例，程式碼在這裡。

本演示大量參考了以下範例：Optimistic Rollup Example: ERC20。

本演示所使用的 ERC721 Gateway 合約來自這個提案，目前尚未成為官方標準。

環境設置

Git

Node.js

Yarn

Docker

Docker-compose

筆者沒有碰到環境相容問題，但是建議都升到最新版本， Node.js 使用 v16.1.0 或以上版本

Optimism 服務啟動

有關 Optimisim 的所有服務，都包裝在 Optimism 這個超大專案當中了，直接使用原始碼進行組建：

$ git clone git@github.com:ethereum-optimism/optimism.git$ cd optimism$ yarn$ yarn build

組建完成後，就可以在本機啟動服務了：

$ cd ops$ docker-compose build$ docker-compose up

這個指令會啟動數個服務，包括：

L1 Ethereum Node (EVM)

L2 Ethereum Node (OVM)

Batch Submitter

Data Transport Layer

Deployer

Relayer

Verifier

Deployer 服務中的一個參數要特別注意： FRAUD_PROOF_WINDOW_SECONDS，這個就是 OPtimistic Rollup 的挑戰期，代表使用者出金（Withdraw）需等候的時長。在本篇演示中預設為 0 秒。

如果有需要重啟，記得把整個 Docker Volume 也清乾淨，例如： docker-compose down -v

Optimism 整合測試

在繼續接下來的演示之前，我們需要先確認 Optimism 是否有順利啟動，特別是 Relayer 是否運作正常，因此我們需要先進行整合測試：

$ cd optimism/integration-tests$ yarn build:integration$ yarn test:integration

確保 L1 <--> L2 Communication 相關測試通過後再繼續執行接下來的演示內容。

啟動服務及部署合約需要花費一些時間，運行一段時間（約 120 秒）之後再執行測試，如果測試結果全部皆為 Fail，可能是 Optimism 尚未啟動完成，再等待一段時間即可。

ERC721 合約部署

Optimism 啟動成功並且完成整合測試後，接下來進行 ERC721 合約的部署。筆者已將合約及部署腳本放在 optimistic-rollup-example-erc721 這個專案中：

$ git clone git@github.com:ethereum-optimism/optimistic-rollup-example-erc721.git$ cd optimistic-rollup-example-erc721$ yarn install$ yarn compile

接下來我們需要部署以下合約：

ERC721，部署於 L1

L2DepositedEERC721，部署於 L2

OVM_L1ERC721Gateway，部署於 L1

OVM_L1ERC721Gateway 只部署在 L1 上，顧名思義它就是 L1 <=> L2 的「門戶」，提供 Deposit / Withdraw 兩個基本功能，使用者必須透過這個合約來進出 L2。

雖然 OVM_L1ERC20Gateway 是 Optimistic Rollup 官方提供的合約。但是開發者也可以依需求自行設計自己的「門戶」。

OVM_L1ERC20Gateway 目前沒有 Optimism 的官方實作，本演示所使用的 ERC721 Gateway 合約來自這個提案，目前尚未成為官方標準。

接下來，我們直接用腳本進行部署：

$ node ./deploy.jsDeploying L1 ERC721...L1 ERC2721 Contract Address: 0xFD471836031dc5108809D173A067e8486B9047A3Deploying L2 ERC721...L2 ERC721 Contract Address: 0x09635F643e140090A9A8Dcd712eD6285858ceBefDeploying L1 ERC721 Gateway...L1 ERC721 Gateway Contract Address: 0xcbEAF3BDe82155F56486Fb5a1072cb8baAf547ccInitializing L2 ERC721...

ERC721 鑄造、儲值、轉移與提領

鑄造（L1）

初始狀態如下，所有帳戶皆尚未持有任何代幣：

接下來，我們將鑄造 2 個代幣以進行接下來的演示。首先，進入 ETH（L1） 的 Console：

$ npx hardhat console --network ethWelcome to Node.js v16.1.0.Type ".help" for more information.>

取得 Deployer / User 帳戶：

// In Hardhat ETH Console

> let accounts = await ethers.getSigners()

> let deployer = accounts[0]

> let user = accounts[1]

取得 ERC721 及 OVM_L1ERC721Gateway 合約物件，合約地址可以從部署訊息中取得：

// In Hardhat ETH Console

> let ERC721_abi = await artifacts.readArtifact("ExampleToken").then(c => c.abi)

> let ERC721 = new ethers.Contract("0xFD471836031dc5108809D173A067e8486B9047A3", ERC721_abi)

> let Gateway_abi = await artifacts.readArtifact("OVM_L1ERC721Gateway").then(c => c.abi)

> let Gateway = new ethers.Contract("0xcbEAF3BDe82155F56486Fb5a1072cb8baAf547cc", Gateway_abi)

鑄造兩個 ERC721 代幣：

// In Hardhat ETH Console

> await ERC721.connect(deployer).mintToken(deployer.address, "foo")

{ hash: "...", ...}

> await ERC721.connect(deployer).mintToken(deployer.address, "bar")

{ hash: "...", ...}

只有合約的 Owner（deployer） 可以進行鑄造的操作。

確認 Deployer 餘額：

> await ERC721.connect(deployer).balanceOf(deployer.address)

BigNumber { _hex: '0x02', _isBigNumber: true } // 2

確認代幣的 TokenID 與 Owner：

> await ERC721.connect(deployer).ownerOf(1)

'0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266' // deployer

> await ERC721.connect(deployer).ownerOf(2)

'0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266' // deployer

儲值（L1 => L2）

完成以上步驟後，目前的狀態如下：

接下來，授權 OVM_L1ERC721Gateway使用 TokenID 為 2 的代幣：

// In Hardhat ETH Console

> await ERC721.connect(deployer).approve("0xcbEAF3BDe82155F56486Fb5a1072cb8baAf547cc", 2)

{ hash: "...", ...}

在 OVM_L1ERC721Gateway 合約呼叫 Deposit，儲值 TokenID 為 2 的代幣：

// In Hardhat ETH Console

> await Gateway.connect(deployer).deposit(2)

{ hash: "...", ...}

我們可以到 Optimism (L2) 的 Console 確認入金是否成功：

$ npx hardhat console --network optimismWelcome to Node.js v16.1.0.Type ".help" for more information.>

取得 Deployer / User 帳戶：

// In Hardhat Optimism Console

> let accounts = await ethers.getSigners()

> let deployer = accounts[0]

> let user = accounts[1]

取得 L2DepositedERC721 合約物件，合約地址可以從部署訊息中取得：

// In Hardhat Optimism Console

> let L2ERC721_abi = await artifacts.readArtifact("OVM_L2DepositedERC721").then(c => c.abi)

> let L2DepositedERC721 = new ethers.Contract("0x09635F643e140090A9A8Dcd712eD6285858ceBef", L2ERC721_abi)

確認入金是否成功：

// In Hardhat Optimism Console

> await L2DepositedERC721.connect(deployer).balanceOf(deployer.address)

BigNumber { _hex: '0x01', _isBigNumber: true } // 1

> await L2DepositedERC721.connect(deployer).ownerOf(2)

'0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266' // deployer

ERC721 轉移（L2 <=> L2）

完成以上步驟後，目前的狀態如下：

接下來，我們在 L2 從 Deployer 轉移代幣給 User：

// In Hardhat Optimism Console

> await L2DepositedERC721.connect(user).balanceOf(user.address)

BigNumber { _hex: '0x00', _isBigNumber: true } // 0

> await L2DepositedERC721.connect(deployer).transferFrom(depoyer.address, user.address, 2)

{ hash: "..." ...}

> await L2DepositedERC721.connect(user).balanceOf(user.address)

BigNumber { _hex: '0x01', _isBigNumber: true } // 1

> await L2DepositedERC721.connect(user).ownerOf(2)

'0x70997970C51812dc3A010C7d01b50e0d17dc79C8' // user

ERC721 提領（L2 => L1）

完成以上步驟後，目前的狀態如下：

接下來，我們用 User 帳戶提領資金，在 L2DepositedERC721 合約呼叫 Withdraw：

// In Hardhat Optimism Console

> await L2DepositedERC721.connect(user).withdraw(2)

{ hash: "..." ...}

> await L2DepositedERC721.connect(user).balanceOf(user.address)

BigNumber { _hex: '0x00', _isBigNumber: true }

最後，檢查在 L1 是否提領成功：

// In Hardhat ETH Console

> await ERC721.connect(user).balanceOf(user.address)

BigNumber { _hex: '0x01', _isBigNumber: true } // 1

> await ERC721.connect(deployer).balanceOf(deployer.address)

BigNumber { _hex: '0x01', _isBigNumber: true } // 1

> await ERC721.connect(user).ownerOf(2)

'0x70997970C51812dc3A010C7d01b50e0d17dc79C8' // user

由於挑戰期為 0 秒，因此提領幾乎無需等待時間，頂多只需數秒鐘

做完上述所有操作，最終狀態應該如下：

總結

本文演示了：

Optimistic Rollup 相關服務的本機部署

ERC721 L1 => L2 的儲值（Deposit）

ERC721 L2 帳戶之間轉移（Transfer）

ERC721 L2 => L1 的提領（Withdraw）

筆者未來將繼續擴充此系列的教學內容，例如支援其他標準的合約如 ERC1155，以及如何運行 Optimistic Rollup 生態系中最重要的驗證者（Verifier），敬請期待。

參考資料

OVM Deep Dive

(Almost) Everything you need to know about Optimistic Rollup

How does Optimism’s Rollup really work?

Optimistic Rollup Official Documentation

Ethers Documentation (v5)

Optimistic Rollup Example: ERC20(Github)

Optimism (Github)

optimism-tutorial (Github)

l1-l2-deposit-withdrawal (Github)

Proof-of-concept ERC721 Bridge Implementation (Github)

Optimistic Rollup 就這樣用（2） was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.

👏 歡迎轉載分享鼓掌

📜 [專欄新文章] Optimistic Rollup 就這樣用（1）

✍️ Juin Chiu

📥 歡迎投稿： https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium

ERC20 的入金、轉帳與出金

TL;DR

本文會跳過 Optimistic Rollup 的介紹而直接實際演示，關於 Optimistic Rollup 的概念與設計原理我將在日後另撰文說明，有興趣的讀者可以先參考下列三篇文章（由淺入深）：1. OVM Deep Dive 2. (Almost) Everything you need to know about Optimistic Rollup 3. How does Optimism’s Rollup really work?

本文將演示一個 Optimism Rollup 範例，程式碼在這裡。

本演示大量參考了以下這兩個官方範例：optimism-tutorial、l1-l2-deposit-withdrawal。

環境設置

Git

Node.js

Yarn

Docker

Docker-compose

筆者沒有碰到環境相容問題，但是建議都升到最新版本， Node.js 使用 v16.1.0 或以上版本

Optimism 服務啟動

有關 Optimisim 的所有服務，都包裝在 Optimism 這個超大專案當中了，直接使用原始碼進行組建：

$ git clone git@github.com:ethereum-optimism/optimism.git$ cd optimism$ yarn$ yarn build

組建完成後，就可以在本機啟動服務了：

$ cd ops$ docker-compose build$ docker-compose up

這個指令會啟動數個服務，包括：

L1 Ethereum Node (EVM)

L2 Ethereum Node (OVM)

Batch Submitter

Data Transport Layer

Deployer

Relayer

Verifier

Deployer 服務中的一個參數要特別注意： FRAUD_PROOF_WINDOW_SECONDS，這個就是 Optimistic Rollup 的挑戰期，代表使用者出金（Withdraw）需等候的時長。在本篇演示中預設為 0 秒。

如果有需要重啟，記得把整個 Docker Volume 也清乾淨，例如： docker-compose down -v

Optimism 整合測試

在繼續接下來的演示之前，我們需要先確認 Optimism 是否有順利啟動，特別是 Relayer 是否運作正常，因此我們需要先進行整合測試：

$ cd optimism/integration-tests$ yarn build:integration$ yarn test:integration

確保 L1 <--> L2 Communication 相關測試通過後再繼續執行接下來的演示內容。

啟動服務及部署合約需要花費一些時間，運行一段時間（約 120 秒）之後再執行測試，如果測試結果全部皆為 Fail，可能是 Optimism 尚未啟動完成，再等待一段時間即可。

ERC20 合約部署

Optimism 啟動成功並且完成整合測試後，接下來進行 ERC20 合約的部署。筆者已將合約及部署腳本放在 optimistic-rollup-example-erc20 這個專案中：

$ git clone git@github.com:ethereum-optimism/optimistic-rollup-example-erc20.git$ cd optimistic-rollup-example-erc20$ yarn install$ yarn compile

接下來我們需要部署以下合約：

ERC20，部署於 L1

L2DepositedEERC20，部署於 L2

OVM_L1ERC20Gateway，部署於 L1

其中，ERC20 與 L2DepositedERC20 是由上面的範例專案編譯的，可以直接在範例專案中直接取得 ABI；而 OVM_L1ERC20Gateway 則是由 Optimism 編譯的，屬於 Optimistic Rollup 協定的一部分，無法直接在範例專案中取得 ABI。

因此在部署以上三個合約前，我們需先手動將 OVM_L1ERC20Gateway 編譯後的生成品 （Artifacts）——即 ABI，複製到此專案中：

$ cp -r ~/projects/optimism/packages/contracts/artifacts/contracts/optimistic-ethereum/OVM/bridge/tokens/OVM_L1ERC20Gateway.sol ~/projects/optimistic-rollup-example-erc20/artifacts/contracts/

OVM_L1ERC20Gateway 只部署在 L1 上，顧名思義它就是 L1 <=> L2 的「門戶」，提供 Deposit / Withdraw 兩個基本功能，使用者必須透過這個合約來進出 L2。

雖然 OVM_L1ERC20Gateway 是 Optimistic Rollup 官方提供的合約。但是開發者也可以依需求自行設計自己的「門戶」。

接下來，我們直接用腳本進行部署：

$ node ./deploy.jsDeploying L1 ERC20...Deploying L1 ERC20...L1 ERC20 Contract Address: 0x1429859428C0aBc9C2C47C8Ee9FBaf82cFA0F20fDeploying L2 ERC20...L2 ERC20 Contract Address: 0x67d269191c92Caf3cD7723F116c85e6E9bf55933Deploying L1 ERC20 Gateway...L1 ERC20 Gateway Contract Address: 0xB0D4afd8879eD9F52b28595d31B441D079B2Ca07Initializing L2 ERC20...

ERC20 入金、轉帳與出金

ERC20 入金（L1 => L2）

目前餘額：

在合約部署完成後，Deployer 是目前唯一有資金的帳戶，接下來我們就進行入金（Deposit），將 Deployer 的資金從 L1 搬到 L2。

首先，進入 ETH（L1） 的 Console：

$ npx hardhat console --network ethWelcome to Node.js v16.1.0.Type ".help" for more information.>

取得 Deployer / User 帳戶：

// In Hardhat ETH Console

> let accounts = await ethers.getSigners()> let deployer = accounts[0]> let user = accounts[1]

取得 ERC20 及 OVM_L1ERC20Gateway 合約物件，合約地址可以從部署訊息中取得：

// In Hardhat ETH Console

> let ERC20_abi = await artifacts.readArtifact("ERC20").then(c => c.abi)> let ERC20 = new ethers.Contract("0x1429859428C0aBc9C2C47C8Ee9FBaf82cFA0F20f", ERC20_abi)> let Gateway_abi = await artifacts.readArtifact("OVM_L1ERC20Gateway").then(c => c.abi)> let Gateway = new ethers.Contract("0xB0D4afd8879eD9F52b28595d31B441D079B2Ca07", Gateway_abi)

先授權 OVM_L1ERC20Gateway 花費 ERC20：

// In Hardhat ETH Console

> await ERC20.connect(deployer).approve("0xB0D4afd8879eD9F52b28595d31B441D079B2Ca07", 10000)> await ERC20.connect(user).approve("0xB0D4afd8879eD9F52b28595d31B441D079B2Ca07", 10000)

注意：Deployer 及 User 都需要對 OVM_L1ERC20Gateway 進行授權，否則在接下來的出金步驟時 Relayer 會出錯

接著，在 OVM_L1ERC20Gateway 合約呼叫 Deposit：

// In Hardhat ETH Console

> await Gateway.connect(deployer).deposit(1000)

我們可以到 Optimism (L2) 的 Console 確認入金是否成功：

$ npx hardhat console --network optimismWelcome to Node.js v16.1.0.Type ".help" for more information.>

取得 Deployer / User 帳戶：

// In Hardhat Optimism Console

> let accounts = await ethers.getSigners()> let deployer = accounts[0]> let user = accounts[1]

取得 L2DepositedERC20 合約物件，合約地址可以從部署訊息中取得：

// In Hardhat Optimism Console

> let L2ERC20_abi = await artifacts.readArtifact("L2DepositedERC20").then(c => c.abi)> let L2DepositedERC20 = new ethers.Contract("0x67d269191c92Caf3cD7723F116c85e6E9bf55933", L2ERC20_abi)

確認入金是否成功：

// In Hardhat Optimism Console

> await L2DepositedERC20.connect(deployer).balanceOf(deployer.address)BigNumber { _hex: '0x03E8', _isBigNumber: true } // 1000

ERC20 轉帳（L2 <=> L2）

完成以上步驟後，目前的餘額如下：

接下來，我們在 L2 從 Deployer 轉移一部分資金給 User：

// In Hardhat Optimism Console

> await L2DepositedERC20.connect(user).balanceOf(user.address)BigNumber { _hex: '0x00', _isBigNumber: true } // 0> await L2DepositedERC20.connect(deployer).transfer(user.address, 1000){ hash: "..." ...}> await L2DepositedERC20.connect(wallet_1).balanceOf(user.address)BigNumber { _hex: '0x03E8', _isBigNumber: true } // 1000

ERC20 出金（L2 => L1）

完成以上步驟後，目前的餘額如下：

接下來，我們用 User 帳戶提領資金，在 L2DepositedERC20 合約呼叫 Withdraw：

// In Hardhat Optimism Console

> await L2DepositedERC20.connect(user).withdraw(1000){ hash: "..." ...}> await L2DepositedERC20.connect(user).balanceOf(user.address)BigNumber { _hex: '0x00', _isBigNumber: true }

最後，檢查在 L1 是否提領成功：

// In Hardhat ETH Console

> await ERC20.connect(user).balanceOf(user.address)BigNumber { _hex: '0x03E8', _isBigNumber: true } // 1000

由於挑戰期為 0 秒，因此提領幾乎無需等待時間，頂多只需數秒鐘

做完上述所有操作，餘額應該如下：

總結

本文演示了：

Optimistic Rollup 相關服務的本機部署

ERC20 L1 => L2 的入金（Deposit）

ERC20 L2 帳戶之間轉帳（Transfer）

ERC20 L2 => L1 的出金（Withdraw）

筆者未來將繼續擴充此系列的教學內容，例如 ERC721 / ERC1155 的使用方式，敬請期待。

參考資料

OVM Deep Dive

(Almost) Everything you need to know about Optimistic Rollup

How does Optimism’s Rollup really work?

Optimistic Rollup Official Documentation

Ethers Documentation (v5)

Optimism (Github)

optimism-tutorial (Github)

l1-l2-deposit-withdrawal (Github)

Optimistic Rollup 就這樣用（1） was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.

👏 歡迎轉載分享鼓掌