原文來源:OffchainLabs原文編譯:JamesZKRollups會是通用智能合約系統的未來嗎?關于這個問題的討論,我們似乎已聽到太多。但是,根據我們從運行數百個DApp、數十萬用戶、數百萬筆交易的開放、安全、與EVM兼容的Layer2中實踐經驗來看,ZKRollups不會成為通用智能合約系統,至于原因,本文會做詳細解釋。我們將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在操作成本上占據優勢,因為執行代碼比計算復雜的密碼證明要“便宜”得多。讓我們從頭開始
首先,肯定要先談以太坊。以太坊用戶創建交易以部署智能合約或與智能合約交互,你可以通過幾種不同的方式來考慮以太坊交易。一方面,您可以將其視為不透明的數據區塊,但如果你查看數據內容,就會發現一筆交易當然遠不止這些;所謂交易,其實應該是一個請求,要求智能合約做某事,比如:記錄一些信息,移動一些資產等。當交易在以太坊區塊鏈上發布時,會發生兩件重要的事情——第一件事:一旦某筆交易被包含在區塊鏈內,以太坊則會根據有序交易集達成共識。第二件事:以太坊執行這些交易并計算結果狀態更新。Rollups:OptimisticRollup和ZKRollup都有什么共同點?
數學創新型去中心化協議“SumSwap”節點預售已全面開啟 ?:據SumSwap社區消息,數學創新型去中心化協議“SumSwap”已經于3月29日9:00(UTC+8)全面開啟節點預售。“SumSwap”節點預售是項目面向區塊鏈愛好者的早期福利設計,參與節點預售不僅能最早最優惠獲得其平臺通證SUM,還可獲取節點權益和早期福利。
“SumSwap”是英國SumSwap公司對眾多DeFi研究后,通過融入數學創新設計的去中心化協議。該協議不僅能滿足uniswap和sushiswap幾乎所有功能,還增加了生態拓展設計,節點預售最多400名額。[2021/3/29 19:27:14]
如果讓每個以太坊節點執行每筆交易,成本勢必會非常高,而Rollups其實是一類可以顯著減輕網絡負載的擴展解決方案,交易實際執行并不是在以太坊區塊鏈上完成的,而是轉移到Layer2上。但是等一下–Rollups應該由以太坊保護,不是嗎?的確,這些擴容解決方案的安全性離不開以太坊,這意味著即使交易發生在Layer2上,我們仍然需要以太坊用某種方式來保證交易執行的正確性。那么,以太坊如何才能對Rollups狀態給予批準呢?答案就是:證明。Rollups使用專門的證明來向以太坊證明自己的正確性,即使不執行交易,以太坊也可以驗證其正確性。Rollups:OptimisticRollup和ZKRollup都有什么不同點?
這些“證明”看起來很神奇:允許以太坊在不實際執行交易的情況下驗證Rollups狀態。您可能想知道這些證明是什么樣子,以及它們在實踐中是如何實現的——而這,就是各種Rollups風格與眾不同的地方。ZKRollups使用有效性證明,它依賴于某一方發布簡潔的密碼證明,這個“證明”可以確定該方知道以特定狀態結尾區塊鏈的有效性。也就是說,“提供證明的那一方”需要執行區塊鏈交易才能知道如何構造證明,然后通過一系列復雜的密碼操作來構造“證明”。這些“證明”將由Layer1鏈上合約進行檢查。ZKRollups的“證明”比較簡潔,而且驗證交易也相對比較便宜,因此可以直接通過以太坊交易來完成。OptimisticRollups使用不同類型的證明:欺詐證明。顧名思義,OptimisticRollups是“積極、樂觀”的,因為當他們將更新的狀態發布到以太坊區塊鏈時,他們根本沒有發布任何“證明”。任何人都可以發布一個Rollup區塊,其中包含關于執行某個交易正確結果的聲明,其他節點執行相同交易時,只要不同意第一個節點的主張就可以提出挑戰。有效的爭議協議可以解決任何分歧,保證正確的一方將贏得挑戰。各方有強烈的動機只發布正確的主張,而不是質疑不正確的主張,因此在常見情況下,所有節點都會“簡單地”執行所有交易,并且永遠不需要調用證明代碼——整個過程都由Layer1合約負責管理。好的,那么哪種類型的Rollup更好?在本文的其余部分,我們將在幾個維度上比較ZKRollup和OptimisticRollup,并解釋為什么我們認為未來是屬于OptimisticRollup的,而且本質上來看,像Arbitrum這樣的OptimisticRollup可擴展性顯然更好。
Pickle Finance:正在對協議進行全面審計:10月4日,Pickle Finance官方發推稱,正在對Pickle Finance協議進行全面審計工作。[2020/10/4]
OptimisticRollupvs.ZKRollup:成本
OptimisticRollup和ZKRollup之間最重要的一個區別可能就是成本。OptimisticRollup要求節點簡單地執行合約,例如,如果合約執行添加操作,則節點執行該添加操作。相比之下,ZKRollup需要生成復雜的密碼證明,需要進行成百上千次橢圓曲線運算才能將加法運算包含在證明中,因此成本很高。更重要的是,ZKRollup會導致每個合約中的每條指令產生成本,由于需要對每條指令生成復雜的密碼證明,而不僅僅是執行指令,因此給ZKRollup帶來了一個固有成本劣勢——而且是一個很大的劣勢。ZKRollup的支持者有時會爭辯說,該解決方案只需要一方創建“證明”,而OptimisticRollup則要求系統有許多節點。但是,如果你正在運行一個規模較大的區塊鏈,無論你使用哪種證明系統,它都會有很多節點。真正的區塊鏈需要很多節點來服務各類活動,比如非變異調用、搜索事件日志、向用戶顯示交易數據、為用戶提供將資金提取回Layer1所需的數據等等。OptimisticRollup區塊鏈的安全性依賴于這些節點做他們已經需要做的事情——執行交易并追蹤區塊鏈的正確狀態。另一方面,使用ZKRollup,就會導出出現昂貴的、基于橢圓曲線的證明,而這會造成非常大的附加成本。為了希望大規模證明ZKRollup,要么需要專用硬件設備,要么需要支持大規模并行——或者兩者兼而有之,這些都是非常昂貴的。結論:OptimisticRollup系統具有巨大的固有成本優勢。OptimisticRollupvs.ZKRollup:EVM兼容性
我們在構建Arbitrum時的一個重要考慮因素,就是與以太坊虛擬機的兼容性。Arbitrum完全兼容EVM,而且具有相同的RPC接口并接受與EVM相同的字節碼,這意味著為以太坊編寫的任何代碼都可以在Arbitrum上“即插即用”。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合約的證明成本,根據現有掌握的知識和所有公開可用的數據,我們認為這個成本會非常高。結論:只有OptimisticRollups以最低的成本支持完全的EVM兼容性。OptimisticRollupvs.ZKRollup:去信任可見性和壓縮
美股區塊鏈概念股全面下跌:今日美股收盤,美股區塊鏈概念股全面下跌。柯達收跌10.91%,埃森哲收跌6.44%,Overstock.com收跌18.34%,Riot Blockchain收跌29.68%,Marathon Patent收跌25.6%,Square收跌6.33%。[2020/6/12]
在設計交易套利時,OptimisticRollups的關鍵屬性之一是去信任可見性。簡而言之,去信任可見性意味著任何人都可以在沒有中心化組織幫助的情況下查看或獲取區塊鏈的內容。更重要的是,這不僅意味著每個人都可以偶爾看到狀態快照——也意味著每個人都可以看到鏈的完整歷史——它是如何達到當前狀態的。一個實用的區塊鏈讓任何人都可以運行一個節點,同時節點也可以支持非變異調用、搜索事件歷史記錄并查看每筆交易——無需依賴中心化的數據提供者,而無信任的可見性使這成為可能。坦率地說,一些ZKRollup系統在可見性方面似乎走了捷徑,并試圖談論他們沒有提供完整的區塊鏈功能的事實。當您聽到談論“壓縮”時,請仔細想想看——他們是不是說他們正在更有效地編碼鏈的內容?或者他們是說區塊鏈歷史的某些部分根本不可用,除非中心化數據提供者愿意稍后與您共享?回想一下,ZKRollup證明其實只證明了“證明者”知道的有效鏈,但“證明”本身不會告訴你那個鏈是什么,即使你有足夠的數據來驗證“證明”,可能也沒有足夠的數據來重建區塊鏈的歷史數據。舉個例子,假設Alice提交了一筆支付給Bob的1ETH交易,很快又出現了Bob提交了一筆支付給Charlie的1ETH連續交易。接下來,你需要驗證一個證明,即:Alice比以前少了1ETH,Bob的余額沒有改變,而Charlie比以前多了1ETH。但是發生了什么?Alice付錢給Bob了嗎?Bob付錢給Charlie了嗎?也許是Alice直接付錢給Charlie,也許是Alice銷毀了一個ETH,而Charlie所獲得的1ETH是由其他人支付的,也許這個“其他人”名叫Diana,而不是Bob。如果我們從區塊鏈中尋找Bob的支付證據,但對于一些不提供區塊鏈可見性的ZKRollup來說,根本無法區分并找到Bob支付交易。許多智能合約應用程序所需要的不是僅僅知道幾個檢查點,而是需要了解整個鏈條——了解發生了什么以及如何達到最終狀態。ZKRollups有時吹噓比OptimisticRollups更好的“壓縮”,但它們隱藏了區塊鏈的數據,這意味著只有“證明者”知道數據不是壓縮,它們甚至有可能刪除依稀重要數據。如果ZK提供者說他們“不需要”發布整條區塊鏈的歷史,其實他們真正的意思是他們無法保證區塊鏈的可見性,而放棄區塊鏈可見性保證并不是OptimisticRollup愿意做出的妥協。結論:OptimisticRollup系統能以最低成本提供去信任的可見性。
BitTorrent品牌已完成官網的全面升級:據最新消息顯示,BitTorrent品牌于近日進行了官網的全面升級,用戶可全面快速地瀏覽BitTorrent生態內各項產品及功能,直接訪問期望內容。全新的官網視覺效果偏向簡約化、年輕化,同時整合了即將支持BTT Staking的區塊鏈直播平臺DLive版塊。BitTorrent官網目前支持17種語言,并且可以根據用戶所用設備的默認語言或菜單選擇來進行實時切換,更多詳情請見原文鏈接。[2020/4/20]
OptimisticRollupvs.ZKRollup:去信任,及時終結
在評估Rollup時,我們需要確定一個關鍵要求,即:Rollup是否需要提供去信任的、及時的終結。簡單來說,這意味著在您提交交易后,你和其他所有人都應該及時且確定地知道該交易的結果,并且沒有人能夠更改或撤消這個交易。在我們看來,實現及時終結的最佳方法是將交易的順序與交易執行分開。排序產生一個最終的提議交易序列,并且嘗試按該序列執行交易。如果交易的執行是確定性的,因為它是基于Arbitrum的,那么確定交易的順序就足以確定結果,因為結果是交易順序的確定性函數。如果每個人都知道交易的順序,那么每個人都可以輕松確定結果。完成一個序列需要將序列發布到Layer1鏈,并包含足夠的信息以允許任何人自己執行交易,以便無需信任地了解結果。理想的匯總是盡可能頻繁地將排序的交易數據發布到Layer1鏈。在OptimisticRollup系統中,發布到Layer1鏈的成本最低,實際上Arbitrum通常會在每一分鐘左右將排序的交易數據發布到Layer1鏈,為用戶提供快速確定性并保證沒有人可以撤消他們的交易。此外,Arbitrum還會每隔一小時左右就產生一個新的OptimisticRollup結果主張,但由于序列已經最終確定并且執行是確定性的,因此完全不會減慢最終確定的速度。原則上,ZKRollup系統也可以按照類似的方式運行;即,將交易的順序與稍后進行的驗證與偶爾的有效性證明分開。然而,與OptimisticRollup系統發布數據一樣,以這種方式運行的ZKRollup需要將基本相同的數據發布到Layer1鏈上,但對于上文中討論的“壓縮”技術并不支持這么做。ZKRollup為了讓“壓縮”技術起作用,必須實時證明一系列Layer2交易的有效性,在同一個Layer1交易中,而且每次發布一批Layer2交易時都必須這么做。因此,雖然所謂的“壓縮”技術備受ZKRollup吹捧,但在遇到上述情況時,他們不得不做兩個選擇:1)每分鐘左右發布排序交易以及執行證明:這可以保持快速確定性,但需要每分鐘在情況鏈外生成ZK證明并在Layer1鏈上進行驗證。根據實施情況,在區塊鏈鏈上發布ZK證明的成本估計在500,000到500萬gas之間。2)每小時發布排序交易和證明:這種做法雖然可以使ZK證明檢查成本變得略微合理,但將最終確定時間會延長到一個小時。在用戶向ZKRollup運營者提交交易和其發布到情況鏈上之間的時間里,用戶無法保證他們的交易是否會被包括在內,而且只能相信ZKRollup的運營者。如果你正在構建一個ZKRollup系統,會發現上述兩個選項其實都是不可接受的——第一個成本太昂貴,第二個無法提供及時的終結。因此,如果最終會使用相同類型的序列器,就需要在Arbitrum的ZKRollup版本中發布與我們的OptimisticRollup版本基本相同的數據。如果您聽到有人吹捧ZKRollup可以將數小時的數據壓縮為一個點,請不要擔心。如果他們只在很長一段時間結束時發布單點數據,那么這意味著他們在這段時間內沒有提供最終確定性。結論:出于實際考慮,ZKRollup系統不得不以OptimisticRollup相同的方式處理實時終結。OptimisticRollupvs.ZKRollup:去信任活性
動態 | 富達數字資產部門 FDAS 將向合格用戶全面開放托管和交易服務:富達集團旗下的富達數字資產服務部門(FDAS)宣布即將面向所有合格用戶推出托管和交易服務,根據富達投資 CEO Abigail Johnson 的說法,相對于今年 2 月推出的只針對少數客戶的測試版,此次針對數字資產的托管和交易服務,將是一次全面推出,對這個分散且復雜的行業來說是一個福音。此前消息,今年 2 月,富達數字資產 FDAS 宣布向合格客戶推出其比特幣托管服務,滿足對沖基金、家族基金、養老金、捐贈基金和其他機構投資者的需求。[2019/10/20]
去信任活性意味著任何人都可以迫使系統取得進步。OptimisticRollup允許任何節點聲明正確執行交易,提出該聲明只需要節點執行鏈的交易,然后存入一筆可以在協議確認聲明后退還的質押即可。在ZKRollup系統上,進程要求任何節點都可以創建并發布推進區塊鏈狀態所需的ZK證明,但并不是每個人都可以使用普通硬件和軟件就能實現的。因此,如果要完成ZK證明就必須構建或購買特定的專用硬件而且還要進行大規模并行計算。即便是在普通設備上,也需要構建合適的ZK證明的路徑,不提供此功能或未發布為其系統生成證明的代碼的ZK提供者就無法提供去信任進程,系統也就沒有任何活性保證。也就是說,ZKRollup的系統是中心化的,因為只有擁有特殊設備的證明者才能推動進程。結論:在OptimisticRollup系統中更容易提供去信任進程。OptimisticRollupvs.ZKRollup:橋接
當然,ZKRollup并非一無是處,它在一個領域里具有較大優勢,即:以太坊跨鏈連接。在資金轉移到Layer1時,OptimisticRollup系統會比預期延遲一周,而ZKRollup允許在ZK證明發布到Layer1后立即建立橋接。但從本質上來看,這兩種方式其實并沒有太大的區別,因為OptimisticRollup也可以讓用戶快速利用橋接服務,以低延遲將Layer2資金交換為Layer1資金。所以ZK的優勢主要是用戶可以避免支付跨鏈橋接服務所收取的小額費用。但在實際應用中,OptimisticRollup的表現其實也不錯,因為目前已經有許多實時快速跨鏈橋提供從Arbitrum的即時提款服務。需要強調的是,ZKRollups的橋接優勢其實并不是非常大:因為它只能用于從Layer2橋接回以太坊。曾幾何時,許多人認為以太坊擴容解決方案不會那么快出現,也許只會有一兩個DApp緩慢推出。但在實際應用中,Rollup用戶會發現自己需要在Layer1和Layer2之間來回切換,而這其實是ZKRollup無法支持的,相比之下,Arbitrum擁有一個蓬勃發展的生態系統,數百個DApp遍布在DeFi領域里的每個角落,許多用戶正在連接到Arbitrum并長期留在那里。此外,在為用戶提供跨鏈支持方面,Arbitrum不僅僅支持以太坊,也會和其他Lauer1和側鏈對接,對于這種直接橋接,ZKRollups的優勢就沒有OptimisticRollups那么大了。結論:ZKRollup系統在橋接到Layer1方面略有優勢,但在快速橋接和多鏈使用模式下,ZKRollup的實際應用并沒有預期的那么好。總結
在全面比較OptimisticRollup與ZKRollup系統之后,我們認為OptimisticRollup系統顯然是贏家。OptimisticRollup成本更低,與EVM和現有工具完全兼容,實踐中唯一真正的缺點是在沒有快速跨鏈橋接服務的情況下,Layer1的橋接速度較慢。ZKRollup的許多假定優勢需要犧牲區塊鏈可見性或終結時間,我們認為這不是用戶想要的。不僅如此,ZKRollup想要做出改變似乎也不太可能。與EVM兼容的合約執行的ZK證明仍將比OptimisticRollup執行要昂貴得多,并且ZKRollup也很難實現有保證的進度、區塊鏈可見性和去中心化的要求。如果情況發生變化,我們愿意將Arbitrum切換到基于ZKRollup的交易執行,但我們認為它們不會做出優化改變。最后要說的是,人們傾向于將Arbitrum當前提供的內容與ZK系統聲稱他們將在未來提供的內容進行比較,但這種比較其實毫無意義,因為我們要比,就拿現有系統作對比。像Arbitrum這樣的OptimisticRollup擴容解決方案是唯一支持通用智能合約的開放部署系統。或者,如果要比較未來的系統,那么我們就應該將未來的Arbitrum與未來的ZK系統進行比較。我們正在不斷改進Arbitrum,舉個例子,在我們即將發布的Nitro版本里,將會為用戶提供更低的交易成本和更好的鏈上優化無損壓縮數據,不僅如此,我們正在不知疲倦地工作以改進交易套利并將成本降低到理論極限。正如我們在這篇文章中所分析的那樣,我們相信,當考慮到目前存在的兩個系統以及它們各自的理論限制時,OptimisticRollups顯然是真正的贏家。
世界不缺少熱點,也不能缺少熱點,熱點是時代發展的一個可能性,而但凡“可能”,就會伴隨“不可能力量”與之對抗,并完成真理的驗證.
1900/1/1 0:00:00NFT數據日報是由Odaily星球日報與NFT數據整合平臺NFTGO合作的一檔欄目,旨在向NFT愛好者與投資者展示近24小時的NFT市場整體規模、交易活躍度、子領域市占比.
1900/1/1 0:00:00頭條 日本通訊巨頭LINE旗下LVC將于明年春季上線NFT綜合市場“LINENFT”據官方消息,日本通訊巨頭LINE旗下加密資產和區塊鏈業務部門LVCCorporation宣布.
1900/1/1 0:00:00頭條 北京試點“證監會版”監管沙盒:數字人民幣應用場景將拓展到“2F”北京證監局、北京市地方金融監督管理局公布近日公布首批擬納入資本市場金融科技創新試點的16個項目名單.
1900/1/1 0:00:00撰文:FootprintAnalytics分析師George數據來源:Kavadashboard11月,Kava發布Kava9主網升級預告.
1900/1/1 0:00:00隨著ConstitutionDAO、FreeRossDAO的相繼躥火,更多的以某項具體目標為共識凝聚點的DAO開始出現.
1900/1/1 0:00:00