以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

科普 | 可持續地實現擴容并保持去中心化,Optimistic Rollup是如何設計的?_ROLL

Author:

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

此刻正在閱讀這篇文章的你一定已經聽說過optimisticrollup了吧。它是一個前途無量的新型擴容方案,在2019年的DevCon上引發了熱烈討論。目前已經有很多文章解釋了該技術的工作原理,卻沒有一篇文章來解釋其背后的?原因。這就導致有很多團隊都在嘗試用自己的方式來實現optimisticrollup,這種各自為政的開發模式通常不利于整個加密貨幣經濟系統的安全性。

本文聚焦于那個被大眾忽略的問題:解釋optimisticrollup為何能以安全且可持續的方式實現擴容,同時又能保持去中心化的特性。

何為OptimisticRollup?

我在2019年6月撰寫了?optimisticrollup?的首個最小可行規范,為我早些時候與?Mikerah?合著的論文《構建可擴展的去中心化支付系統》提供了一個具體的參數化高級規范。該規范旨在實現區塊鏈發展史上的第一條具有免許可性和可擴展性的免信任型側鏈。

-我說的“rollup”不是可以吃的這種-optimisticrollup的運作方式如下:任何人都可以在無需許可地提交一個側鏈區塊,將整個區塊作為有待驗證的調用數據發布到鏈上,并交納保證金。一個新的側鏈區塊只能鏈接到側鏈的末端,由鏈上合約進行追蹤。一段較長的時間過后,側鏈區塊會被確定下來,之后就會退還保證金。從側鏈中取款回到主鏈上的操作要在側鏈上發起,只需提供對一個已確定的側鏈區塊的非交互式包含證明即可。如果一個側鏈區塊是無效的,且還沒有得到最終確認,只要提交我來解釋下:為什么要這么設計OptimisticRollup?

事實證明,optimisticrollup和之前的擴容方案之間存在一些細微差異,使前者成為了最有前途的短期至中期擴容方案,讓后者成為了歷史。這一節會介紹這些重要差異背后的成因。

穩定幣crvUSD科普創新清算機制LLAMMA,可在抵押品價格下跌時逐步替換為穩定幣:1月17日消息,Curve官方科普其穩定幣crvUSD創新的清算機制LLAMMA,解釋了LLAMMA通過AMM的特性進行針對債務人更友善的清算方式,讓抵押品在價格下跌時逐漸轉移成穩定幣,讓原本要清償的債務有一定程度的穩定幣可以償還,同時在價格回穩時再逐漸把穩定幣換回抵押品,而不是直接的觸發清算導致債務人的虧損。

此前報道,2022年11月23日,去中心化交易平臺CurveFinance開發者發布Curve即將推出的去中心化Stablecoin“crvUSD”的官方代碼和白皮書。[2023/1/17 11:17:13]

合并共識

optimisticrollup最突出的一個特點是

合并共識。合并共識是一種可在鏈上驗證的共識協議。但什么是去中心化共識協議呢?

去中心化共識協議包含以下幾個相互獨立的功能:

分叉選擇規則

區塊有效性函數

領導者選舉算法

抗女巫機制

上述功能保障了區塊鏈的經濟?

安全性?:操縱歷史是要付出代價的。(注意:為了簡單起見,這里我忽略了一些事實,例如,

一些去中心化共識協議是無領導者的)。

在optimisticrollup方案中,側鏈是不會出現分叉的,因此不需要分叉選擇規則。區塊有效性是在鏈下計算的,而且可以在鏈上用錯誤性證明來證明其不正確性。剩下還有領導者選舉和抗女巫攻擊的問題需要解決。

我所提出的規范提議采用“先到先得”機制,即在任一高度上,延長側鏈長度的首筆交易會被采納。領導者選舉是隱式的,而且事后才會見出分曉,而抗女巫攻擊是通過主鏈實現的。如此簡單的領導者選舉規則為何能起到作用?因為以太坊區塊鏈已經提供了安全性。只有出現以下三種情況之時,才能將側鏈上的某個區塊變成孤塊:1)該區塊是無效的;2)該區塊的某個祖先區塊是無效的;3)以太坊區塊鏈發生重組。因此,有效的區塊也具備與以太坊同等程度的確定性和安全性!因此,我們不需要復雜的領導者選舉算法,或是成本高昂的抗女巫攻擊機制來保障安全性。側鏈無需付出額外的成本即可獲得安全性,因此我們可以極大地簡化系統參數的設置。

人民數字FINTECH推出區塊鏈科普動畫:人民日報數字傳播發布微博稱,人民數字FINTECH出品《趣味科普|區塊鏈動畫》。[2020/3/31]

但是,如果我們想要一種能提前知道領導者的方案,該怎么改造呢?一個建議是,可以在鏈上運行PoS+RANDAO來進行領導者選舉。這種情況下,并不需要納入另一種代幣,否則還會產生負面影響。正如比特幣白皮書中所言:

如果一個貪婪的攻擊者所擁有的CPU算力超過了所有誠實節點的算力之和,他就能選擇發動雙花攻擊,或是生成新的代幣。他理應發現遵守規則對自己最有利,因為相比于破壞整個系統以及偽造個人資產來說,遵守規則能讓他獲得比其它礦工加起來都多的區塊獎勵。

正如中本聰所說,原生代幣的全部意義就是激勵“誠實的大多數”來保護整個系統。在optimisticrollup中沒有所謂“誠實的大多數”,也沒有獨立于主鏈的安全性概念,因此完全沒必要再納入一種原生代幣,否則非但不會有任何助益,比起僅使用以太幣來說更不方便。

要注意的是,只要是完全在鏈上運行的領導者選舉機制都可以采用,不僅限于我在本文推薦的那些。例如,燒毀證明就是其中之一。

optimisticrollup雖然與延遲狀態執行和影子鏈等提議有諸多類似之處,但是一大關鍵的區別在于合并共識的概念。optimisticrollup的共識協議是完全在鏈上的智能合約之內運行的;因此,它不會影響到主鏈的共識規則,也不需要得到其支持。相較之下,延遲狀態執行和影子鏈實行的是鏈上自動狀態轉換,需要得到主鏈共識協議和協議內獎懲機制的明確支持。

可持續擴容

現在我們已經明白optimisticrollup是如何通過合并共識實現免許可性及其背后的原因了,那么它是如何實現可持續擴容的呢?

在撰寫本文之時,未壓縮的以太坊狀態大小在45GB左右。不同于歷史數據,狀態是不能夠被刪除的——必須由全節點完整地保存下來,以便驗證新區塊中的新交易。更糟糕的是,為了驗證交易,必須對狀態進行很多次隨機訪問,因此需要將狀態存儲在RAM——大多數消費級硬件都達不到這個條件——或一個快速的NVMe固態硬盤上。狀態增長是以太坊遇到的最大的擴容瓶頸。

動態 | 報告:區塊鏈等熱點詞促使童書科普百科類成交額同比增速最高:近日,京東圖書與艾瑞咨詢聯合發布了《2019中國圖書市場報告》。報告指出,AI、5G、區塊鏈、機器人、VR、智能家居、AR這些熱點詞,不斷點燃科技熱潮,科技在改變大眾生活的同時,也吸引了越來越多家長的關注,從小培養孩子對科技的興趣和熱愛。因此童書中科普百科類成交額同比增速最高,占比將近40%。[2020/1/8]

我們當然可以為狀態大小設定一個硬性上限,這樣就可以不用擔心狀態增長問題了,真正的解決方案是實行狀態租賃機制,持續向狀態的使用者收取費用。然而,在以太坊上部署該機制比想象中更為困難,已經被無限期推遲了。

有一個很實用的解決方案,可以通過減緩狀態增長的速度來解決這一問題。zkrollup?推廣使用的:將側鏈交易數據作為調用數據發布到主鏈上,然后使用有效性證明或錯誤性證明來確保該數據的正確性。結果證明,存儲歷史數據的成本比存儲狀態要低得多。之后,可以通過主鏈來確保數據可用性,追蹤rollup鏈的區塊頭,處理存取款,并驗證有效性證明/錯誤性證明,這些都不需要大量使用狀態。通過減緩狀態增長,擴容就可以實現長期可持續性。Vitalik之前寫過一篇很好的文章,總結了如何將鏈上數據可用性運用到zkrollup和optimisticrollup上。

要注意的是,雖然有人指出影子鏈是完全等同于optimisticrollup的,這顯然是不對的。

現在,我的想法是創建一條完整的“影子鏈”,把計算放到鏈下進行,但是會在生成100個區塊之后向主鏈提交狀態轉換的承諾。預言機可以將新的區塊添加到這條鏈的末端,其中每個區塊內都包含一個由交易組成的列表和一個由這些交易引發的狀態轉換?,...]?組成的列表。一個區塊生成之后,會有一個長達100個區塊的挑戰期,在此期間都沒有遭到挑戰的話,狀態轉換會被自動應用到主鏈上。

除了未被明確定義,影子鏈還會自動在鏈上執行狀態轉換,不會促進狀態增長。optimisticrollup不會執行任何狀態轉換,除非有用戶為此付費。

動態 | 鏈客社區聯合北京交通廣播推出區塊鏈技術科普節目:12月11日15:15—16:00,區塊鏈技術社區——鏈客區塊鏈技術社區將聯合北京交通廣播FM103.9從零開始為大眾科普解碼區塊鏈技術,蜻蜓FM及北京廣播網同期進行全球直播。首期做客嘉賓為鏈客區塊鏈技術社區創始人郄建軍和百度區塊鏈產品負責人于雅楠。[2019/12/11]

非交互性FTW

對于optimisticrollup來說,非交互型錯誤性證明非常重要。為什么?

非交互型錯誤性證明之所以如此重要,是因為要避免?PlasmaCash?存在的缺陷之一,即,針對無效歷史的交互型退出挑戰機制。這種交互型多步驟挑戰機制導致PlasmaCash?對鏈擁堵攻擊的抵御能力較低。所謂的鏈擁堵攻擊指的是攻擊者為了竊取Plasma合約內的全部資金,向主鏈發送大量“退出”交易。只需要一個非交互型錯誤性證明就可以將任意數量的無效optimisticrollup區塊變成孤塊,使系統更能抵御鏈擁堵攻擊。注:由于optimisticrollup使用了錯誤性證明,如果主鏈不具備抗審查性的話,依然存在資金遭竊的風險。

在optimisticrollup中,提款也是通過非交互型的方式處理的:先是在側鏈上發起提款,然后針對主鏈上一個已得到最終確定的區塊生成非交互型包含證明,再利用這個證明來完成提款。然而,這就要求側鏈具有免許可性,因此需要的是合并共識,而非一個類似于Plasma的運營方。

相比交互型驗證游戲來說,非交互型錯誤性證明更有優勢。交互型驗證游戲所需的時間比較長。鑒于optimisticrollup是不會產生分叉的,攻擊者可以生成一個無效的區塊,利用驗證游戲造成側鏈停擺,從而對系統發動DoS攻擊。有了非交互型錯誤性證明,就可以立即證實欺詐行為。

交易延遲問題

Optimisticrollup并不會降低交易延遲。每一個側鏈區塊都需要被提交到主鏈上,因此出塊時間不會低于主鏈。除了使用足額質押的狀態通道之外,

動態 | 新浪財經:官媒針對區塊鏈的報道從科普宣傳轉向打假監管:據新浪財經今日消息,“1025新政”滿月,一個月間,官媒對區塊鏈的態度風向已轉。據11月初的一項統計,七家黨媒在新政一周內發布了65篇直接相關報道,當時文章中的關鍵詞是數據、產業、安全、創新等,大量文章偏向于科普區塊鏈的概念以及應用介紹,提醒警惕虛擬貨幣炒作的僅有3篇。近期,官媒的批評焦點則紛紛指向借區塊鏈之名進行的虛擬貨幣發行和炒作行為。據統計,新華網、人民網收錄轉載的,以打擊虛擬貨幣或揭露假借區塊鏈行騙為主題的文章,自10月25日到11月25日午間,共28篇;其中,11月19日至11月25日的一周內就高達15篇。這些文章主要圍繞三個觀點展開:厘清區塊鏈和虛擬貨幣的關系,說明二者概念不等;打擊偽“區塊鏈”騙局,或是虛擬貨幣騙局揭露;提醒民眾,區塊鏈不能成為炒作的噱頭,更不是行騙的招牌,需警惕此類活動,理性投資。[2019/11/26]

暫無其他安全且免信任的方式可以減低這種延遲。

不過,你不一定要等到側鏈區塊得到最終確定之后才接受它的交易。由于optimisticrollup不會產生分叉,成功上鏈的有效區塊必然會得到最終確認,而且該區塊的所有數據均可獲得,用戶可以執行客戶端驗證,立即接受該區塊內的交易。

乍看之下,取款延遲似乎也是個問題,但事實并非如此。通常情況下,用戶不需要等待其提款得到最終確認。事實上,較長時間的挑戰期主要是為了確保加密貨幣經濟安全性,一般來說都不會用得上。一種能夠立即取款的簡單方法是,在主鏈或另一條鏈上與流動性提供者進行原子交換?。

-Optimisticrollup可以讓你在無需支付gas費用的情況下實現即時交易!-

數據可用性挑戰

一開始的論文提出了解決數據可用性問題的三種方法:

始終將所有數據都發布到鏈上

利用數據可用性挑戰,只在必要之時將數據發布到鏈上

利用數據可用性證明

數據可用性挑戰似乎是個比較簡單靠譜的解決方案。遺憾的是,如果是由被攻擊方來負擔挑戰費用的話,他們就會蒙受損失;如果是由攻擊方來負擔挑戰費用的話,整個系統就會每時每刻將所有數據都發布到鏈上。因此,在設計規范之時,optimisticrollup的選擇是始終將所有數據都發布到鏈上,并以高效率低成本的方式來實現。不過后來,在?

optimisticrollup上使用數據可用性證明也變得可行了。

進一步改進

我已經基于

最小規范的初始版本撰寫了性能改進方案,并總結如下。請注意,重點圍繞的是基于UTXO的支付,而非一般的智能合約執行。

以太坊1.0上的多線程數據可用性?——數據驗證和其它預處理步驟都是純函數,因為它們根本不涉及任何狀態。因此,這些步驟都是可以并行的。按照這種方式來使用以太坊將極大減少狀態的使用和增長,如果使用的是四核計算機,那么數據可用性吞吐量可以增加四倍。我的計劃是通過幾個EIP來實現這一點,第一個就是?EIP-2242:交易Postdata。

無需將中間狀態序列化的UTXO鏈緊湊型錯誤性證明?——針對以太坊智能合約的通用型錯誤性證明成本很高。在UTXO數據模型內,每個UTXO最多只能創建并消耗一次,每個交易都會完整描述狀態轉換。區塊生產者可以將元數據添加到每個輸入上,聲明這個輸入是由一個特定的輸出生成的。如果這種聲明有錯,則這種錯誤性是可以通過非交互的方式來證明的。我在另一篇文章中重新分析了BIP-141中提到的錯誤性證明機制。

使用默克爾累加器的無狀態查詢平行交易驗證——狀態查詢是非常昂貴的。無狀態客戶端就是通過消除對狀態的使用來降低成本。但我們可以搞簡單一點:只需免去狀態查詢即可。“見證數據”是不會立即過期的,其有效性會持續幾個區塊。這些“見證數據”必須根據最新幾個區塊的狀態轉換進行比較,而狀態轉換可以在UTXO數據模型中通過無狀態計算得出。

鏈上非交互型數據可用性證明——如果自始至終都將數據上鏈的話,會帶來巨大的成本,還會導致optimisticrollup只能實現線性擴展。我們可以將共識節點進行可用性檢查的能力通過一個FFI函數表示出來,就可以在無需進行分片的情況下獲得二次方的可擴展性。這是?通過停擺實現免信任型雙向橋側鏈——使用錯誤性證明的雙向橋側鏈必須一直保持在線,這點對用戶來說可能有些不便。雖然瞭望塔不適用于PlasmaCash?,但它可以應用到optimisticrollup上。但是,我們可以做得更好:可以在側鏈運行一段時間后完全停擺,然后向用戶提供一個較長的窗口期,以便用戶提交錯誤性證明來決定有效的區塊。這段用戶必須在線的窗口期是已知且有限的。等窗口期結束之后,才允許取款。如果用戶想要早一點取款的話,可以與流動性提供者進行原子交換。

構建OptimisticRollup的團隊

自從幾個月之前第一版OptimisticRollup最小化規范撰寫完成以來,我欣然發現很多開發團隊都開始構建OptimisticRollup的實現了,其中經歷了很多波折和修改。下面是一張不完全列表,列舉了我們目前看到的正在構建OptimisticRollup的開發團隊。

Fuel?——聚焦于穩定幣支付的UTXO數據模型。可以用來進行任意的ERC-20代幣或ETH轉賬,或是進行原子交換,未來還可以用來進行“斷言”腳本撰寫。該模型即將上線長期公共測試網。

PlasmaGroup?——在?OVM?環境下的通用型類EVM智能合約,已經在Devcon5上宣布與Uniswap達成合作。

Arbitrum?——使用了交互型驗證游戲機制的通用型智能合約。除此之外,新的?Arbitrumrollup?設計與optimisticrollup大致相同。

InterstateNetwork?——使用錯誤性證明的通用型類EVM智能合約。

SKALE?——使用?BLSsignature?聚合的Optimisticrollup。

NutBerry?——使用了交互型驗證游戲機制的通用型類EVM智能合約。

IDEX?——為IDEX交易所構建了“優化型OptimisticRollup”。

結論

隨著各種各樣的optimisticrollup實現項目上線,接下來的一年以太坊將發生巨大改變,其吞吐量將得到大幅提高,并在數據可用性方面進一步實現可持續擴容。

我在本文中沒有將optimisticrollup與zkrollup進行對比。如果你對此感興趣的話,可以看一下?AlexGluchowski?寫的這篇文章。

感謝?MikerahQuintyne-Collins、JamesPrestwich、RobertDrost?和?JosephChow?的審校。

(完)

原文鏈接:?https://medium.com/@adlerjohn/the-why-s-of-optimistic-rollup-7c6a22cbb61a作者:?JohnAdler翻譯&校對:?閔敏&阿劍

來源:以太坊愛好者,原題《科普|OptimisticRollup為什么要這么設計?》

Tags:ROLLROLMISTIMIroll幣可以roll坐騎嗎The Troller CoinAlchemist DeFi AurumFimi Market Inc.

幣安下載
交易所為何不下架被51%攻擊的BTG與ETC?_比特幣

撰文:AshwinRamachandran與?HaseebQureshi,前者系區塊鏈風險投資機構DragonflyCapital初級合伙人.

1900/1/1 0:00:00
評論:BCH減半時間早于BTC,會卷入死亡螺旋嗎?_BCH

有讀者擔心,BCH出塊獎勵減半時間早于BTC,這可能會使BCH卷入“死亡螺旋”,他們是這樣認為的:因為減半時間早于BTC,所以減半來臨時,BCH會有50%算力被切掉.

1900/1/1 0:00:00
什么是閃電貸?如何利用它在13秒內套利36萬美元?_DEFI

聰明又狡猾的某人剛剛通過操控DeFi貸款協議bZx的方式,獲得35萬美元的賬面「收益」,不過bZx團隊通過adminkey限制了操縱人提現,使其無法真正獲利.

1900/1/1 0:00:00
觀察 | OKEx引發“銷毀戰”,為什么絕對通縮值得幣圈學習?_okex

文|冰棒?編輯|畢彤彤來源|PANews剛剛,OKEx再次發布銷毀公告,啟動了新一季度的銷毀,回購銷毀OKB數量為318萬枚,價值約為1750萬美元,較上一輪回購金額增長了16.67%.

1900/1/1 0:00:00
《比特幣秘史》:比特幣Logo背后的故事?_比特幣

來源:哈希派 作者:LucyCheng巨大的B加上兩條垂直線條,橙白配色、扁平、帶點偏離感,是我們熟悉的比特幣logo;但故事剛開始的時候它不長這樣,而是一枚印有BC標志的金幣.

1900/1/1 0:00:00
Business Insider預測:2020年Libra不會正式發布,中國將發布數字貨幣_THE

本文選摘于《BI預測2020:Libra不會正式發布,中國將發布數字貨幣》,來源:鈦媒體,作者:石萬佳近日,BusinessInsider發布了對于2020年科技行業30大預測.

1900/1/1 0:00:00
ads