ROL:Rollup 生態速覽：Optimistic Rollup 和 zk Rollup 之外還有哪些新型設計？_MIS

撰文：AlexBeckett

編譯：Amber

自2019年初概念誕生以來，Rollup已經取得了長足的進步。現如今市場上出現了兩個主要的競爭者，并基于此衍生出了一眾頗具想象力的設計理論以及混合演變。本文將盤點截止2022年中Rollup生態的發展現狀。

OptimisticRollup

由于通用的OptimisticRollup占據了先發優勢，因此爭取到了大多數的Rollup應用，其中的Arbitrum和Optimism也堪稱「Rollup標桿」。

按TVL排序，目前Rollup應用中Arbitrum排名第一，鎖倉金額達到了24億美元。盡管已經在主網上運行了一年之久，但系統上仍有許多尚待測試的環節。目前開發Arbitrum的主體OffchainLabs運營著一個唯一的中央排序器，雖然交互式欺詐證明是靈活的，但中央排序器是唯一可以提交爭議以產生欺詐證明的白名單實體。從用戶的角度來看，盡管整個系統逐步去中心化的趨勢是可預期的，但他們仍然需要給予系統大量的信任。

協議的新一代升級Nitro已經在Devnet上線，Nitro將徹底改變現有的架構，用WASM-Geth組合取代定制的Arbitrum虛擬機。Arbitrum的交互式欺詐證明將在WASM上運行，節點將有一個與Geth相當的代碼庫，再加上一些特定的Rollup優化。總而言之，Nitro將帶來重大的優化，在提高性能的同時提供更好的EVM兼容性。

Optimism是第二大OptimisticRollup，在所有Rollup中按TVL排名第三，坐擁4.69億美元鎖倉資金。OptimismPBC運行的情況與Arbitrum類似，都是單一的中心化排序器。然而，OptimismPBC已經找到了一種方法，通過使用排序器的利潤來為網絡提供回報，以此激勵生態發展。第一輪共有100萬美元的資金捐贈給了58個公共產品。雖然中心化的設計在區塊鏈這個「去中心化本源」的世界中很難產生積極影響，但是Optimism做出的嘗試看似已經最大程度上緩解了這一問題。

Scroll聯創：預計年內上線主網，一直看重開發、社區等高質量互動:5月22日消息，以太坊Layer2解決方案Scroll聯合創始人Sandy Peng在接受區塊先生Mr Block采訪時表示，我們很有信心會在未來幾個月以內推出我們的主網，具體的時間還沒有定，應該是在Q3、Q4。

此外，Sandy就Token相關問題表示，我們會花很多的時間寫教育類blog，幫助大家了解我們的技術、原理和概念。現在會花很多的時間精力去鼓勵builder（開發者）去做一些能讓大家共用、有用的東西，同時還會鼓勵社區成員加強學習活動以投資自己，長期來看，肯定會有特別大的（知識上的）收益。還是要做一些building（開發）類的利他活動，與building、organization（社區）有關的，雖然很難衡量但卻是我們一直看重的。更高質量的互動方式第一就肯定是自我的提升和學習。第二就是在Scroll上做一些高質量的創業。[2023/5/22 15:18:59]

目前Optimism的設計中缺乏欺詐證明，盡管逐步去中心化和必要的安全升級是可以預期的。然而，幾乎所有的Rollup都有即時或延遲的可升級性，所以Rollup的安全性最終取決于多簽設計的升級。即將到來的Bedrock升級將把Optimism的架構轉變為與Arbitrium類似的架構。目前的Optimism虛擬機將被替換為MIPS-Geth組合，其中節點等效于普通的以太坊Geth節點。新增功能還包含交互式欺詐證明，這是對其原有非交互式欺詐證明的升級。Bedrock將是Optimism的又一個里程碑，將為系統增添很多功能和改進。

此外，Optimism還實現了一個飛躍，即進行了非精英治理的實驗。決策被分成兩部分，分別是代幣治理和用戶治理。其中代幣治理即以代幣為投票憑證，而用戶治理則是一人一票制。在這樣一個系統中，最困難的點在于投票身份分配，需要最大限度地減少虛假攻擊。如果一個用戶可以獲得一個以上的投票人身份，他就可以對「政府」造成比普通用戶更多的影響。樂觀派指出，他們將使用不可轉讓的NFT來代表公民身份，但是個人交換私鑰以獲得更多投票權的威脅仍然存在。

彭博社：Gary Wang對于SBF來說是比Caroline Ellison更危險的證人:12月26日消息，彭博社近日刊文分析稱，與Alameda Research前首席執行官Caroline Ellison相比，FTX聯合創始人Gary Wang對FTX的重要性要大得多，這使他成為SBF更危險的證人。此前SBF將FTX的倒閉歸咎于Caroline Ellison，但這一辯護被Gary Wang的認罪協議削弱了。紐約前聯邦檢察官Sarah Paul表示：“我預計SBF將更難聲稱他不知道Gary Wang的所作所為。讓這兩名合作證人在審判中指證他，這將是非常有力的。”

Gary Wang和SBF的關系非常密切。Gary Wang和SBF第一次見面是在高中的數學夏令營，他們在麻省理工學院是室友。他們在加州伯克利合租一所房子時開始開發FTX，Gary Wang為于2019年推出的交易所編寫代碼。兩人一起生活在香港，最近在巴哈馬群島。SBF擁有Alameda公司90%的股份，而Gary Wang只擁有10%的股份。Gary Wang一直擔任Alameda的首席執行官，直到去年年底任命Caroline Ellison為首席執行官。

根據CFTC的指控，Gary Wang幫助創建了基礎代碼，使Alameda能夠在FTX “保持無限的信用額度”，Wang還幫助創建了其他途徑，使Alameda在平臺上進行交易時具有不公平的優勢，包括更快的執行時間。法律專家表示，轉移到Alameda的錢很難解釋為管理不善，而不是欺詐，他前同事的證詞可能對SBF造成毀滅性打擊。在其他案件中，面對這樣的證人，被告試圖扭轉局面，把合作者描繪成真正的壞人，現在撒謊是為了保全自己。

此前12月22日消息，Alameda前CEO和FTX聯創已分別對美檢察官提出的刑事指控和美CFTC提出的欺詐指控認罪；美SEC指控Caroline Ellison和Gary Wang欺詐FTX投資者，兩人已經同意兩項和解協議。[2022/12/26 22:07:56]

Fuel是OptimismRollup領域的另一個值得關注的競爭者，它采取了與Arbitrum和Optimism截然不同的方法。FuelLabs正在為FuelV2建立一個定制的虛擬機，使用基于Rust的編程語言。雖然與EVM兼容的Rollup對于Ethereum開發生態系統的Rollup特別有用，但定制的VM更容易實現性能最大化，因為它們不必遵守許多既定的標準。

擴容方案Cartesi Rollups已準備好用于測試網，未來幾周會有序推出:基于Layer2Linux的基礎架構平臺Cartesi開發的擴容方案CartesiRollups已準備好用于測試網，未來幾周會有序推出。智能合約可以借助CartesiRollups在CartesiMachine（Cartesi虛擬機）上脫鏈運行，并且能改進智能合約的可擴展性和編程環境。Cartesi稱CartesiRollups能將底層每秒的交易數量提高至少100倍（在啟動分片時能達到1萬倍），同時團隊也表示CartesiRollups的缺點為沒有提供快速的最終性保證，在計算結果受到質疑的罕見情況下，交易在區塊鏈上最終確定結果可能需要更長的時間。另外團隊在開發CartesiRollups時開發的組件，包括狀態折疊、交易管理器、鏈上Rollups、Cartesi節點等，Cartesi將在開源許可下將它們作為獨立軟件組件發布。[2021/7/2 0:22:18]

筆者最喜歡FuelV2的部分是并行交易處理能力，一旦數據量達到了相當的量級后，實施并行處理的Rollup將比那些沒有實施并行處理的Rollup更有優勢。值得注意的是，FuelV1主網以太坊上的第一個OptimisticRollup，并且仍然是唯一一個擁有無權限排序器和欺詐證明的Rollup。

對于Fuel來說，OptimisticRollup是遠遠優于zk-Rollups的。一是OptimisticRollup具備完全的、不受限制的可組合性：zk-Rollups在通過zkcircuits組合智能合約方面存在先天劣勢。唯一具有普遍可組合性的zk-Rollup是StarkNet，不過其目前有許可的智能合約部署和橋梁可以支持的TVL數量的上限。所有其他zk-Rollups都是特定的應用，或者只做代幣轉移。

Roll 將為受到安全事故影響的創作者補償 50 萬美元:社區代幣平臺 Roll 就熱錢包安全事故發布官方聲明稱，目前攻擊者已將盜取的所有社區代幣在 Uniswap 上成功出售，換為以太坊。此次Roll 宣布為受此影響的創作者籌集 50 萬美元的資金。[2021/3/15 18:44:50]

另一點是因為EVM兼容性：zkcircuits與EVM中標準的某些類型的密碼學有固有的兼容性問題，這使得zkEVM成為一項極具挑戰性的任務。OptimisticRollups已經在主網上運行了一段時間的EVM兼容性，升級后有望進一步實現等效性。

zk-Rollup

過去一段時間以來，以太坊社區已經達成共識，即zk-Rollups是可擴展的Rollups的最終狀態。因此，與OptimisticRollup相比，似乎有更多的zk-Rollup在積極開發中，其中許多計劃在未來兩年內推出。

StarkNet是目前主網上唯一一個通用的、可組合的zk-Rollup。然而，該系統仍處于早期的阿爾法階段，有多種限制。StarkNet和Ethereum之間的橋存在限制，上限未來會逐漸增加。StarkNet上的智能合約部署也是白名單模式。我認為這主要是為了減少智能合約錯誤發生的風險，因為很可能沒有足夠的審計人員來審計開發者想要部署的所有合約——StarkWare暫時承擔這個角色是合理的。可審計性是新的自定義語言的普遍缺點之一，而zk系統的復雜性只會使其更加復雜。

zkSync是另一個主要的「zk-Rollup」競爭者，最近的測試網上線標志著zkEVM在實時測試網中的第一個實例的推出。然而，隨著zkPorter的加入，zkSync2.0不再僅僅是一個升級版。它將使用戶能夠在zkPorter和Ethereum之間選擇發布其交易數據。雖然以太坊正在通過danksharding升級數據吞吐量，但volition是一個偉大的中間地帶，為用戶提供了更好的選擇。

V神：Rollups比ETH2.0更適合解決當前擴容難題:在今晚的社區問答中，關于ETH2.0和Rollups之間的關系，以太坊創始人V神表示：“現在要解決的是擴展的問題，現在不需要以太坊2.0，而需要Rollups。有了Rollups后，以太坊交易量就可以提高100倍。當然長期分片也需要，但現在這一問題并不緊迫。以太坊2.0現在的價值主要是遷移到Pos，計劃是先變成一條鏈，然后再考慮分片。”[2021/2/28 18:01:21]

雖然大多數zk-Rollups都優先考慮可擴展性，但隱私是zk-Rollups可以實現的另一個重要方面。Aztec目前正通過他們的隱私代幣轉移zk-Rollup在隱私領域處于領先地位，他們也是筆者所知的唯一以隱私為重點的以太坊Rollup。Aztec預計將很快推出其下一個迭代，Aztecconnect，它使用戶能夠隱私訪問EthereumDeFi。這與使用Tornado.cash之類的應用相比是一個很大的進步，因為Tornado.cash的隱私只能通過混幣來實現，而不能直接「隱藏」交易。

zk-Rollups已經非常復雜了，再加上隱私問題就更復雜了。zk-Rollups有可能永遠不會達到隱私可組合智能合約的狀態。正因為如此，隱私可能會通過特定的應用鏈出現，無論是通過zk-Rollups還是zk-Rollup之上的Validiums。

其他各種各樣的zk-Rollups也已經在逐漸顯露頭角，包括Scroll和Polygon的各種項目。zk-Rollups之間的一個很大的區別是使用自定義虛擬機或zkEVM執行環境的區別。它的優點和缺點與OptimisticRollup類似。然而，zk-Rollups在實現zkEVM方面有更多內在的復雜性。正因為如此，有一個非常有力的案例可以證明采用自定義虛擬機和語言的路線，如StarkNet和Cairo。

SovereignRollup

Rollup類別中的最后兩個目前還僅僅存在于理論之中。SovereignRollup與常見的Rollup的區別在于它有一個分叉選擇規則，允許它獨立于其基礎層進行分叉。相反，一個普通的Rollup會將其分叉選擇權委托給它的結算層，因為它需要確保Rollup的正確性。

SovereignRollup在像Celestia這樣的DA層上最為突出，在那里，Rollup交易的正確性不由DA層來保證。正因為如此，像Celestia這樣的Rollup交易是默認的Sovereign交易，因為他們必須通過欺詐/有效性證明和分叉選擇來確保自己的交易正確性。這不應該被誤認為是共識，Celestia提供的共識是關于交易排序的協議。

對于樂觀的SovereignRollup，交易被認為是正確的，所以Rollup節點只需要從Celestia下載塊數據。zk-SovereignRollup通過有效性證明來確保正確性，這些證明將通過p2p網絡在Rollup節點之間分發。

SovereignRollup的重要性正體現在他們的分叉能力上，這使得Rollup能夠真正獨立于其基礎層。

結算Rollup

結算層是一種專門為結算而建立的SovereignRollup體。重要的是，結算層是任何與Rollup具備雙向信任最小化橋梁的區塊鏈。該橋梁使代幣可以在Rollup層和結算層之間雙向轉移。信任最小化是橋梁的一個屬性，其中通信只依賴于通過驗證數據可用性和欺詐/有效性證明的誠實少數人假設。

和任何結算層一樣，結算Rollup的目的是為「Rollup」提供一個環境，以驗證證明、解決爭端和橋接代幣。雖然，從技術上講，在結算之上的「Rollup」是混合型的，因為它們通過結算Rollup所處的數據可用性層使用鏈外DA，這使它們成為一個驗證層或一個樂觀的驗證層。

混合型

Validium

Validium是一種混合型的zk-Rollup，交易數據在鏈外發布，這意味著除了用于驗證有效性證明的結算層之外，還依賴外部環境。StarkEx是唯一已經上線的驗證體的實例。StarkEx是一個特定應用的驗證器，目前支持三個應用：ImmutableX、Sorare和DeversiFi。StarkEx還支持zk-Rollup模式，該模式被當下TVL第二大的Rollup應用DyDx使用。

StarkEx使用了一個數據可用性委員會，該委員會由一組受信任的各方組成，為StarkEx的驗證體提供數據可用性。雖然將數據可用性委托給一個許可委員會降低了安全性，但它使StarkEx的驗證人能夠提供比zk-Rollups更便宜的交易。成本降低是可能的，因為向以太坊發布數據是很昂貴的，而這也是造成Rollup交易費用的主要可變成本。

附帶DAC的Validium的一些安全問題可以通過使用外部數據可用性層來減少。安全性的主要增加來自于區塊鏈提供的加密經濟安全，節點可以因為不誠實的活動而被監禁和砍掉。這種實施的有效性是對「Rollup」的成本-安全權衡的一個有趣實驗。

?圖片來源：Celestia

OptimisticValidium

與Validium一樣，OptimisticValidium也是一種混合的OptimisticRollup，其中交易數據被發布到鏈外。對于這種特定的混合體應該被稱為什么，還沒有達成普遍共識。

Metis是目前唯一的OptimisticValidium實例。需要注意的是，OptimisticValidium的安全度相比其對應的Validium更弱一些，因為數據的可用性是生成欺詐證明和成功解決爭端所必需的。如果發生了糾紛，而有關狀態轉換的數據不可用，那么欺詐證明就不能證明欺詐。正因為如此，如果鏈外數據可用性提供者未能提供數據，資金就會從OptimisticValidium中被盜。

Volition

通過zk-Rollup和Validium的結合，還有一種混合型Rollup，即Volition。Volition讓用戶可以選擇鏈上或鏈下的數據可用性。這種選擇是在個人交易層面上做出的，鏈外數據代表更便宜的費用和更低的安全性，而鏈上數據則導致更高的費用和更高的安全性。這給了用戶由個別系統提供的選擇自由，而不是明確地尋找適合用戶的成本-安全偏好的鏈路。

目前，zkSync2.0是唯一公開宣布的開發中的Volition。在zkSync2.0中，鏈上數據由以太坊提供，而鏈下數據則由他們自己的專用PoS鏈提供，稱為zkPorter。不過由于目前缺乏細節信息的披露，因此只能猜測未來StarkWare將為StarkEx或StarkNet提供一個用戶自定義的選項。

Adamantium

Adamantium是一種每個人都要親自向網絡提供自己數據的Validium。個人的交易數據由個人存儲，并且他們必須保持在線以證明每個區塊的數據可用性。如果用戶不在線，或者未能證明，那么他們的資金就會自動撤回到鏈上的結算層。雖然StarkWare提出了Adamantium的設計，但目前還沒有任何團隊在這方面取得了更多進展。而未來這種假設如若能夠順利落地，那么對于那些希望對自己的安全進行更多個人控制的用戶或實體來說，可能會非常有吸引力。

EnshrinedRollup

EnshrinedRollup是一個由現有區塊鏈一部分組成的Rollup。簡單地說，它是一個執行分片。在以太坊2.0提案和其他類似的分片區塊鏈中看到的EnshrinedRollup和執行分片之間的區別是，執行分片被提議為單片。全局驗證器組將被分割成委員會，并分配給一個特定的分片，作為驗證器組。執行分片將作為一個獨立的區塊鏈，有自己的執行、共識和數據可用性，但它將檢查點返回到「信標鏈」，類似于側鏈檢查點回到他們選擇的鏈。理論上，一個以太坊的Rollup將只做執行，并使用信標鏈來驗證數據可用性和欺詐/有效性證明。

Tags：ROLROLLPTIMISAITROLLSroll幣出獠牙肩幾率OptionRoomThemis Chain

AAVE