當我們向一種新的擴容范式轉變時,回顧被拋棄的舊范式是一種很好的做法。
這篇文章旨在讓讀者相信,“以rollup為中心”的方法并不會背離分片,并且有望構建對整個系統更直觀的理解。
OptimisticRollup的定義
出于本文的目的,我們先詳細說明最簡單的OptimisticRollup(ORU)實現。
ORU需要具備以下幾個特性:
將所有交易數據提交到鏈上
將狀態根提交到鏈上
假設狀態根是正確的
一些節點負責驗證ORU的狀態轉換
設有鏈上欺詐證明執行程序,可以撤銷無效狀態轉換
分片為什么不可行
在證明ETH2.0分片只是一種復雜的ORU系統之前,我們先來探究一下為什么原生分片系統并非安全的可擴展性解決方案。其背后原因不是特別直觀。
觀點:在美聯儲鷹派言論的支持下,加密貨幣市場的拋售加速成為支撐:Coinbase Institutional發布市場顏色(Market Color),在美聯儲鷹派言論的支持下,加密貨幣市場的拋售加速成為支撐。國債市場繼續上漲,市場傾向趨于平緩,這表明美聯儲即將犯下錯誤。BTC CME 7月合約表現嚴重落后于現貨,這擴大了基差,并創造了在15天內為每個BTC帶來近200美元的利潤的機會。
據介紹,Coinbase Institutional援引Coinbase Institutional交易平臺和加密數據分析平臺Skew分析,發布市場顏色(Market Color),但并不是投資建議[2021/7/16 0:57:46]
從數學角度證明分片的安全性
假設
一條區塊鏈上有16384個驗證者和64條分片鏈,每條分片鏈都由128名驗證者組成的委員會負責驗證。委員會成員選舉是不可預見的:每個slot結束后,所有委員會都會解散,并隨機從全體驗證者中重新選出64個委員會,因此每個驗證者都不知道其他驗證者所在的委員會。假設一個區塊需要獲得委員會中2/3成員的認可才能被添加到分片鏈上,這就意味著在全體驗證者中包含1/3惡意驗證者的情況下,通過隨機的方式選出惡意委員會的概率是:
觀點:讓用戶能夠真正理解隱私的重要性,才能推進產業發展:7月13日19:00,LatticeX中國區大使Jason、Oasis Network中國社區技術顧問Vic、Secret Network中國營銷經理Kelvin、Findora內容負責人James參與了由ULink主辦的“區塊鏈技術不斷前行的當下隱私充當著怎樣的角色呢?”線上圓桌論壇。
Jason表示,區塊鏈技術的公開、透明、不可篡改特性是把雙刃劍,如果這個行業只有Token,隱私保護就是一個炒作的噱頭,但如果區塊鏈想要實現大規模使用,它承載的信息只會越來越多,數據之間的關聯性會越來越多,這時數據的主權和保護問題便不可忽視,
Vic表示,滴滴事件給整個隱私行業帶來了利好,從而推動用戶對于整個隱私行業和數據保護意識的提升,讓更多人意識到數據安全的重要性和必要性,也讓更多的企業意識到數據獲取需要在合法的范圍內進行。
Kelvin表示,在DeFi世界中存在著搶先交易的問題,大型的搶購活動之前一些公司或個人就可以獲取到大眾的礦工費,從而利用機器人礦工費搶先完成交易,獲取相應的利益,但這個隱私的暴露問題對于大多數人來說是不公平的。
James表示,我們需要通過現有案例分析、立法監管不斷推進、大數據行業的自覺性、隱私從業者的推進與教育讓用戶能夠真正理解隱私的重要性,才能推進產業發展。[2021/7/14 0:50:37]
美國銀行調查:大多數專業投資者在通脹問題上同意美聯儲的觀點:美國銀行6月份全球基金經理人調查顯示,專業投資者認為通脹可能是暫時的,圍繞長期通脹建立的交易是最為過度的。指標顯示,華爾街的看法與美聯儲的看法一致,即最近的通脹壓力將隨著時間的推移而減輕,并最終回落至正常水平。約73%的受訪者表示,他們認為通脹是暫時的,而只有23%的人認為通脹是永久性的。此外,投資者認為大宗商品是最擁擠的交易,取代了上個月的領頭羊比特幣。[2021/6/16 23:39:58]
b)哈希承諾。
關于該技術的詳解,可以參見這篇文章。
分片就是Rollup
ETH2.0的分片設計模糊了它們是信標鏈的ORU這樣一個事實。如果將重點從分布式處理轉向有序的數據可用性層,就變得一目了然了。
觀點:“以 rollup 為中心” 的擴容方案并沒有讓以太坊偏離方向:據EthFans社區10月15日消息,針對此前V神更新以太坊路線圖稱,將以rollup構建為中心,以太坊lightclient近期發博客文章表示,“以 rollup 為中心” 的擴容方案并沒有讓我們偏離方向,而是一個超集。我們在分片設計中遇到的問題與我們在整合跨rollup通信時遇到的問題是同構的。這就意味著,已經開展的大部分工作都可以繼續進行,不會被中斷。與此同時,以rollup為中心的路線圖會降低分片執行所必需的協議復雜性。這使得我們能夠不斷迭代類似分片的復雜的rollup機制。這樣可以讓更多開發者為不同的rollup格式做貢獻,讓現有核心開發者和研究者可以專注于構建一個健壯的數據可用性層。[2020/10/15]
如上圖所示,驗證者集起到以下4種作用:
驗證并執行信標鏈
對分片所提供的數據進行抽樣驗證
觀點:加密貨幣持有者需向美國國稅局正確申報分叉幣和空投損益:根據美國國稅局的規定,加密貨幣持有者在“對通過硬分叉或空投獲得的加密貨幣行使支配權和控制權”時需要確認其收入。也就是說,當持有者獲得轉讓或出售加密貨幣的能力時需要進行稅收申報。納稅申報軟件公司Sovos稅務扣繳和申報專家Wendy Walker表示,分叉幣被視為“普通收入”,具體的納稅額將取決于納稅人使用的估價方案。德勤稅務合伙人Jim Calvin表示,默認情況下,代幣的估值采用先進先出(FIFO)的會計方法,即使用最古老的加密貨幣單位來確定成本基礎。盡管還有其他估價方法可能產生較少的納稅義務,如后進先出法(LIFO)或平均成本法,只要這些方法被一致地應用,它們是可行的。此外,即使是免費或不情愿收到的空投代幣,也應該作為收入申報。任何時候有人出售加密貨幣,他們都需要確認稅收的損益。監管者非常清楚加密貨幣在協助逃稅和洗錢方面的作用。那些認為不用交稅就能逃脫的人面臨著被審計的風險,同時還會受到嚴厲的處罰。比特幣區塊鏈上的交易大部分是公開的。Wendy Walker表示,美國國稅局通過這些交易追溯到納稅人只是時間問題。(Cryptobriefing)[2020/4/10]
組成分片委員會
提交關于無效狀態轉換的欺詐證明
我們已經作了兩個假設:i)數據具有可用性,ii)區塊鏈會從最近一個具有數據可用性的區塊開始進行分叉。則要么人們可以構建欺詐證明,要么系統將缺乏數據可用性歸咎于簽署該區塊的分片委員會,并回滾狀態轉換。
從定義上來說,ETH2.0是一種ORU
這時,考慮到我們之前對ORU的定義,我們應該能夠證明分片實際上就是rollup:
1.所有交易數據都提交到鏈上
分片區塊數據被集中到數據可用性層上,在一定概率上會由全網進行驗證。
2.狀態根被提交到鏈上
分片委員會為包含在信標鏈區塊中的分片狀態根提供證明。
3.狀態根被假定為有效的
信標鏈在沒有進行額外驗證的情況下,假定分片委員會的證明是有效的
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翻譯&校對:?閔敏&阿劍
14000,就在今天晚上6點,比特幣一舉攻下14000關口,破了兩年新高。牛市的味道,越來越濃了。 然而,面對不斷新高的比特幣,有人歡喜有人愁.
1900/1/1 0:00:00原文標題:解構灰度比特幣信托原文作者:AnnHsu|ChainHillCapital首席指數分析師本文系ChainHillCapital首席指數分析師AnnHsu撰寫,未經授權嚴禁轉載.
1900/1/1 0:00:00原文:DimensionTech2020年10月20日,在「第五屆網絡社會年會·實踐智慧之網」暨「天問:世界觀的對話」活動上.
1900/1/1 0:00:00DeFi的“夏天”或許已經結束了,但另一件迫在眉睫的事件,將再次激勵DeFi工程師啟動他們的“樂高”創新模式,以打造更具去中心化的金融產品,而這便是以太坊2.0的升級.
1900/1/1 0:00:00要點: Dharma提議降低Uniswap治理門檻;社區擔心提案會使Dharma形成壟斷聯盟;Uniswap的治理系統尚未成熟.
1900/1/1 0:00:00幣圈很多投資者都有跟隨熱點的習慣,這有點像股市中板塊聯動,做熱門的板塊投資時,收益相對豐厚,但是在沒有特別熱的板塊可以跟隨時,我們該如何操作?本期非小號研究主要向大家講解.
1900/1/1 0:00:00