在展開對OptimismRollup和ZKRollup的對比分析之前,我們需要先了解Rollup的誕生背景。
Rollup被認為是以太坊擴容的終極解決方案,它在第1層之外執行交易,卻在第1層發布交易數據。這使得Rollup可以擴展網絡,并仍然從以太坊共識中獲得安全性。整個過程本質上是執行交易、獲取數據、壓縮數據,并將其以單個批次的形式匯總到主鏈上,因此得名「Rollup」。
為什需要Rollup擴容方案?
實際上,Rollup的研究熱度與以太坊近年來的發展息息相關。以太坊擴容一直是加密領域討論最多的話題之一。無論是2017年的CryptoKitties熱潮,還是2020年的DeFi夏季、2021年初的加密貨幣牛市,對以太坊需求的高漲使得擴容辯論不斷升溫,Gas費用飆升讓用戶支付的交易費用更加昂貴。
與此同時,在Web3高速發展的背景下,以太坊日益成為了數千個DApp的宿主。龐大的交易量勢必會帶來運行速度的限制,使得以太坊上項目交易速度越來越慢,用戶也留存度逐漸下滑。
基于此,尋找完美的擴容方案,成了多個團隊和整個以太坊社區的重要目標。一般而言,以太坊的擴展方案一共有3種主要方式:擴展區塊鏈本身——第1層擴容;在第1層之上構建——第2層擴容和在第1層一側構建側鏈。
那么Rollup的擴容原理就是將數百個已處理的交易匯總成一個批次并在與以太坊主網平行的L2鏈上執行交易,最終完成的交易再按批次發布到底層區塊鏈,以此來提升交易速度,降低Gas費用。
Optimism、Aptos和Ape Coin將于本月釋放總價值超過1億美元的代幣進入流通供應:金色財經報道,加密網絡Optimism、Aptos和Ape Coin將于本月進行大量代幣解鎖,釋放總價值超過1億美元的代幣進入流通供應。
據Token Unlocks數據,Ape Coin將于7月17日發行1560萬個APE代幣,占其流通量的4.23%,價值3430萬美元。大部分解鎖資金(1620萬美元)將歸項目金庫,其中920萬美元歸開發商Yuga Labs,490萬美元歸其創始人。Ape Coin在6月份發行了相同數量的貨幣。
根據Coin Gecko的數據,解鎖后,APE的價格從2.10美元下跌約5%至1.98美元,然后恢復至2.21美元。[2023/7/4 22:16:17]
在一眾Rollup方案中,OptimisticRollup和ZKRollup都有著不俗的表現。事實上,OptimisticRollup和ZKRollup的執行原理大同小異,區別在于驗證方式。今天,就讓我們走近這兩種卓越的擴容方案,比較它們在具體執行過程中的優劣勢,并積極展望下一代以太坊擴容方案的理想模式。
解密Optimism與ZK的版圖體系
Optimism
Optimism計劃12月13日公開演練將Goerli網絡遷移至Bedrock:12月6日消息,Optimism宣布計劃在北京時間12月13日2:00公開演練將Optimism Goerli遷移到Bedrock。Optimism對現有的L1 Goerli和Optimism Goerli網絡進行分叉,將在兩個網絡上運行完整的端到端遷移,這大約需要一個小時。預演結束后,分叉的Optimism Goerli網絡將升級為Bedrock。此次遷移演練主要針對基礎設施提供商和運行節點。
據此前報道,今年5月,Optimism宣布推出去中心化Rollup基礎架構Bedrock,該架構盡可能重用以太坊的代碼、基礎設施和設計模式,并表示“EVM等效”已是過去時,Bedrock帶來的是“以太坊等效”。
Optimism表示,Bedrock將作為交互式故障證明系統Cannon的基礎架構進行發布,其優勢包括交易費用降低、最大吞吐量提升、節點同步速度提高。[2022/12/6 21:26:18]
OptimisticRollup,如其名所言采取的是“樂觀”機制——欺詐證明。系統默認執行交易數據的可靠性,無需經過有效驗證便會直接進入等待期,等待期里有任何節點提出異議并佐證為惡意交易,則取消交易;若無異議,等待期結束即交易完成并寫入區塊。“欺詐證明”的交易方案省去了大規模的部署驗證,從而節省了計算資源,保證了交易的確切性。
在OptimisticRollup中,突出的方案為Arbitrum和Optimism。Optimism雖為第一個發明與EVM兼容的OptimisticRollup協議,但囿于主網啟動延遲讓Arbitrum獲得了后發優勢。
Optimism上鎖倉額較7日前增加85% 創新高:金色財經消息,據L2Beat數據顯示,Optimism上鎖倉額較7天前增加約85.27%,目前約為9.08億美元,不過OP代幣占據鎖倉額的近30%。另外,Optimism網絡交易筆數也在6月1日達到歷史新高,為超48萬筆,當日新地址數達近4萬個。Optimism還在今日更新稱,自從去年實現EVM等效性以來,Optimism上交易正式突破了1000萬筆。[2022/6/3 3:59:30]
Optimism:單輪非交互式欺詐證明
Optimism使用智能合約,將交易數據從以太坊主鏈轉移到Layer2,定序器可以將多個交易捆綁成一個批次,然后通過單個交易將該批次提交回主。定序器在所有交易都有效的假設下,樂觀地執行相應流程。系統設置一周的等待期,在此期間任何質疑都可被提出,如有異常就會生成欺詐證明。
Arbitrum:多輪交互型欺詐性證明
Arbitrum于2021年5月28日在以太坊主網上啟動。整體上執行的流程差別不大,主要是在于Arbitrum的驗證人和挑戰者在鏈下通過二分法的方式不斷拆分存在爭議的步驟,直至將爭議范圍縮減到某個具體步驟,再到L1鏈上對相應步驟進行判定,高效解決爭議。因此,相比Optimism來說,Arbitrum能承載更高的交易容量,實現更徹底的“追根溯源”。
MakerDAO為Optimism提供二層DAI快速提款解決方案:3月10日消息,MakerDAO智能合約團隊即將推出解決方案Optimism DaiBridge,可解決Optimistic Rollup需要1周提款時間的問題。具體來說,該解決方案允許鎖定L1DAI來鑄造L2oDAI,并允許oDAI即時被銷毀以訪問L1DAI。MakerDAO將于今年第三或第四季度支持快速提款功能,允許從oDAI遷移到DAI,并立即結算。MakerDAO智能合約團隊成員表示,“不同于側鏈,所有用于重建Optimistic虛擬機(OVM)狀態的數據都在Layer1上存在于規范交易鏈(CTC),盡管必須等待1周才能確保CTC的計算結果正確無誤,但我們可以在幾分鐘內獲得鏈下證據,證明單個交易正確無誤。”[2021/3/10 18:31:30]
ZKRollup
ZKRollup,這一概念在1980年時被麻省理工的研究人員引入,一度將其稱為“月亮數學”。
ZKRollup是通過零知識有效性證明的擴容方案。它分批處理鏈下交易,并生成加密有效性證明來驗證交易真實性。這些有效性證明將批量交易添加到L1區塊鏈,可被L1合約快速驗證,而無效批次則會被直接拒絕。
如果說Optimisticrollups假設每個參與交易的人都出于善意做事,那么ZKRollup則竭力確定情況確實如此。目前,ZKRollup版圖主要有Hermez、ZKSync等。
比特幣核心開發者Peter Todd指責Optimism開發者在以太坊主網上測試錯誤:以太坊二層擴容解決方案Optimism開發者發推表示,Optimistic虛擬機(OVM)依賴于其在6個月之前分叉的Geth版本,之后我們在分叉版本上發現了一個錯誤,但不清楚根本原因,直到昨晚,我們意識到該錯誤實際上存在于geth舊版本中,可能會導致尚未升級的節點不同步。由于在ethernodes.org上發現幾乎所有節點都進行了升級,因此我們決定測試該錯誤,但我們犯了一個錯誤,沒有考慮到未升級的少數節點。從這件事中學到的教訓是,永遠不要低估一個人的行為在去中心化網絡中所產生的影響。目前Geth團隊正在就如何使用開源軟件的獨特需求進行討論。對此,比特幣核心開發者PeterTodd發推稱,“結果證明所謂的以太坊分叉是由開發人員自己觸發的,開發人員為找出一個錯誤而在主網上進行測試。無論如何,這表明‘多實現方式’有多么瘋狂。”[2020/11/12 12:24:28]
Hermez:生成簡潔的非交互式知識論證
Hermez可以生成SNARK的密碼證明,具備將以太坊擴展到每秒2000筆交易的能力。該體系主要依靠協調員處理并生成有效性證明,協調員通過拍賣程序選出,注冊的網絡節點會出價成為下一個協調員。目前,Hermez團隊已宣布他們正在開發零知識的以太坊虛擬機(ZKEMV),旨在實現完全的操作碼兼容性。
zkSync:生成簡潔的非交互式知識論證
zkSync將自己的項目描述為一個擴展和隱私引擎,支持在以太坊中進行Ether和ERC-20代幣的低Gas傳輸。在zkSync中,只有一個驗證者處理批次并生成有效性證明。現已推出zkSync2.0,作為鏈下數據可用性解決方案,確認質押和數據可用性,同時保障監護人無法竊取資金。
OptimismVSZK:誰更勝一籌?
Optimism和ZK從踏入市場開始,便走入了兩條不同的擴容方案道路。欺詐式證明和有效性證明,對應的是開發者和用戶不同的使用需求,從而在吞吐量、時效性、成本等各方面展現各自的“高光屬性”。具體可以從以下幾個方面思考不同的開發場景需求,在這兩者間做出相應的選擇。
開發門檻與使用成本
Optimism無需大規模部署驗證,在假設所有交易都是有效的前提下,節省了大量開發步驟,并將這些驗證信息發布到基礎層。這種得益于在樂觀的情況下,不需要做任何額外的工作,就能極大降低了技術人員的開發門檻,節省了大量時間、精力、金錢成本。如果開發者想在短時間內上手Rollup解決方案,Optimism當是首選,數據表明Optimistim可以提供高達10-100倍的可擴展性改進。
相較而言,ZKRollup需要提供有效性證明并一一提交給主網,這一步驟帶來的技術開發難度遠高于Optimism。常有新手開發者嘗試使用ZKRollup時面臨錯誤百出的情況,反而降低了擴容效率和運行速度。
智能合約可執行性
Optimism的互操作性很強,也可以執行智能合約。這讓Optimism在L2上具備更多靈活操作的空間,以用戶共同參與的行為,讓Optimism的運作更具備“信任度”,從而贏得了更好的數據保護、確定的交易雙方權利等附加優勢。值得一提的是,如Fuel、OMGX、Cartesi等團隊中的大多數人也試圖為他們的Rollups開發一個與EVM兼容的版本,讓Optimism的可適性更強,性能更出眾。
而ZKRollup目前大多限于簡單的交易,這給ZKRollup的擴展帶來了諸多局限。因此,目前ZK只能通過ZKSync開發的兼容EMV虛擬機,來支持任何用Solidity編寫的智能合約,開拓其應用空間。或者憑借Loopring、Hermez和ZKTube來擴展支付規模,引入隱私功能等。
提取資金的執行效率
作為保障用戶交易和提供確權證明的機制,交易后資金的提取速度也是開發者和用戶選擇的關鍵。而在這個角度上,ZKRollup反倒更有優勢。Optimistim的爭議解決過程繁瑣,必須給所有參與者足夠的時間來提交欺詐證明,然后再最終確定交易。這段時間相當長,畢竟在確保最壞的情況下,欺詐性交易仍有可能被申訴。從Optimistim中提取資金的時間長達一兩周。
相較之下,ZKRollup不存在長時間提現的問題,因為只要將Rollup批次連同有效性證明提交到第1層,資金就可以提現。這無形中節約了用戶的時間成本,也促使更多交易流通加快實現,提升了交易環境的整體效率。
安全隱私保護的力度
目前,ZKRollup使用復雜的數學計算和密碼學來確保交易在ETH主鏈上被"結算",這在驗證本質上不同于Optimistim。像SNARK、STARK、PLONK和DARK,這些部署在ZKRollup上的證明策略都包括數據足跡、證明時間、驗證時間、串通風險等方面各自安全強度和風險證明。
可見,相比單純的欺詐性證明來說,ZK在安全隱私保護上設置了多重保障與驗證機制,確保交易驗證的嚴謹周到。還有如Aztec正專注于將隱私功能引入其ZKRollup技術,從而完善ZKRollup的隱私機制。
展望2023的Optimism和ZK
正如我們所看到的那樣,Optimism和ZK作為Rollup解決方案上“各有千秋”。新的一年,它們仍將在各自的道路上革新迭代,或許我們可以期待2023年Optimism和ZK這兩種擴容方案會應用到更多實際項目中去,持續為以太坊的發展賦能加碼。
目前來說,我們只能得出Layer2將在使以太坊更具可擴展性方面發揮重要作用的結論,但是何種Rollup解決方案更勝一籌?則不能有明確的說法。毫無疑問的是,Optmism與ZK會朝著成為Web3世界Rollup方向的“黑馬”推出更多優化舉措。
長期來看,或許隨著ZK相關技術的不斷發展,ZKRollup的局限性會被打破,迸發出強勁的應用潛力。我們也希望在未來的時光里,這兩種Rollup方案能夠實現優勢互補,將安全隱私、時效成本、開發門檻等因素的融合為更加優質的產品,打開一個新世界。正如我們所看到的那樣,Optimism和ZK作為Rollup解決方案上“各有千秋”。新的一年,它們仍將在各自的道路上革新迭代,或許我們可以期待2023年Optimism和ZK這兩種擴容方案會應用到更多實際項目中去,持續為以太坊的發展賦能加碼。
參考文獻:
Optimistic、zk-Rollups、L3...以太坊的可擴展性研究現在已經走到了哪一步?
以太坊的擴容之路
深度|如何理解ZK和OptimisticRollup的前景和區別?
OptimisticRollupsVSZKRollups:六個最令人興奮的以太坊Layer2擴展項目
Optimism的未來:Bedrock升級,Rollup去中心化以及融合ZK方案
科普|ZKRollup&OptimisticRollup
L2Rollup的競爭現狀和挑戰
10月10日晚,NorthBetaInternational北拓國際主辦的「Web3.0NewEra」主題活動以線上線下結合的形式在新加坡成功舉辦.
1900/1/1 0:00:00對推特(Twitter)來說,這是十分忙碌的一周。這家社交媒體平臺在宣布被埃隆·馬斯克(Elonmusk)私人收購之后,即將迎來其作為上市公司的最后幾天時光.
1900/1/1 0:00:00據官方消息,GlobalEmergingMarkets(GEM)已成為2022波場黑客松大賽第三季合作伙伴。與此同時,來自GEM的AudePlanche將擔任本季評委.
1900/1/1 0:00:00AriJuels是紐約康奈爾大學的教授,也是IC3的聯合董事。另外,他還是ChainlinkLabs的首席科學家.
1900/1/1 0:00:00TRONDAO攜手BitTorrentChain共同舉辦的2022波場黑客松大賽第三季正式啟動.
1900/1/1 0:00:00Chainlink權益質押機制是Chainlink2.0經濟學計劃的一部分,為用戶提供了加密經濟安全機制。質押者可以將LINK通證放入智能合約,為預言機服務的性能提供保障.
1900/1/1 0:00:00