Rollup 需要進行標準化,以打破以太坊不同 Rollup 層之間的孤島效應。

原文標題:《消滅天價 Gas 費,一文了解以太坊 Rollup 互聯解決方案
撰文:barryWhiteHat,以太坊開發者
編譯:灑脫喜

對於以太坊當前高昂的 gas 費問題,Vitalik 明確提出短期應通過 Rollup 方案解決,然而,Rollup 會面臨明顯的孤島問題,這與 DeFi 的可組合性而言是對立的,那如何去解決這一難題呢?對此,以太坊開發者 barryWhiteHat 提出了一種 Rollup 與 Rollup 之間的交互解決方案,據悉,這將涉及到一套 Rollup 標準,以打破以太坊不同 Rollup 層之間的孤島效應。

以太坊 Gas 費居高不下,打破孤島效應的 Rollup 或是解決之道圖片來自:pixabay

以下是該方案的譯文:


對於 Rollup 技術來說,一個不容忽視的問題便是用戶鎖定。隨着以太坊 gas 價格持續上漲,越來越多的人會持有一些小額的資金,而他們又無法將其撤回到第一層(layer 1)。

例如,目前 Rollup 中的一筆轉賬成本約爲 0.01 美元,而提幣成本則至少爲 0.4 美元,這意味着,如果用戶存入 1 美元,然後他給別人轉了 0.4 美元,那麼除非 gas 價格下跌,否則雙方都無法提出這些資金,但他們可以在 Rollup 內進行內部交易。

這真的很可怕,因爲用戶會被鎖定在某個 Rollup 中,在接下來的 6 個月中,我們不太可能構建出最好的 Rollup 版本,我們可能會有多個不同版本的 Rollup,這對不同的用例而言是有好處的,如果用戶的資金被鎖定在這些 Rollup 當中,那麼這對於這些用戶及社區來說都可能是一個問題。

這裏我們描述了大規模遷移方案,其中用戶可通過批處理代幣轉移+鏈上 gas 成本的方式,從 layer 2 轉移到另一個 layer 2。

這篇文章是建立在 [op/zk] rollup / mixers / MACI 的基礎之上的。

那它會是什麼樣的呢?

以太坊 Gas 費居高不下,打破孤島效應的 Rollup 或是解決之道

我們有一個源 Rollup 和目的地 Rollup,我們希望用戶從其中一個 Rollup 提幣,並轉移到另一個 Rollup。因此,源協調器使用大規模遷移方案將多筆傳輸組合在一起,這樣就可以在一筆交易中發送總量。

在目的地端,遷移由目的地 Rollup 的協調器驗證,這包括:

  1. 證明數據是可用的(這對於無需信任的大規模遷移而言是必需的);
  2. 檢查轉移的餘額 == 每個葉子的餘額之和;
  3. 在這些檢查之後,可以將大規模遷移合併到目標狀態樹中;

轉換(Translation)

如果兩個 Rollup 都遵循相同的標準,則可以像上面那樣進行大規模遷移。

但如果雙方是不同標準的,我們將需要在大規模遷移和驗證之間添加一個額外的轉換步驟。在此步驟中,協調器將從一種格式轉換爲另一種格式。

需要一致的東西有:

  1. 簽名;
  2. 公鑰索引映射,就是如何將 from 索引映射到公鑰 ;
  3. 哈希函數;
  4. 葉子格式;

例如,從 ZK Rollup 遷移到 Optimistic Rollup,可能就需要這種轉換。

激勵措施

當用戶大規模遷移時,他們需要支付源 Rollup 和目的地 Rollup 的費用。在源 Rollup 上,他們像在其他交易中那樣,直接向源 Rollup 協調器支付費用。

目的地 Rollup 只允許使用一筆預定義的 ETH 費用進行大規模遷移,此費用在大規模遷移時直接從源 Rollup 協調器處支付。然後,目的地 Rollup 協調器可以驗證大規模遷移,以便包含交易並接收費用。

這裏存在 gas 價格波動的風險,並且源 Rollup 中定義的大量遷移費用將不足以支付驗證成本。注意:多想想這個問題。

Orbits (鏈接有效性+數據可用性)

如果有一個 Rollup 想要:

  1. 加速大規模遷移(僅限 Optimistic Rollup);
  2. 使大規模遷移的花費爲 o(1);

他們可選擇「orbit」 爲源 Rollup,而 orbit 意味着你:

  1. 對葉子(leaf)、簽名、公鑰可用性使用相同的標準;
  2. 信任源 Rollup 的有效性,對於 ZK Rollup,這意味着信任 zkSNARK、可信設置以及智能合約的安全性。對於 Optimistic Rollup,這意味着如果源 Rollup 回滾,則返回到上次接受來自該源 Rollup 的大規模遷移的歷史記錄點。

這種 orbit 模式,意味着你可以在源 Rollup 完成大規模遷移(即代幣已轉移)之前,在目的地 Rollup 一側進行大規模遷移。這也是一個很好的升級模式,你可以允許用戶從舊的 Rollup 鏈遷移到新的 Rollup 鏈,而成本大約是一次轉移的費用。

結論

爲了有效地進行大規模遷移,我們需要在 Rollup 之間進行標準化,最好先把原語標準化,因爲 ZK Rollup 和 Optimistic Rollup 並沒有使用相同的原語。但是,標準化組件和大規模遷移的努力,可能會在一個更加健壯的解決方案生態系統中獲得未來收益,在這種解決方案生態系統中,網絡效應並不是全部。

目前,Rollup 會自然形成一座孤島,重要的是,我們必須用一種經濟的退出方式來爲用戶構建 Rollup。建立完美的解決方案還爲時尚早,相反,我們應嘗試以一種允許用戶隨技術的發展,而升級和改變的方式進行構建。

用戶鎖定,這是一個我們必須要去關注的大問題。

來源鏈接:ethresear.ch