當我們向一種新的擴容范式轉變時,回顧被拋棄的舊范式是一種很好的做法。
這篇文章旨在讓讀者相信,“以rollup為中心”的方法并不會背離分片,并且有望構建對整個系統更直觀的理解。
OptimisticRollup的定義
出于本文的目的,我們先詳細說明最簡單的OptimisticRollup(ORU)實現。
ORU需要具備以下幾個特性:
將所有交易數據提交到鏈上
將狀態根提交到鏈上
假設狀態根是正確的
一些節點負責驗證ORU的狀態轉換
設有鏈上欺詐證明執行程序,可以撤銷無效狀態轉換
分片為什么不可行
在證明ETH2.0分片只是一種復雜的ORU系統之前,我們先來探究一下為什么原生分片系統并非安全的可擴展性解決方案。其背后原因不是特別直觀。
觀點:L1協議應優先考慮PoS共識機制:金色財經報道,Concordium的ESG和可持續發展主管Maria Eisner表示,L1協議應優先考慮PoS共識機制高于PoW,并且盡可能依賴可再生能源。Web3必須追求綠色能源目標,并反駁區塊鏈行業整體對環境不利的說法。為此,L1應投資激勵措施,鼓勵用戶通過可再生能源為其工作提供動力。在有補貼的清潔能源的支持下,用戶會發現他們的工作更便宜且更環保。這是2023年消費者明確想要的東西。[2023/8/7 21:28:31]
從數學角度證明分片的安全性
假設
一條區塊鏈上有16384個驗證者和64條分片鏈,每條分片鏈都由128名驗證者組成的委員會負責驗證。委員會成員選舉是不可預見的:每個slot結束后,所有委員會都會解散,并隨機從全體驗證者中重新選出64個委員會,因此每個驗證者都不知道其他驗證者所在的委員會。假設一個區塊需要獲得委員會中2/3成員的認可才能被添加到分片鏈上,這就意味著在全體驗證者中包含1/3惡意驗證者的情況下,通過隨機的方式選出惡意委員會的概率是:
觀點:在未來15個月,BTC規模可能擴大15-20倍:摩根溪聯合創始人Anthony?Pompliano在給投資者的信中表示,在未來15個月,BTC規模可能擴大15-20倍。Pompliano建議投資者應該將可投資資本的1-10%投入比特幣。普通投資者現在擔心通貨膨脹,無論是否發生通貨膨脹,恐懼已將大量資本帶入通貨膨脹對沖資產(黃金,比特幣,房地產等)。由于機構投資者的需求不斷增長,加密貨幣將進一步發展。(Bitcoinist)[2020/10/16]
b)哈希承諾。
關于該技術的詳解,可以參見這篇文章。
分片就是Rollup
ETH2.0的分片設計模糊了它們是信標鏈的ORU這樣一個事實。如果將重點從分布式處理轉向有序的數據可用性層,就變得一目了然了。
觀點:全球貨幣市場大幅波動極大有利于比特幣價格:在Coinbase的機構覆蓋團隊工作的Max Bronstein稱,“人們對比特幣在股市波動期間的表現談了很多,但對比特幣在外匯/貨幣波動期間的表現卻談得不多。
隨著全球貨幣從歷史低點反彈,以及一波巨大的新債務浪潮,外匯市場將迎來焰火。更重要的是,貨幣的大幅波動可能極大地有利于比特幣的價格。”(Cointelegraph)[2020/7/8]
如上圖所示,驗證者集起到以下4種作用:
驗證并執行信標鏈
對分片所提供的數據進行抽樣驗證
組成分片委員會
提交關于無效狀態轉換的欺詐證明
我們已經作了兩個假設:i)數據具有可用性,ii)區塊鏈會從最近一個具有數據可用性的區塊開始進行分叉。則要么人們可以構建欺詐證明,要么系統將缺乏數據可用性歸咎于簽署該區塊的分片委員會,并回滾狀態轉換。
觀點:美國拉斯維加斯允許無現金,或為CasinoCoin等加密貨幣提供機會:作為應對Covid-19的一項措施,美國內華達州委員會(NGC)上周批準在拉斯維加斯進行無現金。一些觀察人士將這一舉措視為CasinoCoin等加密貨幣引入賭場的機會。(Focusgn)[2020/6/30]
從定義上來說,ETH2.0是一種ORU
這時,考慮到我們之前對ORU的定義,我們應該能夠證明分片實際上就是rollup:
1.所有交易數據都提交到鏈上
分片區塊數據被集中到數據可用性層上,在一定概率上會由全網進行驗證。
2.狀態根被提交到鏈上
分片委員會為包含在信標鏈區塊中的分片狀態根提供證明。
3.狀態根被假定為有效的
信標鏈在沒有進行額外驗證的情況下,假定分片委員會的證明是有效的
聲音 | 觀點:ETH將在BTC漲至10萬美元之前漲至2000美元:《B Is for Bitcoin》的作者Graeme Moore發推稱,以太坊將在比特幣漲至100000美元之前漲至2000美元。(BeInCrypto)[2019/9/19]
4.一些節點負責驗證ORU的狀態轉換
分片委員會驗證分片的狀態轉換。
5.有一個可以撤銷無效狀態轉換的鏈上欺詐證明執行器
信標鏈支持分片狀態轉換欺詐證明。
解構ETH2.0
既然我們已經解釋了ETH2.0和ORU系統之間不可思議的相似性,我們能夠如何利用這一信息來更好地理解整個系統的設計?讓我們通過ORU系統的角度來探索ETH2.0的一些設計決定:
數據吞吐量
在當前設計中,系統的數據吞吐量與分片機制緊密耦合。
這里可以采用的一種方法是,將數據可用性檢查視為協議中的頭等公民。這樣可以對數據層進行獨立優化,執行層也可以更細的粒度控制硬件要求。
例如,ETH2.0可以提供64個數據中心和一個在信標鏈上的ORU合約,以此代替分片鏈。ORU合約可以讓rollup決定領導者選舉機制,它們想要將數據發送到多少個數據中心上,以及它們是否想與其它rollup綁定。使用的數據中心越多,驗證rollup所需的硬件要求就越高。
嚴格來說,上述系統是當前分片設計的超集。除了由協議定義的64個分片之外,還會有其它具有自己特征的rollup構建在安全數據層上,并且獨立于協議分片。
回滾最小化
在簡單的ORU中,當選的領導者有權提交無效狀態轉換。雖然這不會影響系統的安全性,因為無效狀態轉換是可以通過欺詐證明撤銷的,但這確實會破壞rollup的進程。單獨來看,這種破壞對作惡者來說通常是不劃算的。然而,在ETH2.0中,跨分片通信讓這個問題變得特別棘手。處于slotN的分片預期自己可以獲得其它分片在slotN-1時的狀態。假設分片S~i~提交了一個無效的狀態轉換,除了單方面發起回滾之外沒有其它合理的方法來撤銷該狀態對分片S~j~的負面影響。
為避免災難性事件,必須有適當的機制來防止這類回滾。其中最明顯的兩個機制是分片委員會和托管比特檢查。正如“從數學角度證明分片的安全性”一節中所述,即使考慮到各種攻擊向量,賄賂分片委員會中2/3以上成員的概率也很低。托管比特可以確保誠實的驗證者不會因為懶惰而被騙簽署無效的狀態轉換。
如果我們認為這些機制的目的是防止無效狀態轉換,而非維護系統安全,就能選擇既有實用價值,又能實現相同效果的參數。例如,將分片委員會的規模減少到64人,隨機組成惡意委員會的概率依然低至3.1×10-8。但是從網絡和簽名聚合的角度來看,這樣能夠極大減輕負擔。
以rollup為中心的以太坊路線圖
本文最初撰寫于斯坦福區塊鏈大會2020期間。那時,我開始充分領會到ETH2.0和ORU之間的相似性。在看過Vitalik的
文章后,我決定發布這篇文章,來表示對以太坊將來采用以rollup為中心的擴容方案的支持。但是,如本文所述,“以rollup為中心”的擴容方案沒有讓我們偏離方向,而是一個超集。我們在分片設計中遇到的問題與我們在整合跨rollup通信時遇到的問題是同構的。這就意味著,已經開展的大部分工作都可以繼續進行,不會被中斷。
以rollup為中心的路線圖會降低分片執行所必需的協議復雜性。這使得我們能夠不斷迭代類似分片的復雜的rollup機制。這樣可以讓更多開發者為不同的rollup格式做貢獻,讓現有核心開發者和研究者可以專注于構建一個健壯的數據可用性層。
可以說,通往功能完善的ETH2.0的道路從未如此清晰。
如果你對文中所述內容感興趣,想要進行深入討論,請在推特上聯系我?@lightclients。我也在將幫助各種有影響力的項目尋找優秀的研究者和工程師。如果你需要幫助,請私信我。
原文鏈接:?https://lightclient.io/blog/eth2-is-a-rollup/作者:?lightclient翻譯&校對:?閔敏&阿劍
2020年10月20日,密碼極客發起了第一期。我們非常榮幸邀請到了Parity亞洲區技術總監賈瑤琪博士做客密碼極客大咖直播間,為大家講解《如何基于波卡開發區塊鏈項目》.
1900/1/1 0:00:0010月26日,有用戶發現DeFi挖礦項目?Harvest.finance疑似遭到黑客攻擊。黑客借用閃電貸,獲利近2400萬美元.
1900/1/1 0:00:00比特幣市值略低于2000億美元,是迄今為止規模最大、最受歡迎的加密貨幣。交易比特幣通常是從交易所直接購買。然而,新玩家會對比特幣的技術方面產生困惑:如錢包、比特幣地址和私鑰等.
1900/1/1 0:00:00冬天到了,歐洲的新冠第二波爆發,法國、德國昨天都宣布“封國”。法國昨天確診出來的人數5.2萬例,死了523人,紛紛創出近半年的新高。德國昨天確診14964例,也刷新了歷史最高紀錄.
1900/1/1 0:00:00來源:公眾號“蘇寧金融研究院”作者:蘇寧金融研究院高級研究員孫揚數字人民幣試點是很神秘和低調的,但人們依然能從各種信息中,感受到數字人民幣的恢弘格局.
1900/1/1 0:00:00轉自:區塊律動 10月23日,中國人民銀行發布關于《中華人民共和國中國人民銀行法》公開征求意見通知,完善人民幣管理規定.
1900/1/1 0:00:00