CEL:Rollup 將是有主權的鏈

大多數應用都會被布署在rollup上，他們把Celestia用作共識層和數據可用層。作為首個為增加交易容量而提出的二層解決方案，rollup將是大多數區塊鏈應用的家園，無論它們用Celestia，還是以太鏈，還是別的平臺做共識層和數據可用層。

在本文中，我們將討論什么是rollup，它們當前是如何工作在以太鏈上的，以及它們將如何工作在Celestia上。

對現有的以太鏈的rollup來說，以太鏈是高高在上的結算層，以太鏈rollup完全就像以太鏈的‘嬰兒鏈’一樣，因為正確的rollup鏈是由以太鏈上的合約定義的。相比之下Polkadot平行鏈模型也是一樣，中繼鏈對平行鏈來說，也是高高在上的結算層。

另一方面，對Celestia來說，我們認識到一種新型的rollup：有主權的rollup鏈。它們是獨立的，他們有權作為子網本身，來定義自己的正確性，就如同獨立的一層鏈一樣，并且可以通過受信任的或無需信任的橋，連接到其它的鏈或者結算層。

https://twitter.com/ptrwtts/status/1509869606906650626?ref_src=twsrc^tfw|twcamp^tweetembed|twterm^1509869606906650626|twgr^|twcon^s1_&ref_url=https%3A%2F%2Fblog.celestia.org%2Fsovereign-rollup-chains%2F

什么是rollup？

以太鏈（高高在上的結算層）上的rollup

Celestia上的rollup（有主權的）

有主權的跨rollup通訊

為什么需要主權？

ZKSwap開發負責人 Alex Lee：構建支持通用 EVM 的 rollup 擴容解決方案 ZKSwap在路上:據官方消息，2021年04月12日晚，由Gate.io主辦的直播專訪節目《酒局幣赴》邀請到ZKSwap開發負責人 Alex Lee直播分享近期最新發展。直播期間Alex與Gate.io合伙人酒兒就面對市場競爭格局產生變化后，ZKS將如何把握機遇與挑戰進行了探討與交流。

Alex 表示，目前，Layer2賽道已經是一片繁榮了，技術上不斷創新，各種產品也層出不窮。ZKSwap推出的 Zkspeed 擴容方案兼顧了 ZK-Rollup、Validium 和 Optimistic rollup 方案的特點。即實現所有與 Layer1 交互的交易數據全部上鏈（ZK-Rollup），把單純 Layer2 的交易數據存放在鏈下（Validium），交易 hash 數據上鏈，同時 ZKSpeed 也會提供一個完全上鏈的版本，這樣可以實現更高的安全性，并提供零知識證明保證狀態轉換的有效性。雖然目前 ZKSwap 的方案還不兼容 EVM，但ZKSwap 團隊的愿景正是構建一個支持通用 EVM 的 rollup 擴容解決方案，使得其他應用無需重新編寫智能合約就能實現快速遷移，目前 ZKSwap 團隊已經投入研究，并取得了一些進展。[2021/4/12 20:12:00]

rollup是一種吧它們的區塊發送到另一條鏈的區塊鏈，并且繼承另一條鏈的共識和數據可用性（那條鏈因此被稱為‘共識層和數據可用層’）。

典型的rollup由三方共同維護：排序者，rollup的全節點，rollup的輕節點。所有rollup都有自己的狀態，比如用戶在某個時間點的的賬戶地址和代幣余額。

排序者：是一種收集rollup的用戶發送的交易的節點，把交易打包成區塊，并且把區塊發布到共識層和數據可用層。區塊由兩部分組成：區塊頭和實際的交易數據。區塊頭包含但不限于鏈的，密碼學上的狀態確認——通常說來是默克爾樹。

以太坊基金會發起關于“支持Rollup發展”的社區捐款:3月7日消息，以太坊基金會發起關于Rollup的社區捐款提案，并呼吁所有對在以太坊上搭建Rollup感興趣的人參與進來，捐款截止日期為2021年4月16日。以太坊基金會表示，以太坊生態系統很可能將Rollup作為近期和中期未來擴容方案，Optimistic Rollup和zkRollup已經在籌備中，也許很快就會投入使用，捐款目標是發展Rollup社區，幫助啟動完善的生態系統，讓更多應用建立在Rollup方案之上。[2021/3/7 18:23:03]

Rollup的全節點：它下載rollup的全部區塊頭和交易數據，處理和驗證所有的交易，從而計算出rollup的狀態，并且驗證所有交易的有效性。如果全節點在rollup的區塊中發現一個無效交易，他會拒絕并忽略這個區塊。這樣一來，排序者不能把無效交易打包到有效區塊中，因為其它節點會通過自己的判斷拒絕有問題的區塊。

Rollup的輕節點：只下載rollup的區塊頭，但是不下載或者處理任何交易信息，因此不能全靠自己來計算最新狀態或者驗證rollup狀態的有效性。作為替代，他們可以通過rollup的最新的區塊頭了解到最新的確認狀態。他們也間接地驗證交易的有效性，通過諸如欺詐證明或有效性證明。

當rollup節點同步rollup鏈的數據，它們只能按照共識層和數據可用層確定的排序。對每個區塊高度，他們將接受發布到數據可用層的第一個有效的rollup區塊——不管是直接（全節點）還是間接（輕節點）驗證有效性。

關于rollup的更多細節和技術性的解釋，我們建議閱讀Celestia論壇上的這個帖子。

當前以太網上的rollup把它們的區塊發送到基于EVM的智能合約，這被稱為‘橋合約’。這個合約實際上有效地在主鏈上實現了一個rollup的輕節點，它接收區塊頭并處理欺詐證明或者有效性證明。在這種模型中，存在一個高高在上的，硬編碼的，只需要最小信任的，通往以太主鏈的橋。

Synthetix完成Rollup主網升級:據Synthetix團隊消息，今天早上Synthetix進行 Optimism Rollup主網升級，升級時L2充值和L2 mintr交易暫停30分鐘。目前升級已經結束，服務已經恢復。[2021/3/1 18:03:09]

通過橋合約，用戶可以在rollup和橋所在的執行鏈間，以只需要最小信任的方式，抵押或贖回資產。因為在欺詐證明或有效性證明的幫助下，合約不會接受排序者提供的無效區塊。

以太鏈，扮演了共識層和數據可用層，它只負責記錄，按照橋合約定義的規則，確定有效的區塊。因此，rollup全節點和輕節點（與智能合約無關的），把以太鏈上的輕節點，看做是根本的信任來源，這才是一條典范的（正確）的rollup鏈（譯者注：即能取得最終共識的鏈）。在這個模型中，我們把以太鏈看作是高高在上的，和rollup配對的結算層。同時，rollup對以太鏈來說，就像一條‘嬰兒鏈’一樣，而不是有自主權的獨立的鏈。

Celestia上，有主權的rollup完全不需要把他們的區塊提交給智能合約，而是直接作為原始數據提交到鏈上。Celestia的共識層和數據可用層，完全不翻譯或者執行rollup區塊中的計算邏輯，當然也不需要要運行在主鏈上的，rollup的輕節點。

作為替代，rollup完全像一層鏈一樣運行：全節點和輕節點直接從rollup的點對點網絡下載區塊。（譯者注：跟傳統的一層鏈相比）主要的區別是，他們也要驗證rollup的區塊數據，被包含和正確排序在Celestia的數據可用層里，以默克爾證明的方式。因此，和一層鏈相似，典范的鏈，通過本地驗證分叉選擇規則和rollup交易的節點來確定，而不是一個高高在上的，主鏈上的輕節點。

欺詐證明和有效性證明的工作方式也和他們在一層鏈的工作方式類似。欺詐證明，通過點對點網絡，被直接傳播給節點。并且如果是有效性證明的話，它可以直接包含在區塊頭內（例如，參見Mina協議）。因為，網絡同步時，點對點網絡的延遲，明顯要小于從主鏈獲取欺詐證明的延遲。這表示點對點網絡的挑戰期，有可能要短很多，對輕節點來說，最終確定鏈狀態將快很多。

觀點：Validium適用于傳統高頻交易 zkRollup適合去中心化加密支付:近日，針對以太坊Layer 2擴容方案，即DeversiFi最近采用的Validium解決方案，Matter Labs創始人Alex Gluchowski撰文稱，Validium的機制與zkRollup非常相似，唯一的區別是zkRollup中的數據可用性是在鏈上的，而Validium則將其保持在鏈外。這允許Validium獲得更高的吞吐量，但這也導致該解決方案存在兩大問題：1、可凍結用戶資金；2、可沒收用戶資金。

Alex Gluchowski指出，zkRollup的數據可用性可保護用戶的資金免遭扣押和審查。但數據可用性的鏈上存儲，導致了吞吐量的限制。因此，Alex Gluchowski認為Validium方案可能會適用于傳統的高頻交易或具有較低信任假設的游戲，相比之下，完全無需信任的zkRollup方案則非常適合擴展去中心化的加密支付。（Medium）[2020/6/8]

在這個模型中，rollup和結算層之間，沒有高高在上的橋，因為rollup只是簡單直接地把區塊發布到數據可用層，而不是某個合約。這和Cosmos的設計哲學一致，因為Cosmos 連接器對Cosmos領域來說，也不是高高在上的，而是可選的，可以在允許各領域保持主權獨立的條件下添加。rollup和rollup之間，可能還是會需要一些要求最小信任的橋——我們將在下一個小節討論。

如果rollup不依賴于高高在上的結算層來選擇分叉和驗證交易，它就是主權獨立的。進一步說，rollup的典范鏈是由rollup的點對點網絡上的節點來確定的（這個網絡在數據可用層中，它也確保區塊是可用的）。這表示結算層不可能把交易強加給rollup。

‘不需要高高在上的結算層’，更多是一個公眾的選擇，而不是基于技術，這表示rollup的社區間，有一個公共的約定，它要求rollup交易的驗證規則，由社區確定，而不是一個不可變的一層合約。實踐中，這表示通往rollup的橋，不能是高高在上的，必須是可變的，以便有一種升級的方法，使得有主權的rollup上的硬分叉可以被確認（下一節將具體討論）。

SEC對美國加密貨幣交易平臺BitFunder及其創始人喬恩·蒙特羅爾（Jon E. Montroll）發起欺詐指控:美國證券交易委員會（SEC）當地時間2月21日發布一則聲明，對美國加密貨幣交易平臺BitFunder及其創始人喬恩·蒙特羅爾（Jon E. Montroll）發起欺詐指控。聲明中表示， BitFunder未經注冊運營、發行虛假證券，并在價值7000萬美元的虛擬貨幣被黑客盜取的事件上未對SEC進行披露，對此SEC已經向曼哈頓聯邦地區法院提起訴訟。[2018/2/23]

因此，這表示rollup的社區可以通過硬分叉來更新鏈，而不會導致結算層或數據可用層，或一層鏈上的監管，破壞鏈的最小信任本性。這對有主權的rollup上原生鑄造的資產來說很重要，而不需要所有資產都從其它鏈轉移而來（譯者注：即都需要主鏈資產的背書）。

有主權的rollup也可以只把以太鏈用作數據可用層，而不是高高在上的結算層，但這樣和采用‘純粹’的數據可用層，比如Celestia相比，麻煩更多。因為rollup的節點，需要關注以太鏈結算層上所有交易的有效性，才能運行以太鏈上數據可用層的節點（譯者注：因為以太鏈的所有功能是打包在一起的，不能說只運行其中一部分）。

構建一個Celestia上的‘結算rollup’也是可能的，它也是一種有主權的rollup。一個有主權的rollup，可以被一些非主權獨立的rollup，用作結算層。不過，這種結算層的主權和以太一層鏈的主權類似，它的社區經常通過具有公眾共識的硬分叉來更新鏈（譯者注：即通過類似EIP的機制達成公眾共識，然后通過硬分叉實現更新）。

正如前面提到的，Celestia上的rollup完全不需要一個高高在上的橋來連接任何結算層。rollup的結算層和執行層就因此而被解耦和模塊化了。那么，Celestia的roullup如何橋接到其它鏈？不受高高在上的結算層的限制，我們設計跨鏈橋的空間更寬廣了。我們對設計空間和選項有如下探索。

讓我們假設有主權的rollup鏈A想要橋接到另一個鏈B——假定也是一個rollup。

A和B可以直接互相在對方嵌入輕節點。比如，兩條鏈都運行A和B的輕節點。這樣，輕節點可以直接通過點對點網絡接收相應的欺詐證明或者可用性證明。我們把這稱之為‘點對點結算’。

兩條鏈上都可以有橋接合約，這允許資產被抵押或贖回到其中任何一個鏈（比如通過‘鎖定然后鑄造’機制），并且被互相的排序者和執行交易的驗證者監督（無論是直接還是間接的）。

另一方面，輕節點也可以被實現為鏈上的智能合約，并且區塊頭和欺詐證明或者零知識證明可以被提交給鏈上的智能合約。這就是以太鏈上的rollup的情況。我們稱之為‘鏈上結算’。

不過，就像IBC，rollup可以選擇直接互相連接，并采用一條中介性的連接鏈（點對點橋接）。

根據rollup的不同的執行環境，鏈的更新或者硬分叉可能要求橋接到新的鏈。這是因為A和B必須互相支持對方的執行環境，以便對方的欺詐證明或者零知識證明可以工作。

讓我們假定某個optimistic rollup鏈A的狀態機是直接用Golang寫的（比如，利用Cosmos SDK），而不是一個智能合約環境，比如EVM或者CosmWasm。為了橋接到鏈B，B需要更新他們節點上的軟件，以便以功能庫的方式，包含A的狀態機，以便驗證A的欺詐證明。這是因為B不能自動添加A的狀態機操作碼，因為這些代碼可能是惡意的或者非確定性的，這會有安全風險。因此，公眾共識或監督這些橋是必要的。這和用零知識證明構建的有效rollup，不能被B理解的情況是相似的。我們把這叫做‘靜態橋接’，因為橋（譯者注：的功能）必須在更新鏈的時候，被明文添加。這種橋可以按照IBC輕節點來實現。

另一方面，如果某個optimistic rollup鏈A是在沙盒智能合約環境，比如EVM或CosmWasm環境中編寫的，那鏈B可以允許A的狀態機操作碼被直接添加到B的狀態機中，而不需要公眾共識或監督，比如通過一個智能合約。作為對比，如果A是個零知識證明rollup，它可以被動態地橋接到B，只要B能兼容理解A的零知識證明。我們稱之為‘動態橋接’

另一方面，如果rollup把它的區塊和證明發布到結算層，但rollup的典范鏈完全是由rollup自己的網絡決定的，我們說這種結算層是‘非高高在上的’。為了使非高高在上的結算層有意義，需要有某種方式能夠更新rollup而不要求結算層硬分叉。

為了使兩個rollup之間的橋只需要最少的信任，rollup鏈必須互相驗證欺詐證明或者零知識證明。這表示他們必須互相能夠理解對方的狀態機（‘基于證明的橋’）。

不過，‘基于委員會的橋’也是存在的（比如現在的IBC橋）。相比于依賴狀態有效性證明，這些橋依賴一個委員會來證實區塊的有效性。這種橋不是最小信任的，因為為會員有可能盜竊資產。不過，這種橋的復雜性可能會低一些，因為部署橋的鏈，不需要，跟源頭鏈一樣的，處理欺詐證明或者零知識證明的功能。

當前以太鏈上的rollup，事實上是要求rollup不能被多簽或者委員會升級，因為如果他們可以，他們就不是最小信任的了，而資產可以在升級過程中被盜竊。在這種模型中，rollup只能通過一層鏈的硬分叉來升級，因為典范鏈是一層結算層來確定的，意味著rollup沒有主權。

要使有主權的rollup有實用性，應該有某種升級途徑，來確認rollup的主權，而不是用高高在上的結算層。要達到目的，有幾種方式可以考慮，基于橋是否是最小信任的。假定A鏈正要硬分叉，而B鏈需要升級它上面A的輕節點。

對靜態橋，B也需要硬分叉。這種升級路徑，意味著橋是最小信任的，因為不需要多簽或者委員會的參與。

對動態橋，鏈A控制的委員會（比如DAO）可以更新B上的輕節點。這需要橋被信任。

對動態橋，鏈B控制的委員會（比如DAO）可以更新B上的輕節點。如果B是結算層，這給結算層帶來了升級負擔，這可能是符合預期的，如果結算層有專業的監管需求，或者有很高的金融安全需求。這也要求橋被信任。

https://twitter.com/evansforbes/status/1540772513516511233?ref_src=twsrc^tfw|twcamp^tweetembed|twterm^1540772513516511233|twgr^|twcon^s1_&ref_url=https%3A%2F%2Fblog.celestia.org%2Fsovereign-rollup-chains%2F

就其核心而言，rollup是簡單的區塊鏈，rollup橋是這些區塊鏈的簡單的輕節點。當前被以太鏈帶動起來的rollup的目標是不可升級的rollup，同時有一個高高在上的結算層。這等于是運行一個永遠不能升級的區塊鏈節點，它的區塊只有被鏈上的高高在上的，這個rollup的輕節點接受才是有效的。正如我們上面所說的，這只是rollup設計空間中一個很小的子集。

在Celestia的實驗室，我們對不需要高高在上的結算層的，有主權的rollup更感興趣。因為我們相信區塊鏈中最重要的一層是公共共識。事實上，區塊鏈是允許社區在主權的基礎上，實現集體領導的工具，而不被現狀所拖累。這表示硬分叉是一種特性，而不是缺陷，因為硬分叉能強化主權社區實現公共共識的能力。這在某個公共資源出問題的情況下，尤其重要，比如以太鏈因DAO的破壞而分叉的時候。

有主權的rollup將是一個強有力的途徑，它使主權社區能利用社區的計算設備，來跟蹤和加強社會經濟價值和協議，而不需要，為啟動和維護他們自己的共識層和驗證者集，付出額外的代價。且不需要在公共共識上從屬于某個高高在上的結算層，無論這個結算層是否適合自己。

有主權的rollup對開發者來說，在執行環境上有跟大的靈活性，因為他們不受限于，某個需要為他們的rollup處理欺詐證明或者零知識證明的，高高在上的結算層。尤其是在很多情況下，這些結算層不能便利和高效的處理某些欺詐證明和零知識證明。

請關注我們的后續文章，我們將進一步列舉例子來說明，主權對區塊鏈來說，為什么特別重要。

Tags：ROLLROLSTICELTROLL BNBTROLLBNB幣PLASTIK幣CELL價格

SHIB