Rollup 它是以太網唯一的信任擴展解決方案，是短期和中期的解決方案，也可能是長期的解決方案。幾個月來，以太網L1.交易成本一直很高，我們迫切需要做任何必要的事情來幫助促進整個生態(tài)系統(tǒng)的發(fā)展。rollup的遷移。Rollup 幫助助許多以太坊用戶顯著降低成本：l2fees.info顯示，Optimism 和 Arbitrum 提供的費用比以太坊基礎層本身低 3-8 倍，而ZK rollup該方案具有更好的數(shù)據(jù)壓縮，并且可以避免包含簽名，因此這些L2費用比基礎層低40左右-100倍。

但是，這樣的費用對很多用戶來說還是太貴了。長期以來，人們一直認為改善現(xiàn)在的形式rollup解決方案是數(shù)據(jù)分片，這將是鏈中的rollup增加約1-2 MB/s專用數(shù)據(jù)空間。本文描述了實現(xiàn)解決方案的實用方法，以便盡快實現(xiàn)rollup打開數(shù)據(jù)空間，隨著時間的推移增加額外的空間和安全性。

1.步驟1: tx calldata擴展
今天現(xiàn)有的rollup使用了tx calldata所以，如果我們想不要求，rollup 如果團隊做任何額外的工作，短期內會有所改善 rollup 我們只需要降低容量和成本tx calldata成本。今天的平均塊大小遠遠不會威脅到網絡的穩(wěn)定性，所以這是可以安全做到的，雖然可能需要一些額外的邏輯來防止非常不安全的邊緣情況。

請參閱：EIP 4488或替代方案EIP 4490(更簡單但效果更溫和)。

EIP 4488 應將可用于rollup數(shù)據(jù)空間增加到每個slot 約 1 MB 理論最大值，并將rollup成本降低到原來的1/它可以比以下步驟更快地實施。

2.步驟2: 一些分片
同時，我們可以開展工作，推出合適的片段。以完整的形式實現(xiàn)合適的片段需要很長時間，但我們能做的就是一點一點實現(xiàn)，從每一個部分中受益。要實現(xiàn)的第一個自然部分是片段規(guī)范的業(yè)務邏輯，通過將片段的初始數(shù)量保持在非常低的水平(例如 4)，以避免大多數(shù)與網絡相關的困難。每一部電影都在自己的子網上播放。默認情況下，驗證人會信任委員會，但如果他們愿意，他們可以選擇在每個子網上，只看到信標塊確認的任何塊的完整性body在主體接受信標塊之前。

分片標準本身并不是特別困難，這是最近發(fā)布的Altair 類似硬分叉的樣板代碼更改(Altair 信標更改規(guī)范文件長 728 行，分片信標變更規(guī)范文件長 888 好的)，所以我們可以合理地期待它的實現(xiàn)和實現(xiàn) Altair 在類似的時間范圍內實施和部署。

為了使分片數(shù)據(jù)真正可用rollup，rollup有兩種選擇可以將證明放入分片數(shù)據(jù)中:

添加 BEACONBLOCKROOT 操作碼，rollup 將添加代碼來驗證植根于歷史信標鏈塊根的區(qū)塊 Merkle 證明。

添加面向未來的狀態(tài)和歷史訪問預編譯，以便在未來承諾方案發(fā)生變化時，rollup無需更改代碼。

這會將rollup數(shù)據(jù)空間增加到每個slot約 2 MB（每個分片 250 kB * 4 分片，添加步驟 1 中擴展的 calldata）。

3.第 3 步：N 受委員會保護
這一步將活動分片的數(shù)量從 4 個增加到 64 個，分片數(shù)據(jù)現(xiàn)在將進入子網，因此此時 P2P 層必須足夠穩(wěn)定，可以拆分成更多的子網。數(shù)據(jù)可用性的安全性將基于誠實，這取決于委員會的安全性。

這會將rollup數(shù)據(jù)空間增加到每個slot約 16 MB（每個分片 250 kB * 64 個分片)，我們假設此時， rollup 已從執(zhí)行鏈中遷移。

4.第四步:數(shù)據(jù)可用性抽樣 (DAS)
在這一步中，我們將添加數(shù)據(jù)可用性采樣(DAS)為了保證更高層次的安全性，即使發(fā)生大部分不誠實的攻擊，也可以保護用戶。數(shù)據(jù)可用性采樣可以分階段推出:首先允許網絡以非綁定的方式進行測試，然后作為接受信標塊的要求，甚至在其他客戶端之前在一些客戶端進行。

一旦完全引入數(shù)據(jù)可用性采樣，分片部署就完成了。

5.在分片環(huán)境下Optimistic和ZK rollup
分片世界和現(xiàn)狀的一個主要區(qū)別是，在分片世界中，rollup事實上，數(shù)據(jù)不不可能的rollup塊提交給智能合同交易的一部分。相反，數(shù)據(jù)發(fā)布步驟和rollup塊提交步驟必須分開：

首先，數(shù)據(jù)發(fā)布步驟將數(shù)據(jù)放在鏈上(放在分片中)，然后提交步驟提交header并指向基礎數(shù)據(jù)。

Optimism 和 Arbitrum 已經為rollup塊提交采用了兩步設計，所以兩者都是小代碼變更。

而對于ZK rollup事情有點困難，因為提交交易需要提供直接操作數(shù)據(jù)的證明。他們可以做一個 ZK-SNARK 證明分片中的數(shù)據(jù)與信標鏈中的承諾相匹配，但非常昂貴。幸運的是，有更便宜的選擇。

如果ZK-SNARK是基于BLS12-381的PLONK證明他們可以直接提交分片數(shù)據(jù)作為輸入。BLS12-381 分片數(shù)據(jù)承諾 KZG 承諾，與 PLONK 承諾類型相同，可以作為公共輸入直接傳輸?shù)阶C明中。

如果 ZK-SNARK 使用不同的方案(甚至只是 BLS12-381 PLONK，但是更大的可信設置)，可以包括自己對數(shù)據(jù)的承諾，并使用等價證明來驗證信標鏈中的承諾和承諾是否承諾相同的數(shù)據(jù)。

熱點：rollup 以太 以太坊 數(shù)據(jù)