在展開對 Optimism Rollup 和 ZK Rollup 的對比分析之前,我們需要先了解 Rollup 的誕生背景。
Rollup 被認為是以太坊擴容的終極解決方案,它在第 1 層之外執行交易,卻在第 1 層發布交易數據。這使得 Rollup 可以擴展網絡,并仍然從以太坊共識中獲得安全性。整個過程本質上是執行交易、獲取數據、壓縮數據,并將其以單個批次的形式匯總到主鏈上,因此得名「Rollup」。
實際上,Rollup 的研究熱度與以太坊近年來的發展息息相關。以太坊擴容一直是加密領域討論最多的話題之一。無論是 2017 年的 CryptoKitties 熱潮,還是 2020 年的 DeFi 夏季、 2021 年初的加密貨幣牛市,對以太坊需求的高漲使得擴容辯論不斷升溫,Gas 費用飆升讓用戶支付的交易費用更加昂貴。
與此同時,在 Web3 高速發展的背景下,以太坊日益成為了數千個 DApp 的宿主。龐大的交易量勢必會帶來運行速度的限制,使得以太坊上項目交易速度越來越慢,用戶也留存度逐漸下滑。
基于此,尋找完美的擴容方案,成了多個團隊和整個以太坊社區的重要目標。一般而言,以太坊的擴展方案一共有 3 種主要方式:擴展區塊鏈本身——第 1 層(Layer 1 )擴容;在第 1 層之上構建——第 2 層(Layer 2 )擴容和在第 1 層一側構建側鏈。
超45萬地址參與Optimism Quests活動,累計為Optimism引入超38萬新地址:1月18日消息,Optimism Quests第一季活動已于1月17日結束,據Dune Analytics數據,共有456,722個地址參與Optimism Quests活動,NFT總鑄造數量為341.9萬枚,平均每個地址鑄造7.49枚NFT。此外,此次奧德賽活動累計為Optimism引入超38萬新地址。[2023/1/18 11:18:09]
那么 Rollup 的擴容原理就是將數百個已處理的交易匯總成一個批次并在與以太坊主網平行的 L2 鏈上執行交易,最終完成的交易再按批次發布到底層(L1, Layer 1 )區塊鏈,以此來提升交易速度,降低 Gas 費用。
在一眾 Rollup 方案中,Optimistic Rollup 和 ZK Rollup 都有著不俗的表現。事實上,Optimistic Rollup 和 ZK Rollup 的執行原理大同小異,區別在于驗證方式。今天,就讓我們走近這兩種卓越的擴容方案,比較它們在具體執行過程中的優劣勢,并積極展望下一代以太坊擴容方案的理想模式。
Optimistic Rollup,如其名所言采取的是“樂觀”機制 ——欺詐證明(Fraud proofs)。系統默認執行交易數據的可靠性,無需經過有效驗證便會直接進入等待期,等待期里有任何節點提出異議并佐證為惡意交易,則取消交易;若無異議,等待期結束即交易完成并寫入區塊。“欺詐證明”的交易方案省去了大規模的部署驗證,從而節省了計算資源,保證了交易的確切性。
Optimism鎖倉量跌至8.25億美元,7日減少9.16%:金色財經報道,L2BEAT數據顯示,截至6月9日,以太坊Layer2上總鎖倉量為49.1億美元。其中鎖倉量最高的為擴容方案Arbitrum,約24.8億美元,占比50.55%。其次是dYdX,鎖倉量9.52億美元,占比19.40%。Optimism排名第三,鎖倉量8.25億美元,占比16.81,7日減少9.16%。當前OP代幣價格0.84USDT,今日跌幅12.05%。
此前報道,一名黑客利用Wintermute技術失誤盜取2000萬個Optimism代幣。[2022/6/9 4:13:36]
在 Optimistic Rollup 中,突出的方案為 Arbitrum 和 Optimism。Optimism 雖為第一個發明與 EVM 兼容的 Optimistic Rollup 協議,但囿于主網啟動延遲讓 Arbitrum 獲得了后發優勢。
Optimism:單輪非交互式欺詐證明
Optimism 使用智能合約,將交易數據從以太坊主鏈轉移到 Layer 2 ,定序器可以將多個交易捆綁成一個批次,然后通過單個交易將該批次提交回主。定序器在所有交易都有效的假設下,樂觀地執行相應流程。系統設置一周的等待期,在此期間任何質疑都可被提出,如有異常就會生成欺詐證明。
閃電貸平臺Equalizer Finance將在Optimism上部署協議:3月15日消息,閃電貸平臺 Equalizer Finance 宣布將在以太坊二層解決方案 Optimism 上部署閃電貸協議,這是繼其 1 月在 Polygon 上完成閃電貸協議部署后的第二次集成。[2022/3/15 13:57:03]
Arbitrum:多輪交互型欺詐性證明
Arbitrum 于 2021 年 5 月 28 日在以太坊主網上啟動。整體上執行的流程差別不大,主要是在于 Arbitrum 的驗證人和挑戰者在鏈下通過二分法的方式不斷拆分存在爭議的步驟,直至將爭議范圍縮減到某個具體步驟,再到 L1 鏈上對相應步驟進行判定,高效解決爭議。因此,相比 Optimism 來說, Arbitrum 能承載更高的交易容量,實現更徹底的“追根溯源”。
ZK Rollup(零知識證明),這一概念在 1980 年時被麻省理工的研究人員引入,一度將其稱為“月亮數學”。
ZK Rollup 是通過零知識有效性證明的擴容方案。它分批處理鏈下交易,并生成加密有效性證明來驗證交易真實性。這些有效性證明將批量交易添加到 L1 區塊鏈,可被 L1 合約快速驗證,而無效批次則會被直接拒絕。
如果說 Optimistic rollups 假設每個參與交易的人都出于善意做事,那么 ZK Rollup 則竭力確定情況確實如此。目前,ZK Rollup 版圖主要有 Hermez、ZKSync 等。
以太坊技術服務商OpenZeppelin發布Optimism智能合約審計報告:11月25日消息,以太坊技術服務商OpenZeppelin發布Optimism智能合約審計報告。從2021年3月15日開始,OpenZeppelin在7周的時間里與3位審計師一起審計了Optimism的代碼庫,共發現4個嚴重和4個高度嚴重的問題,并提出修改建議以減少代碼的攻擊面和提高其整體質量。[2021/11/25 7:10:43]
Hermez:生成簡潔的非交互式知識論證
Hermez 可以生成 SNARK(簡潔的非交互式知識論證)的密碼證明,具備將以太坊擴展到每秒 2000 筆交易的能力。該體系主要依靠協調員處理并生成有效性證明,協調員通過拍賣程序選出,注冊的網絡節點會出價成為下一個協調員。目前,Hermez 團隊已宣布他們正在開發零知識的以太坊虛擬機 (ZKEMV),旨在實現完全的操作碼兼容性。
ZKSync:生成簡潔的非交互式知識論證
ZKSync 將自己的項目描述為一個擴展和隱私引擎,支持在以太坊中進行 Ether 和 ERC-20 代幣的低 Gas 傳輸。在 ZKSync 中,只有一個驗證者處理批次并生成有效性證明。現已推出 ZKSync 2.0 ,作為鏈下數據可用性解決方案,確認質押和數據可用性,同時保障監護人無法竊取資金。
加拿大上市區塊鏈公司Graph Blockchain將收購AI加密分析工具公司Optimum Coin Analyzer:加拿大上市區塊鏈公司Graph Blockchain宣布已針對收購AI加密分析工具公司Optimum Coin Analyzer簽訂有約束力的意向書。Graph將收購Optimum所有已發行和流通的股票。Graph和Optimum將在意向書發出之日起20日內完成相互的盡職調查,隨后,Graph和Optimum將簽訂完成收購的股票交易協議。Optimum使用AI分析引擎檢索、觀察和分析社交媒體數據,以追蹤各類指標人物,監控并提供情緒、相關性及預測性分析。Graph CEO Paul Haber表示:“收購Optimum的目的是幫助管理山寨幣投資組合,改善決策,幫助加密投資者優化投資回報。”(雅虎財經)[2021/8/10 1:45:10]
Optimism 和 ZK 從踏入市場開始,便走入了兩條不同的擴容方案道路。欺詐式證明和有效性證明,對應的是開發者和用戶不同的使用需求,從而在吞吐量、時效性、成本等各方面展現各自的“高光屬性”。具體可以從以下幾個方面思考不同的開發場景需求,在這兩者間做出相應的選擇。
Optimism 無需大規模部署驗證,在假設所有交易都是有效的前提下,節省了大量開發步驟,并將這些驗證信息發布到基礎層。這種得益于在樂觀的情況下,不需要做任何額外的工作,就能極大降低了技術人員的開發門檻,節省了大量時間、精力、金錢成本。如果開發者想在短時間內上手 Rollup 解決方案,Optimism 當是首選,數據表明 Optimistim 可以提供高達 10-100 倍的可擴展性改進。
相較而言,ZK Rollup 需要提供有效性證明并一一提交給主網,這一步驟帶來的技術開發難度遠高于 Optimism。常有新手開發者嘗試使用 ZK Rollup 時面臨錯誤百出的情況,反而降低了擴容效率和運行速度。
Optimism 的互操作性很強,也可以執行智能合約。這讓 Optimism 在 L2 上具備更多靈活操作的空間,以用戶共同參與的行為,讓 Optimism 的運作更具備“信任度”,從而贏得了更好的數據保護、確定的交易雙方權利等附加優勢。值得一提的是,如 Fuel、OMGX、Cartesi 等團隊中的大多數人也試圖為他們的 Rollups 開發一個與 EVM 兼容的版本,讓 Optimism 的可適性更強,性能更出眾。
而 ZK Rollup 目前大多限于簡單的交易,這給 ZK Rollup 的擴展帶來了諸多局限。因此,目前 ZK 只能通過 ZKSync 開發的兼容 EMV 虛擬機,來支持任何用 Solidity 編寫的智能合約,開拓其應用空間。或者憑借 Loopring、Hermez 和 ZKTube 來擴展支付規模,引入隱私功能等。
作為保障用戶交易和提供確權證明的機制,交易后資金的提取速度也是開發者和用戶選擇的關鍵。而在這個角度上,ZK Rollup 反倒更有優勢。Optimistim 的爭議解決過程繁瑣,必須給所有參與者足夠的時間來提交欺詐證明,然后再最終確定交易。這段時間相當長,畢竟在確保最壞的情況下,欺詐性交易仍有可能被申訴。從 Optimistim 中提取資金的時間長達一兩周。
相較之下,ZK Rollup 不存在長時間提現的問題,因為只要將 Rollup 批次連同有效性證明提交到第 1 層,資金就可以提現。這無形中節約了用戶的時間成本,也促使更多交易流通加快實現,提升了交易環境的整體效率。
目前,ZK Rollup 使用復雜的數學計算和密碼學來確保交易在 ETH 主鏈上被 "結算",這在驗證本質上不同于 Optimistim。像 SNARK、STARK、PLONK 和 DARK ,這些部署在 ZK Rollup 上的證明策略都包括數據足跡、證明時間、驗證時間、串通風險等方面各自安全強度和風險證明。
可見,相比單純的欺詐性證明來說,ZK 在安全隱私保護上設置了多重保障與驗證機制,確保交易驗證的嚴謹周到。還有如 Aztec 正專注于將隱私功能引入其 ZK Rollup 技術,從而完善 ZK Rollup 的隱私機制。
正如我們所看到的那樣,Optimism 和 ZK 作為 Rollup 解決方案上“各有千秋”。新的一年,它們仍將在各自的道路上革新迭代,或許我們可以期待 2023 年 Optimism 和 ZK 這兩種擴容方案會應用到更多實際項目中去,持續為以太坊的發展賦能加碼。
目前來說,我們只能得出 Layer 2 將在使以太坊更具可擴展性方面發揮重要作用的結論,但是何種 Rollup 解決方案更勝一籌?則不能有明確的說法。毫無疑問的是,Optmism 與 ZK 會朝著成為 Web3 世界 Rollup 方向的“黑馬”推出更多優化舉措。
長期來看,或許隨著 ZK 相關技術的不斷發展,ZK Rollup 的局限性會被打破,迸發出強勁的應用潛力。我們也希望在未來的時光里,這兩種 Rollup 方案能夠實現優勢互補,將安全隱私、時效成本、開發門檻等因素的融合為更加優質的產品,打開一個新世界。正如我們所看到的那樣,Optimism 和 ZK 作為 Rollup 解決方案上“各有千秋”。新的一年,它們仍將在各自的道路上革新迭代,或許我們可以期待 2023 年 Optimism 和 ZK 這兩種擴容方案會應用到更多實際項目中去,持續為以太坊的發展賦能加碼。
參考文獻:
Optimistic、zk-Rollups、L3...以太坊的可擴展性研究現在已經走到了哪一步?
以太坊的擴容之路
深度|如何理解 ZK 和 Optimistic Rollup 的前景和區別?
Optimistic Rollups VS ZK Rollups :六個最令人興奮的以太坊 Layer 2 擴展項目
Optimism 的未來:Bedrock 升級,Rollup 去中心化以及融合 ZK 方案
科普 | ZK Rollup & Optimistic Rollup
L2 Rollup 的競爭現狀和挑戰
TinTinLand
個人專欄
閱讀更多
金色財經
金色早8點
澎湃新聞
Odaily星球日報
Arcane Labs
深潮TechFlow
歐科云鏈
鏈得得
MarsBit
BTCStudy
原文作者:DeFi Cheetah。這個帖子是關于我對 DEX 的分析框架:為什么我認為 Curve Finance 優于 Uniswap,以及為什么 Uni v3 是一個錯誤的產品!簡而言之,
1900/1/1 0:00:00兩年過去了,元宇宙還「火」嗎?答案是肯定的,2023年才剛剛開始,連「酒中之王」茅臺也投入了元宇宙的懷抱,還正式上線了元宇宙平臺APP「巽風」.
1900/1/1 0:00:00DeFi數據 1、DeFi代幣總市值:457.79億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量34.
1900/1/1 0:00:00撰文:比得潘 近期,原三箭資本聯創 Su Zhu 正在參與籌建的一家新中心化加密交易平臺「GTX」的消息,引發了行業的熱議,同時也讓行業的目光聚焦到了這個針對加密資產形成的債權交易市場.
1900/1/1 0:00:00在數字經濟浪潮下,元宇宙產業正在加速融入到各行各業中。虛實共生和去中心化是元宇宙時代的特色,1月16日,《Web3.0的未來及.Meta元宇宙發布會》將在上億傳媒視頻號隆重開啟.
1900/1/1 0:00:00非托管、無需許可的 DeFi 原生資產管理即將到來。事實證明,加密原生代行之有效的方法正在慢慢從全球公民到機構和高凈值個人,在某個地方,新的貝萊德(Blackrock)和富達(Fidelity).
1900/1/1 0:00:00