ROL:Rollup解決方案的權衡研究

隨著以太坊生態的發展拉動人們對區塊空間的需求增長，以太坊基礎層上的交易變得極其昂貴。然而，區塊空間供應量仍保持不變。與DeFi應用交互需要支付價值數百美元的gas費，讓許多終端用戶望而卻步。Rollup旨在用戶的交易轉移到成本較低的Layer2上執行，然后再將這些L2交易的證明批量打包到一個L1交易中并提交到Layer1上進行結算，從而大幅減少對區塊空間的占用，緩解對Layer1的需求壓力。

Rollup分為多種類型，在吞吐量、延遲、安全性、通用性和運行成本上有著不同的權衡關系。本文圍繞這些權衡關系制定了一個Rollup分析框架，并分析了這個框架為何適用于不同的Rollup實現。我們希望這個框架能為項目方按需選擇Rollup方案提供基本參考。

介紹

自以太坊誕生以來，其吞吐量限制就已是眾所周知的問題。采用權益證明和分片機制的ETH2.0一直被視為可擴展性問題的解決方案。雖然ETH2.0在2020年12月就啟動Phase0并上線信標鏈，但是在Phase2啟動之前還無法有效緩解可擴展性和吞吐量問題。

與此同時，Rollup實際上已經成為緩解可擴展性問題的短期解決方案。在最近的一篇文章中，Vitalik提出了一個基于Rollup的以太坊路線圖，稱“以太坊生態有可能在短期和中期完全依賴Rollup方案來實現可擴展性”，很多團隊已經開始努力實現該路線圖。點擊此處，閱讀Vitalik對Rollup的全面解析。

Rollup在2020年取得了巨大發展：FuelLabs和Optimistic在主網發布了第一版OptimisticRollup；Loopring的ZK-Rollup的總鎖倉量已超過1億美元；Starkware推出了Cairo工具鏈，方便開發者使用零知識證明技術。我們看到rollup技術有了很多突破，包括Aztec和ZkSync通過改進PLONK引入遞歸計算能力。在2021年，我們還將看到更多進展。

基于ZK Rollup的訂單簿DEX DeGate正式上線主網Beta版本:5月3日消息，基于ZK Rollup的訂單簿DEX DeGate正式上線主網Beta版本，此前DeGate進行早期采用者NFT通行證鑄造活動，從主網Beta版本發布開始的首個星期，協議僅限DeGate NFT鑄造者訪問，之后將向公眾開放。

此前報道，DeGate已通過Trail of Bits、Least Authority、Secbit多家審計機構的審計，同時與Immunefi合作推出的111萬美元的漏洞賞金計劃也正在進行中。[2023/5/4 14:40:52]

在以太坊的基礎上構建一個單獨的層非常復雜，而且分析現有的Rollup實現并非易事。Rollup團隊都在大力宣傳其解決方案在理論上的最佳性能和功能，但是其風險和權衡的相關信息卻鮮為人知。讓我們來深入研究如何分析Rollup的權衡關系和風險，以及現有實現與這些風險模型的相符程度。

分析框架

我們定義并解釋了Rollup的主要考量因素——安全性、通用性、成本、延遲、吞吐量、資本要求和用戶體驗——并在此基礎上構建了權衡關系的分析模型。我們可以用這些特征來評價現有實現，這樣不僅可以從微觀上了解每個Rollup的風險和權衡關系，還能從宏觀上把握Rollup的總體情況。

Rollup的衡量標準：

安全性

Rollup的安全性依托于底層Layer1區塊鏈。但是，一些Rollup方案的某些假設及其構建方式也關系到安全性。

1.誠實暸望塔假設

該假設認為至少有一個誠實的“暸望塔”可以在挑戰期內成功將欺詐證明提交給Layer1智能合約。這種假設引入了安全性和延遲之間的權衡，因為挑戰期越長，誠實的暸望塔提交欺詐證明的可能性就越高；反之，挑戰期越短，這一可能性就越低。

以太坊ZK-Rollup擴容方案Taiko計劃在2024年初上線主網:金色財經報道，以太坊ZK-Rollup擴容方案Taiko發文公布路線圖，計劃在本月推出Alpha-2測試網，其中包含無需許可的provers和部分ZK-EVM電路，并在2024年初上線主網，實現完整的ZK-EVM電路、去中心化proposers和provers。[2023/3/10 12:52:48]

2.批量退出假設

該假設認為所有Layer2用戶都能在批量退出期內成功執行退出事務。該假設引入了資本效率的權衡，因為運營者的資金在批量退出期內處于鎖定狀態。

3.起步設置

每個ZK-Rollup方案都使用零知識證明協議來創建有效性證明。零知識證明系統將一個證明需要檢查的邏輯和關系封裝成一個能滿足所有約束條件的電路。零知識證明協議要求在證明器和驗證器之間進行名為“起步設置”的預定義配置。

Zk-Rollup主要有三類設置：可信設置、可更新設置和透明設置。

可信設置：在該設置下，gas成本較低，最大吞吐量較高。但是，每個電路只支持某些固定功能。另外，每次電路升級時，都需要完成可信設置流程。

可更新設置：在該設置下，gas成本較高，最大吞吐量較低。但是，該設置最主要的優點是，無需修改電路即可引入自定義智能合約，這都得益于遞歸性。

透明設置：在該設置下，當Layer2區塊被填滿時，gas成本很低，但是在類似空塊這種非理想情況下，gas成本會變得異常高。

通用性

1.完全兼容EVM

完全兼容EVM指的是Layer2系統完全兼容以太坊主網上已有的智能合約。

Worldcoin：注冊用戶超87萬人，將盡早啟動EVM Rollup:1月3日消息，由前YC首席執行官Sam Altman創立的UBI加密項目Worldcoin在推文中表示，到目前為止，已有超過87萬人注冊了Worldcoin Beta應用程序，每周活躍用戶超過6.9萬人，以太坊的高額Gas費很難支撐Worldcoin發展，因此在積極尋求以太坊的擴展方案，并為EIP4844做了一系列技術貢獻，例如kzg-ceremony-sequencer實現、KZG儀式參與者客戶、支持加密庫（ECC、KZG）等。

目前，Worldcoin使用Polygon上數字資產管理平臺Safe（原GnosisSafe）為用戶提供補貼交易。但之后會盡早采用以太坊Rollups提供更好的安全保證。據悉，Worldcoin去年曾表示目標為兩年內覆蓋超過10億人。[2023/1/3 22:22:20]

2.自定義智能合約

Layer2客戶端可以自定義并引入有限的智能合約。Layer2用戶和合作伙伴可以通過各種工具以zk-SNARK電路的形式引入其智能合約，不過電路會帶來局限性。

3.固定功能

可以加入一些dApp或智能合約，但是必須通過系統升級來實現。

運營者的成本

1.gas成本

最優gas成本：取決于calldata成本和固定成本。

次優gas成本：取決于最優gas成本、固定成本和實現最優gas成本的概率。

固定成本：包括Layer2區塊頭、Layer2區塊根的存儲量和零知識證明的成本。當需求較低時，固定成本將占交易成本的絕大部分。

2.計算成本

V神：phase1后以太坊已有擴展性，rollup就是一種計算分片:對于此前“以太坊2.0或將暫且擱置階段二”一事，V神回應稱，因為我們有rollup，phase1（數據分片）后以太坊已經有擴展性，可以處理每秒10萬交易，所以加內置的計算分配沒有什么用。最好的理解是，rollup就是一種計算分片。Phase 1也并不需要等很長時間，我們已經有個開發者在做測試客戶端。

對于問題“如果走這樣的技術路線，是否意味著phase1即可實現質押金的取回？現在已經質押的ETH，是否可以提早取出？做驗證人的鎖倉期不需要2年了？”V神回復稱，按照最新的路線圖，合并以太坊1.0和2.0甚至不需要分片，所以如果分片居然需要很長的時間這個不會影響合并的時間，合并（和取款）可能會分片之前發生。分片和合并是并行研發的。[2020/11/16 20:58:19]

證明器時間：在Zk-rollup中，證明器需要大量時間來生成證明。證明過程中需要進行大量計算，來驗證證明中的數百萬個限制條件。一般而言，零知識證明的證明器時間取決于電路大小和證明過程中使用的硬件的容量。如果是Plonk，證明器時間可能是2至14分鐘；如果是Loopringv3.0，證明器時間可能是7至10分鐘；如果是Stark，證明器時間可能是3至5分鐘。這是Zk-rollup的硬終局性延遲的主要決定因素。

證明器成本：證明器生成證明所消耗的資源，取決于證明器時間和實證吞吐量。

終局性延遲

硬終局性：敲定Layer2區塊所花費的時間。對OptimisticRollup來說，這個時間就是挑戰期的時長；對Zk-rollup來說則是證明器時間。

軟終局性：將Layer2區塊提交到Layer1上所花費的時間。

動態 | 德國咨詢公司Roland Berger與Core Concept科技公司開展合作:據日本經濟新聞報道，德國著名咨詢Roland Berger旗下日本子公司宣布同日本金融科技公司Core Concept（簡稱：CCT）開展業務合作，將共同推進Roland公司的中小制造業用戶群體所急需的將能將所有信息源鏈接起來的物聯網“IoT”的發展。Roland公司計劃通過此次與CCT在IoT及區塊鏈等技術上的合作來進一步強化其面向制造業用戶群體的咨詢業務。[2018/9/28]

取款時間：一些快速交易方案需要先提交Layer2區塊，再作進一步處理。

吞吐量

理論最大吞吐量：基于鏈上操作的gas成本和以太坊上每個區塊的最大gas。

Zk-rollup的實證吞吐量：

1）實證吞吐量取決于證明器時間。

2）證明成本、實證吞吐量和資本要求之間存在權衡關系。更高的吞吐量需要更高的證明成本和資本要求。

用戶體驗

使用體驗是否與使用以太坊相仿。

資本

資本要求：運營者存儲在智能合約內用來保障系統安全性的資金。

資本效率：流動性提供者/運營者在x時間內鎖定在智能合約里的資金。

所有使用欺詐證明的Rollup必須接受活性假設。該假設引入了安全性和延遲的權衡。Arbitrum的測試網案例將挑戰期設為30分鐘，非常短而且實際上并不安全。這意味著，惡意運營者可以對以太坊發起30分鐘的網絡擁堵攻擊，然后竊取Layer1上的Rollup智能合約中的所有資金。

每當Loopring改變其功能或數據結構時都需要新的設置。

就每30萬筆交易生成一個證明的電路而言，Stark的驗證者需要500萬gas。但是，deversiFi使用的Stark電路是每150筆交易生成一個證明，需要超過200萬gas。。

常規Plonk的證明器時間是2至14分鐘。如果是遞歸Plonk，證明器時間會翻一番，但是生成一個證明需要5至10倍數量的證明器。如果是Loopring中使用的Groth16，證明器時間約為7分鐘。

最優gas成本還取決于Rollup的功能，因此它并不一定能正確反映Rollup的費用。

在1.0版本中，Loopring需要更多時間來收集足夠多的交易打包成一個區塊，因為存款、取款和結算都是相互獨立的。

StarkWare的一個解決方案不提供鏈上數據，而是引入數據可得性委員會。數據可得性委員會的確認會上鏈。

為了解決證明器成本問題，Zksync開發了新的硬件。為了提高最大吞吐量，Zksync和Aztec改進了Plonk中的遞歸電路。

StarkWare專門為證明器打造了硬件，同時也致力于開發基于Stark的解決方案。

Plonk的tps為300，遞歸Plonk的tps為800至3000。

Zk-rollup的實證吞吐量取決于證明器時間。例如，假設有50個證明器：在Plonk中，證明器時間約為720秒，因此實證吞吐量不可能超過50x300/720~20tps。在Loopring中，證明器時間為420秒，因此實證吞吐量為50x2048/420=244tps。

在Optimism的首個Rollup主網版本中，每筆Layer2交易需要消耗2.1萬gas。但是，該團隊承諾會提供一個優化版本，將gas成本降至5000。

Aztec提供的隱私交易需要更多調用數據。

各Rollup方案已公開的理論性能

StarkWare

?判斷標準?已公開最優吞吐量3000tps單個證明所能容納的交易筆數300.000證明器時間3-5分鐘未公開固定成本200-500萬gas延遲6-12小時備注由于固定成本很高，Stark的Rollup方案需要收集到足夠多交易才會對其進行批處理并生成證明。因此，在StarkEx的早期階段，延遲主要取決于交易收集時間。Zksync

?判斷標準?已公開最優吞吐量Plonk的tps是300；遞歸Plonk的tps是800至3000。單個證明所能容納的交易筆數Plonk是大約每100筆交易生成一個證明；遞歸Plonk是每315筆交易生成一個證明。未公開固定成本Plonk的gas成本約為50萬；遞歸Plonk的gas成本約為90萬。證明器時間Plonk的證明器時間是4至12分鐘。證明器成本無法通過鏈上數據推出。實證吞吐量未公開。Loopring

?判斷標準?已公開最優吞吐量2150tps單個證明所能容納的交易筆數2048證明器時間7分鐘固定成本30萬gas未公開實證吞吐量未公開可信設置新版本缺省了一次公開的儀式驗證者成本無法通過鏈上數據推出備注使用zk-SNARK技術就意味著接受可信起步設置假設，即，該設置中的所有參數都應該永久隱藏。如果我們通過流程生成可信起步設置，則只要流程的至少一個參與者完全銷毀了其toxicwaste，這個假設就不會被打破。Arbitrum

?判斷標準?已公開最優gas成本～2000gas最優吞吐量390tps挑戰期在測試網上是30分鐘未公開受保護的資金上限未正式公布備注在OptimisticRollup/Arbitrum方案中，如果Layer2運營者對以太坊發起網絡擁堵攻擊，就可以盜走資金。因此，該Rollup方案保護的資金上限不能超過該攻擊的成本。挑戰期越長，攻擊成本越高。Optimism

?判斷標準?未公開最優gas成本～5000-21000gas最優吞吐量50-200tps挑戰期未公布受保護的資金上限未正式公布備注Optimism沒有提供任何關于其Rollup方案的具體分析。Fuel

?判斷標準?已公開最優gas成本～2000gas最優吞吐量500tps挑戰期2周未公開受保護的資金上限未正式公布備注主網Rollup瀏覽器停在第三個Layer2區塊上。該版本暫無后續信息。挑戰

用戶采用率：對于像Rollup這樣未經過測試和驗證的新技術，用戶通常持有謹慎態度。不明確的權衡關系和復雜性限制了主流采用。

安全性：零知識證明協議的選擇和挑戰期等因素都對Rollup方案的安全性有著極大影響。分析和理解這些選擇并非易事。雖然沒有嵌入零知識證明電路所帶來的復雜性，但是對常規的智能合約進行審計本身就很有挑戰性。對Zk-rollup方案進行審計是很艱巨的任務，只有非常優秀的安全專家才能勝任。

資金要求：在早期階段，Rollup的成本很高，采用率卻一直很低。為一小部分用戶創建并定期運行Rollup需要投入大量資金。在某些情況下，資金要求直接影響Layer2系統的安全性。因此，為了保障Rollup的健康運行，建立一個經濟系統是必不可少的。

總結

Rollup技術是以太坊可擴展性問題的可行解決方案之一。目前有多種實現并部署Rollup的方法。鑒于該技術的復雜性和多種權衡關系，我們需要了解相關風險。對于那些部署Rollup的團隊和在Rollup上部署dApp的團隊來說，安全性、可用性、成本和吞吐量都是在設計解決方案時需要考慮的因素。

在這個大背景下，KyberNetwork認識到為用戶提供經濟快捷的交易方式的重要性。因此，我們投入了大量資源來研究并構建Rollup解決方案，以便更好地服務于我們的未來計劃。我們將適時公布更加詳細的信息，希望本文能助你理解并評估Rollup技術。

原文鏈接:

https://blog.kyber.network/research-trade-offs-in-rollup-solutions-a1084d2b444

作者:?TrongNguyen&LoiLuu

翻譯&校對:?閔敏&阿劍

科普|Rollup為何能成為當下最火的Layer2方案

Tags：ROLROLLGASLAYERRolaz Goldroll幣怎么用UGASMetaPlayers.gg

波場