比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

為什么說 Optimistic Rollup 比 ZK Rollup 更能代表以太坊擴容的未來?_OPT

Author:

Time:1900/1/1 0:00:00

來源:OffchainLabs

編譯:James,鏈捕手

ZKRollups會是通用智能合約系統的未來嗎?關于這個問題的討論,我們似乎已聽到太多。但是,根據我們從運行數百個DApp、數十萬用戶、數百萬筆交易的開放、安全、與EVM?兼容的Layer?2中實踐經驗來看,ZK?Rollups?不會成為通用智能合約系統,至于原因,本文會做詳細解釋。

我們將Arbitrum構建為OptimisticRollup(OR)擴容解決方案,因為我們相信OptimisticRollup是滿足用戶對安全、去信任、與EVM兼容L2的現實需求最佳方式。我們選擇了OptimisticRollup而不是ZKRollups,因為OptimisticRollup系統具有固有可擴展性和成本優勢;時至今日,如果再讓我們做一次選擇,答案依然是OptimisticRollup,想知道為什么嗎?請繼續讀下去。

內容概要:

1、人們想要一條能夠提供安全性、有保證進度、可見性和快速確定性的去信任區塊鏈——他們希望這條區塊鏈上的交易成本更低且能與現有工具兼容。

2、在提供上述服務和功能的時候,與?ZKRollup?相比,我們深入研究了如何使用OptimisticRollup的具體細節。

3、OptimisticRollup可以以較低的成本提供用戶想要的功能,因為構建ZKRollup?證明的鏈下成本非常高。

4、由于?ZK證明非常昂貴,因此完全參與ZK協議可能需要專用硬件和/或大規模并行性,從而使網絡變得更加中心化。

5、ZKRollup所謂的“優勢”,要么?OptimisticRollup也可以支持,要么需要犧牲重要的安全性或可用性功能。

6、總之,OptimisticRollup在操作成本上占據優勢,因為執行代碼比計算復雜的密碼證明要“便宜”得多。

讓我們從頭開始

首先,肯定要先談以太坊。以太坊用戶創建交易以部署智能合約或與智能合約交互,你可以通過幾種不同的方式來考慮以太坊交易。一方面,您可以將其視為不透明的數據區塊,但如果你查看數據內容,就會發現一筆交易當然遠不止這些;所謂交易,其實應該是一個請求,要求智能合約做某事,比如:記錄一些信息,移動一些資產等。

當交易在以太坊區塊鏈上發布時,會發生兩件重要的事情——

第一件事:一旦某筆交易被包含在區塊鏈內,以太坊則會根據有序交易集達成共識。

第二件事:以太坊執行這些交易并計算結果狀態更新。

Gemini可能在法院裁決后重新上市XRP代幣:金色財經報道,加密貨幣交易所Gemini表示,在美國聯邦法院周四裁定XRP代幣在交易所和通過算法銷售不構成投資合同后,Gemini正在探索Ripple代幣的重新上市。[2023/7/14 10:53:42]

Rollups:OptimisticRollup和ZKRollup都有什么共同點?

如果讓每個以太坊節點執行每筆交易,成本勢必會非常高,而Rollups其實是一類可以顯著減輕網絡負載的擴展解決方案,交易實際執行并不是在以太坊區塊鏈上完成的,而是轉移到Layer?2上。

但是等一下?–?Rollups應該由以太坊保護,不是嗎?的確,這些擴容解決方案的安全性離不開以太坊,這意味著即使交易發生在Layer?2上,我們仍然需要以太坊用某種方式來保證交易執行的正確性。那么,以太坊如何才能對?Rollups狀態給予批準呢?

答案就是:證明。Rollups使用專門的證明來向以太坊證明自己的正確性,即使不執行交易,以太坊也可以驗證其正確性。

Rollups:OptimisticRollup和ZKRollup都有什么不同點?

這些“證明”看起來很神奇:允許以太坊在不實際執行交易的情況下驗證Rollups?狀態。您可能想知道這些證明是什么樣子,以及它們在實踐中是如何實現的——而這,就是各種Rollups?風格與眾不同的地方。

ZKRollups使用有效性證明,它依賴于某一方發布簡潔的密碼證明,這個“證明”可以確定該方知道以特定狀態結尾區塊鏈的有效性。也就是說,“提供證明的那一方”需要執行區塊鏈交易才能知道如何構造證明,然后通過一系列復雜的密碼操作來構造“證明”。這些“證明”將由Layer1鏈上合約進行檢查。ZKRollups的“證明”比較簡潔,而且驗證交易也相對比較便宜,因此可以直接通過以太坊交易來完成。

OptimisticRollups使用不同類型的證明:欺詐證明。顧名思義,OptimisticRollups是“積極、樂觀”的,因為當他們將更新的狀態發布到以太坊區塊鏈時,他們根本沒有發布任何“證明”。任何人都可以發布一個Rollup區塊,其中包含關于執行某個交易正確結果的聲明,其他節點執行相同交易時,只要不同意第一個節點的主張就可以提出挑戰。有效的爭議協議可以解決任何分歧,保證正確的一方將贏得挑戰。各方有強烈的動機只發布正確的主張,而不是質疑不正確的主張,因此在常見情況下,所有節點都會“簡單地”執行所有交易,并且永遠不需要調用證明代碼——整個過程都由Layer1合約負責管理。

好的,那么哪種類型的Rollup?更好?在本文的其余部分,我們將在幾個維度上比較?ZKRollup?和OptimisticRollup,并解釋為什么我們認為未來是屬于OptimisticRollup的,而且本質上來看,像Arbitrum這樣的OptimisticRollup可擴展性顯然更好。

Poly Network攻擊者將約4.3萬枚METIS出售為約349枚ETH:金色財經報道,據Spot On Chain監測,Poly Network攻擊者在過去15小時內通過4個中間錢包在以太坊上將4.327萬枚METIS出售為349.4枚ETH(約65.2萬美元),導致METIS價格漲超10%。當前,該攻擊者仍然持有62,8181枚METIS。[2023/7/9 22:26:31]

OptimisticRollupvs.ZK?Rollup:成本

OptimisticRollup和?ZKRollup?之間最重要的一個區別可能就是成本。

OptimisticRollup要求節點簡單地執行合約,例如,如果合約執行添加操作,則節點執行該添加操作。

相比之下,ZKRollup?需要生成復雜的密碼證明,需要進行成百上千次橢圓曲線運算才能將加法運算包含在證明中,因此成本很高。更重要的是,ZKRollup會導致每個合約中的每條指令產生成本,由于需要對每條指令生成復雜的密碼證明,而不僅僅是執行指令,因此給?ZKRollup?帶來了一個固有成本劣勢——而且是一個很大的劣勢。

ZKRollup的支持者有時會爭辯說,該解決方案只需要一方創建“證明”,而OptimisticRollup則要求系統有許多節點。但是,如果你正在運行一個規模較大的區塊鏈,無論你使用哪種證明系統,它都會有很多節點。真正的區塊鏈需要很多節點來服務各類活動,比如非變異調用、搜索事件日志、向用戶顯示交易數據、為用戶提供將資金提取回Layer?1所需的數據等等。OptimisticRollup區塊鏈的安全性依賴于這些節點做他們已經需要做的事情——執行交易并追蹤區塊鏈的正確狀態。

另一方面,使用?ZKRollup,就會導出出現昂貴的、基于橢圓曲線的證明,而這會造成非常大的附加成本。為了希望大規模證明ZKRollup,要么需要專用硬件設備,要么需要支持大規模并行——或者兩者兼而有之,這些都是非常昂貴的。

結論:OptimisticRollup系統具有巨大的固有成本優勢。

OptimisticRollupvs.ZK?Rollup:EVM兼容性

我們在構建Arbitrum時的一個重要考慮因素,就是與以太坊虛擬機的兼容性。Arbitrum完全兼容EVM,而且具有相同的RPC接口并接受與EVM相同的字節碼,這意味著為以太坊編寫的任何代碼都可以在Arbitrum上“即插即用”。

美聯儲資產負債表已連續兩周縮表,總計縮減規模近千億美元:4月10日消息,據美聯儲官網最新數據顯示,截至4月4日,美聯儲資產負債表規模為8.632萬億美元,較3月28日的8.706萬億美元減少約740億美元。算上此前一周(3月21日-3月28日)縮表240億美元,美聯儲自硅谷銀行事件后已連續兩周縮表,總計縮減規模約為980億美元。[2023/4/10 13:54:06]

OptimisticRollup已經運行開放的、與?EVM兼容的區塊鏈一年多了,我們了解到真正兼容以太坊非常具有挑戰性。最初階段?95%的兼容性并不太難,但在實踐中還不夠好,只有付出大量努力和構建不會妨礙產品的架構才能讓兼容性表現的更好。

在兼容性方面,ZKRollup?系統運行的范圍很廣。但有些人認為?ZKRollup?是個“老派”工具,因為他們還在鼓勵人們學習他們的自定義語言。此外,一些?ZKRollup?系統并不試圖兼容以太坊,當然,對于那些不關心以太坊兼容性的開發人員和用戶來說,也不錯。

客觀上來說,EVM算是有史以來最好的鏈上工具。我們認為,考慮到已經與EVM配合使用的開發人員、代碼和開發人員工具的數量,EVM本身具有非常大的實際優勢。考慮一個部署在以太坊上的項目,如果該項目想要擴展到?Rollup,那么開發人員就必須用新語言重寫他們的代碼、委托新的安全審計、并且維護多個代碼庫,這些工作不僅繁瑣且容易出錯。但即使對于尚未編寫任何代碼的新項目,EVM兼容性也是非常重要,因為兼容EVM?意味著這些項目可以充分利用圍繞EVM存在的代碼、工具和人才庫。

也一些?ZKRollup?項目正在努力實現EVM兼容版本,但聲明含糊不清,我們也不知道迄今為止發布的代碼是否允許在ZKRollup上運行EVM合約,一些系統仍然不具備EVM?兼容性。舉個例子,一個聲稱與EVM兼容的ZKRollup?系統真實兼容性并不太好,該系統——

未能實現ADDMOD、SMOD、MULMOD、EXP、SELFDESTRUCT和CREATE2操作碼兼容;正在考慮取消對XOR、AND和OR的支持;不支持標準交易格式;不支持任何預編譯;可能會限制交易中的合約調用次數。似乎看起來?ZKRollup?模式從根本上就不兼容EVM,這顯然與OptimisticRollups實現的完全兼容性有很大差距。

需要澄清的是,目前依然存在多個特定于應用程序的?ZKRollup?系統示例。事實上,這些系統運行良好,但核心區別在于,它們針對非常適合ZKRollup實現的特定應用程序進行了微調和專門優化。雖然有團隊聲稱在研究一種通用編譯器,允許以兼容方式“打通”?EVM到ZKRollup,但并沒有可用公共代碼或基準來說明用戶定義的ZK-EVM合約的證明成本,根據現有掌握的知識和所有公開可用的數據,我們認為這個成本會非常高。

Pomelo Pay將加密貨幣添加到支付服務套件中:金色財經報道,英國金融科技平臺Pomelo Pay與加密貨幣支付服務提供商TripleA合作,使企業金融機構、商戶收單機構、支付服務提供商和其他金融科技能夠提供加密貨幣支付方式。(Finextra)[2022/8/11 12:19:13]

結論:只有?OptimisticRollups以最低的成本支持完全的EVM兼容性。

OptimisticRollupvs.ZK?Rollup:去信任可見性和壓縮

在設計交易套利時,OptimisticRollups的關鍵屬性之一是去信任可見性。簡而言之,去信任可見性意味著任何人都可以在沒有中心化組織幫助的情況下查看或獲取區塊鏈的內容。更重要的是,這不僅意味著每個人都可以偶爾看到狀態快照——也意味著每個人都可以看到鏈的完整歷史——它是如何達到當前狀態的。一個實用的區塊鏈讓任何人都可以運行一個節點,同時節點也可以支持非變異調用、搜索事件歷史記錄并查看每筆交易——無需依賴中心化的數據提供者,而無信任的可見性使這成為可能。

坦率地說,一些?ZKRollup?系統在可見性方面似乎走了捷徑,并試圖談論他們沒有提供完整的區塊鏈功能的事實。當您聽到談論“壓縮”時,請仔細想想看——他們是不是說他們正在更有效地編碼鏈的內容?或者他們是說區塊鏈歷史的某些部分根本不可用,除非中心化數據提供者愿意稍后與您共享?

回想一下,ZKRollup?證明其實只證明了“證明者”知道的有效鏈,但“證明”本身不會告訴你那個鏈是什么,即使你有足夠的數據來驗證“證明”,可能也沒有足夠的數據來重建區塊鏈的歷史數據。

舉個例子,假設?Alice提交了一筆支付給?Bob的1ETH交易,很快又出現了Bob提交了一筆支付給?Charlie的1ETH連續交易。接下來,你需要驗證一個證明,即:Alice比以前少了1ETH,Bob的余額沒有改變,而Charlie比以前多了1ETH。

但是發生了什么?Alice付錢給Bob?了嗎?Bob?付錢給Charlie?了嗎?也許是Alice直接付錢給Charlie,也許是?Alice銷毀了一個ETH,而Charlie所獲得的1?ETH?是由其他人支付的,也許這個“其他人”名叫Diana,而不是?Bob。如果我們從區塊鏈中尋找?Bob的支付證據,但對于一些不提供區塊鏈可見性的ZKRollup?來說,根本無法區分并找到Bob?支付交易。

許多智能合約應用程序所需要的不是僅僅知道幾個檢查點,而是需要了解整個鏈條——了解發生了什么以及如何達到最終狀態。?ZKRollups有時吹噓比OptimisticRollups更好的“壓縮”,但它們隱藏了區塊鏈的數據,這意味著只有“證明者”知道數據不是壓縮,它們甚至有可能刪除依稀重要數據。如果ZK提供者說他們“不需要”發布整條區塊鏈的歷史,其實他們真正的意思是他們無法保證區塊鏈的可見性,而放棄區塊鏈可見性保證并不是?Optimistic?Rollup?愿意做出的妥協。

區塊鏈安全生態初創公司Secure3完成500萬美元融資:7月17日消息,區塊鏈安全生態初創公司Secure3近日完成500萬美元種子輪融資,Mirana Ventures、Zonff Partners、GGV Capital(紀源資本)、HashKey Capital、SpringWind Ventures、Eastlink Capital、Alumni Ventures、ArkStream Capital等機構和天使投資人聯合投資。[2022/7/17 2:18:58]

結論:OptimisticRollup系統能以最低成本提供去信任的可見性。

OptimisticRollupvs.ZK?Rollup:去信任,及時終結

在評估Rollup時,我們需要確定一個關鍵要求,即:Rollup是否需要提供去信任的、及時的終結。簡單來說,這意味著在您提交交易后,你和其他所有人都應該及時且確定地知道該交易的結果,并且沒有人能夠更改或撤消這個交易。

在我們看來,實現及時終結的最佳方法是將交易的順序與交易執行分開。排序產生一個最終的提議交易序列,并且嘗試按該序列執行交易。如果交易的執行是確定性的,因為它是基于Arbitrum的,那么確定交易的順序就足以確定結果,因為結果是交易順序的確定性函數。如果每個人都知道交易的順序,那么每個人都可以輕松確定結果。

完成一個序列需要將序列發布到?Layer?1鏈,并包含足夠的信息以允許任何人自己執行交易,以便無需信任地了解結果。理想的匯總是盡可能頻繁地將排序的交易數據發布到Layer?1鏈。

在Optimistic?Rollup?系統中,發布到?Layer?1鏈的成本最低,實際上Arbitrum通常會在每一分鐘左右將排序的交易數據發布到Layer?1鏈,為用戶提供快速確定性并保證沒有人可以撤消他們的交易。此外,Arbitrum?還會每隔一小時左右就產生一個新的Optimistic?Rollup?結果主張,但由于序列已經最終確定并且執行是確定性的,因此完全不會減慢最終確定的速度。

原則上,ZKRollup?系統也可以按照類似的方式運行;即,將交易的順序與稍后進行的驗證與偶爾的有效性證明分開。然而,與?Optimistic?Rollup?系統發布數據一樣,以這種方式運行的ZKRollup需要將基本相同的數據發布到Layer?1鏈上,但對于上文中討論的“壓縮”技術并不支持這么做。ZK?Rollup?為了讓“壓縮”技術起作用,必須實時證明一系列Layer?2交易的有效性,在同一個Layer?1交易中,而且每次發布一批Layer?2交易時都必須這么做。

因此,雖然所謂的“壓縮”技術備受ZK?Rollup?吹捧,但在遇到上述情況時,他們不得不做兩個選擇:

1)每分鐘左右發布排序交易以及執行證明:這可以保持快速確定性,但需要每分鐘在情況鏈外生成ZK證明并在Layer?1鏈上進行驗證。根據實施情況,在區塊鏈鏈上發布ZK證明的成本估計在500,000到500萬?gas?之間。

2)每小時發布排序交易和證明:這種做法雖然可以使ZK證明檢查成本變得略微合理,但將最終確定時間會延長到一個小時。在用戶向ZKRollup?運營者提交交易和其發布到情況鏈上之間的時間里,用戶無法保證他們的交易是否會被包括在內,而且只能相信?ZK?Rollup?的運營者。

如果你正在構建一個?ZKRollup?系統,會發現上述兩個選項其實都是不可接受的——第一個成本太昂貴,第二個無法提供及時的終結。因此,如果最終會使用相同類型的序列器,就需要在Arbitrum的ZKRollup?版本中發布與我們的?Optimistic?Rollup?版本基本相同的數據。

如果您聽到有人吹捧?ZKRollup?可以將數小時的數據壓縮為一個點,請不要擔心。如果他們只在很長一段時間結束時發布單點數據,那么這意味著他們在這段時間內沒有提供最終確定性。

結論:出于實際考慮,ZKRollup系統不得不以OptimisticRollup?相同的方式處理實時終結。

OptimisticRollupvs.ZK?Rollup:去信任活性

去信任活性意味著任何人都可以迫使系統取得進步。

Optimistic?Rollup?允許任何節點聲明正確執行交易,提出該聲明只需要節點執行鏈的交易,然后存入一筆可以在協議確認聲明后退還的質押即可。

在?ZKRollup?系統上,進程要求任何節點都可以創建并發布推進區塊鏈狀態所需的ZK證明,但并不是每個人都可以使用普通硬件和軟件就能實現的。因此,如果要完成ZK?證明就必須構建或購買特定的專用硬件而且還要進行大規模并行計算。即便是在普通設備上,也需要構建合適的ZK證明的路徑,不提供此功能或未發布為其系統生成證明的代碼的ZK提供者就無法提供去信任進程,系統也就沒有任何活性保證。也就是說,ZK?Rollup?的系統是中心化的,因為只有擁有特殊設備的證明者才能推動進程。

結論:在OptimisticRollup系統中更容易提供去信任進程。

OptimisticRollupvs.ZK?Rollup:橋接

當然,ZKRollup?并非一無是處,它在一個領域里具有較大優勢,即:以太坊跨鏈連接。在資金轉移到Layer?1時,Optimistic?Rollup?系統會比預期延遲一周,而ZKRollup?允許在ZK證明發布到Layer?1后立即建立橋接。但從本質上來看,這兩種方式其實并沒有太大的區別,因為?Optimistic?Rollup?也可以讓用戶快速利用橋接服務,以低延遲將Layer?2資金交換為Layer?1資金。所以ZK的優勢主要是用戶可以避免支付跨鏈橋接服務所收取的小額費用。但在實際應用中,Optimistic?Rollup?的表現其實也不錯,因為目前已經有許多實時快速跨鏈橋提供從Arbitrum的即時提款服務。

需要強調的是,ZKRollups的橋接優勢其實并不是非常大:因為它只能用于從Layer?2橋接回以太坊。曾幾何時,許多人認為以太坊擴容解決方案不會那么快出現,也許只會有一兩個DApp?緩慢推出。但在實際應用中,Rollup?用戶會發現自己需要在Layer?1和Layer?2?之間來回切換,而這其實是ZK?Rollup?無法支持的,相比之下,Arbitrum擁有一個蓬勃發展的生態系統,數百個DApp遍布在?DeFi領域里的每個角落,許多用戶正在連接到Arbitrum并長期留在那里。此外,在為用戶提供跨鏈支持方面,Arbitrum?不僅僅支持以太坊,也會和其他Lauer?1和側鏈對接,對于這種直接橋接,ZKRollups的優勢就沒有?OptimisticRollups那么大了。

結論:ZKRollup?系統在橋接到Layer?1方面略有優勢,但在快速橋接和多鏈使用模式下,ZKRollup的實際應用并沒有預期的那么好。

總結

在全面比較Optimistic?Rollup?與?ZKRollup?系統之后,我們認為?Optimistic?Rollup?系統顯然是贏家。Optimistic?Rollup?成本更低,與EVM和現有工具完全兼容,實踐中唯一真正的缺點是在沒有快速跨鏈橋接服務的情況下,Layer?1的橋接速度較慢。ZKRollup?的許多假定優勢需要犧牲區塊鏈可見性或終結時間,我們認為這不是用戶想要的。

不僅如此,ZK?Rollup?想要做出改變似乎也不太可能。與?EVM兼容的合約執行的ZK證明仍將比?Optimistic?Rollup?執行要昂貴得多,并且?ZK?Rollup?也很難實現有保證的進度、區塊鏈可見性和去中心化的要求。如果情況發生變化,我們愿意將Arbitrum切換到基于ZKRollup?的交易執行,但我們認為它們不會做出優化改變。

最后要說的是,人們傾向于將Arbitrum當前提供的內容與ZK系統聲稱他們將在未來提供的內容進行比較,但這種比較其實毫無意義,因為我們要比,就拿現有系統作對比。像Arbitrum這樣的OptimisticRollup擴容解決方案是唯一支持通用智能合約的開放部署系統。或者,如果要比較未來的系統,那么我們就應該將未來的Arbitrum與未來的ZK系統進行比較。

我們正在不斷改進Arbitrum,舉個例子,在我們即將發布的Nitro版本里,將會為用戶提供更低的交易成本和更好的鏈上優化無損壓縮數據,不僅如此,我們正在不知疲倦地工作以改進交易套利并將成本降低到理論極限。正如我們在這篇文章中所分析的那樣,我們相信,當考慮到目前存在的兩個系統以及它們各自的理論限制時,OptimisticRollups顯然是真正的贏家。

Tags:ROLLROLSTICOPTQrolliroll幣怎么用JUSTICE價格wOPT

火必下載
百威官方推特賬戶更名為beer.eth_BEER

DeFi之道訊,10月29日,百威官方推特賬戶已更名為beer.eth。百威此前宣布以高達30ETH的價格購買了Beer.eth域名,并嘗試進軍NFT市場與NFT媒體商店VaynerNFT達成了.

1900/1/1 0:00:00
Solana聯合創始人:NFT是社媒網絡未來形態的早期原型_OLA

據BusinessInsider12月12日消息,Solana聯合創始人AnatolyYakovenko最近在接受采訪時表示,NFT實際上是社交媒體網絡未來形態的早期原型.

1900/1/1 0:00:00
韓國政府力挺元宇宙:打造元宇宙城市,出臺五年規劃_CRYPT

作者|?ChenglinPua?編審?|于百程?排版?|?王紀瓏琰2021年被稱為元宇宙元年。隨著新冠疫情爆發以來,人們越來越多活動轉移到線上,這也讓人們對于元宇宙的關注空前絕后.

1900/1/1 0:00:00
元宇宙將不止一個,而NFT將真正改變所有數字事物的游戲規則!|直播實錄_NFT

從OpenSea數據可以看到,隨著元宇宙概念爆發,NFT在經歷一段時間“沉寂”之后熱度再次攀升。而且,其應用和玩法不再僅限于“天價頭像”和早期的加密藝術品.

1900/1/1 0:00:00
花旗集團任命數字資產部門負責人,并為該部門增聘100名人員_數字資產

原標題:《花旗集團在加密人才招聘熱潮中任命數字資產負責人》美國跨國投資銀行花旗集團宣布,從12月1日起任命PuneetSinghvi領導其機構客戶集團(ICG)的數字資產部門.

1900/1/1 0:00:00
印度將比特幣視為法定貨幣?總理莫迪社交賬號被盜鬧烏龍_CBD

來源:財聯社 編輯劉蕊 周日凌晨,印度總理莫迪的個人推特賬號被黑客短暫入侵。雖然該賬戶后來很快就被找回,但在被盜期間,該賬戶已經分享了一條比特幣的推文,隨后被刪除.

1900/1/1 0:00:00
ads