本文為V神2022年1月25日在ethereum.org上發表的文章。金色財經編譯如下:
特別感謝JustinDrake、DankradFeist、AlexObadia、Hasu和其他hackmdanons提供反饋和對本文各種版本的審閱。
目前的以太坊區塊需要64-95個slot才能最終確認。這是合理的,因為它是在去中心化/最終確認時間/開銷三者權衡曲線上選擇的一個中等、不壞的權衡:15分鐘不算太長,與現有交易所的確認時間相當,它允許用戶在普通計算機上運行節點,甚至由32枚ETH的存款而產生的大量驗證者。但是,有很多很好的論據可以將最終確認時間減少到單個插槽。這是一篇研究現狀的文章,研究了一些可能的策略。
目前的以太坊質押如何以及為何有效
目前以太坊信標鏈大約有285,000名驗證者賬戶已存入32枚ETH,因此可以參與質押。驗證者不會與用戶一一對應:富有的質押者可能控制著數百個驗證者。最低32枚ETH限制了驗證者賬戶的可能數量,并確保鏈仍然具有處理它們的計算能力。
每個插槽都會將一個新區塊添加到鏈上。在每個插槽中,還有數千個證明對鏈的頭部進行投票。有一個名為LMDGHOST的分叉選擇規則,它將這些證明作為輸入,并確認鏈的頭部。這種由數千個證明進行的并行投票使得以太坊比傳統的最長鏈系統更加健壯:除非存在主動攻擊或巨大的網絡事故,否則即使是單個插槽也幾乎永遠不會被反轉。
證明還有第二個目的:它們在稱為CasperFFG的大規模共識算法中充當投票。每個epoch,所有活躍的驗證者都有機會證明一次。這樣經過兩輪,如果一切順利,一個epoch將被最終確認。一旦一個區塊被最終確認,反轉該區塊需要至少1/3的驗證者燒掉他們的存款:攻擊成本超過300萬枚ETH。
Uniswap社區對將V3部署至Linea網絡提案進行鏈上投票:8月2日消息,治理頁面顯示,Uniswap 社區正對將 Uniswap V3 部署至 ConsenSys zkEVM 網絡 Linea的提案進行鏈上投票,投票將于今日 21:57 結束。該提案此前已通過溫度檢查投票,相關的 Uniswap v3 合約也已部署至 Linea。
如果此鏈上投票通過,則通過對 v3deployments.uniswap.eth 子域的修正,此部署將被正式認可為規范的 v3 部署。此后,Uniswap Labs 的任務是處理前端集成更新,并將 Linea 添加到自動路由器中。[2023/8/2 16:13:28]
持續審查驗證者或交易的成本同樣高昂,盡管防御審查攻擊需要額外的協議干預。如果51%的驗證者開始審查,受害者和用戶可以在少數軟分叉上進行協調,他們在彼此的區塊上構建并忽略攻擊者。在少數軟分叉上,攻擊者的存款將因“怠惰懲罰”而損失數百萬枚ETH,幾周后鏈恢復最終確認。
為什么要嘗試實現單槽最終確認?
嘗試擺脫現狀并將最終確認時間縮短到一個slot有幾個關鍵原因:
用戶體驗。大多數用戶不愿意等待15分鐘才能最終確認。目前即使是交易所也經常認為存款在12-20次確認后“最終確認”,但即使12-20個PoW確認提供的安全保證也是低的安全保證。單槽最終確認將以用戶越來越習慣期望的速度提供非常高的安全性。
MEV重組阻力。單槽最終確認甚至將使為MEV提取目的而重組鏈不可行。合并中的LMDGHOST已經使這變得困難,但是單槽最終確認使這種保證更加強大,并產生了強大而壓倒性的抑制作用,甚至可以阻止敵對的大多數人串通和攻擊。有關該論點的更詳細說明,請參閱這篇文章https://www.paradigm.xyz/2021/07/ethereum-reorgs-after-the-merge/
美國Gary Gensler主席希望國會為該機構提供更多資金用于追查加密貨幣公司:金色財經報道,美國證券交易委員會 (SEC) 主席 Gary Gensler 要求國會為該機構提供更多資金,以便他和他的同事們可以繼續對加密領域進行調查。[2023/5/8 14:48:39]
減少協議復雜性和錯誤的機會。CasperFFG最終確認和LMDGHOST分叉選擇之間的“接口”是一個非常復雜的來源,導致許多攻擊需要相當復雜的補丁來修復,并且經常發現更多的弱點。單槽最終確認提供在單槽確認機制和分叉選擇規則間關系更清晰的機會。其他復雜性來源也可以減少。
想法1:通過超級委員會進行單槽最終確認
不是所有驗證者都參與每輪CasperFFG,而是只有幾千名驗證者的中型超級委員會參與,允許每輪共識在一個slot發生。該技術理念最初是在這篇ethresear.ch帖子中引入https://ethresear.ch/t/a-model-for-cumulative-committee-based-finality/10259。這篇文章更詳細地描述了這個想法,但核心原則如下:
BFT共識不是在每個epoch運行,而是在每個slot運行。這意味著一旦交易被包含在一個區塊中,在一個slot之后,將花費數千枚ETH來恢復該交易。
我們不依賴完整的活躍驗證者集來最終確認每個slot。相反,我們依靠隨機選擇的數千名驗證者組成的超級委員會。
伊朗建立專門平臺使用加密貨幣支付進口費用:5月3日消息,伊朗貿易促進組織 (TPO) 表示,伊朗當局正在采取措施,使在受制裁國家進口商品的公司更容易進行加密支付;其已經建立了一個專門的平臺,允許本地企業為跨境結算目的轉移加密貨幣。政府機構負責人Alireza Peymanpak表示,伊朗中央銀行(CBI)已批準在進口商品結算中使用加密貨幣。(news.bitcoin)[2023/5/3 14:40:24]
分叉選擇規則(LMDGHOST)僅用于委員會未確認的例外情況。如果發生這種情況,分叉選擇規則將決定哪個區塊是鏈的頭部,以及委員會將被“怠惰懲罰”直到再次確認。
如果委員會未能確認,則鏈繼續使用分叉選擇來確定鏈頭和被“怠惰懲罰”的離線驗證者,直到他們的余額被稀釋到,剩余在線驗證者余額的2/3并且委員會可以確認的程度。
切換到超級委員會的次要好處
從全局驗證者集切換到超級委員會有一些次要好處:
運行驗證者節點的計算負載變得更加穩定。要求與驗證者總數成正比,強制驗證者擁有強大的機器以防驗證者數量大幅增加,計算負載將是穩定的,因此驗證者確切知道他們需要什么計算要求。
大多數情況下,驗證者可以立即退出。目前不屬于委員會的驗證者將能夠立即退出。即使是委員會中的驗證者也可以很快退出,因為委員會可以在單槽最終確認性下快速輪換。只有在真正特殊的情況下,驗證者才需要留下并繼續保護鏈,直到一切恢復正常。
安全公司:DeFi借貸協議Cream Finance攻擊者再次轉移約200萬美元:據成都鏈安鏈必追平臺監測顯示,DeFi借貸協議Cream Finance攻擊者再次轉移200萬美元。攻擊者先將 2,000,000 DAI (價值約200萬美元)通過Curve Finance兌換為83個BTC,再將83個BTC轉移至bc1qxn95s5c3q8y7q3w3gzgy0v74q05vvmvmsn8g8s地址,昨日,攻擊者轉移約300萬美元,兩天已轉移約500萬美元,成都鏈安安全團隊將持續對新地址的資金進行分析和追蹤。據悉,2021年10月,DeFi抵押借貸協議Cream Finance遭遇閃電貸攻擊,損失1.3億美元。[2022/7/20 2:26:15]
超級委員會有多大?
就驗證者數量而言,答案是“大到足以成為一個安全委員會”。但就總ETH而言,委員會也必須足夠大。“罰沒(slashing)”和“怠惰懲罰”的ETH數量需要大于可以從攻擊中實際獲得的收入,并且需要大到足以阻止或破壞具有大量外部激勵來破壞鏈的強大攻擊者。
這個需要多少ETH的問題不可避免地是一個直覺問題。以下是可以提出的一些問題來指導你的直覺:
假設以太坊受到51%的攻擊,社區需要花幾天時間協調鏈下治理事件以恢復,但所有ETH的X%被燒毀。X需要多大才能對以太坊生態系統產生凈效益?
假設一家大型交易所因數百萬ETH被黑客入侵,攻擊者將收益存入并獲得超過51%的驗證者。在他們所有的贓款被燒毀之前,他們應該能夠進行多少次51%攻擊?
MetaMask推出MetaMask Snaps以連接StarkWare等非EVM兼容網絡:6月29日消息,MetaMask宣布將StarkWare集成到ZK-RollupSnap中。MetaMask Snaps允許開發人員擴展MetaMask的功能,包括連接到非EVM網絡,如StarkNet。其為首個實現ZK-rollup支持的Layer2 snap,使用戶能夠更廣泛地訪問無權限的去中心化網絡,以實現快速、低成本的應用程序。此外,除了查看、管理和添加基于StarkNet的代幣外,Consensys還開發了一個Stark Netdapp來安裝snap。密鑰和交易批準將在MetaMask Flask中進行管理。MetaMaskSnaps允許開發人員在MetaMask之上構建并根據他們dapp的需求對其進行自定義。此外,Snaps目前僅在開發版本MetaMask Flask中可用,即僅限于開發者使用。[2022/6/29 1:40:03]
假設51%攻擊者開始反復重組鏈,以在一段時間內捕獲所有MEV。我們希望對攻擊者施加的每秒成本是多少?
JustinDrake的估計表明,如今spawn-camp攻擊比特幣的成本約為100億美元,或市值的1%。一次性51%攻擊以太坊的成本應該是這個水平的多少倍?
以太坊研究人員的內部調查
如果我們只關注不依賴延遲的51%攻擊,100萬ETH的攻擊成本意味著超級委員會規模為200萬ETH,如果再考慮涉及惡意驗證者和網絡操縱的復雜組合的34%的攻擊,超級委員會規模為300萬ETH。但是,如果我們希望以太坊鏈負載保持與現在相同,這將對應于96,000到144,000ETH的攻擊成本。這兩個數字之間仍然存在很大差異。
因此,除非以太坊社區可以確信攻擊以太坊的較低成本是可以接受的,僅依靠這條路徑似乎很難。
想法2:努力讓盡可能多的證明者發揮作用
假設我們確實希望有一個鏈,每個slot有大量驗證者參與。那上面的性能數字會是什么樣子?
事實證明,每個slot有大量驗證者證明的鏈上成本并沒有看起來那么令人望而卻步:
存儲驗證者記錄所需的狀態空間將與今天完全相同。
驗證簽名需要將131,072個公鑰的事實上的隨機子集相加。每個橢圓曲線加法可以在~1微秒內完成,因此這可以在~130毫秒內完成。這將需要每個插槽執行兩次。
如果我們假設在slotN中活躍的驗證者通常在slotN+1中保持活躍,則可以進一步優化鏈上添加成本;這意味著對于每個插槽,我們只需要計算新舊聚合pubkey之間的增量,在良好的條件下,它可能包含幾千個甚至幾百個驗證者公鑰。即使在最壞的情況下,至少2倍優化應該始終是可能的。剩下的最大問題是簽名聚合。有131,072個驗證者制作和發送簽名,這些需要快速組合成一個大型聚合簽名。
目前聚合是在p2p子網中完成的。每個大小為256的委員會都在其自己的子網中聚合了簽名。有16個隨機選擇的優先聚合器可以進行聚合并將它們提交到主子網。然后,提議者從每個委員會中獲取最佳聚合,并將它們聚合在一起,形成單一的總合并聚合。
這給每個委員小組帶來了負擔,驗證者需要單獨驗證簽名,特別是在攻擊者用無效簽名淹沒網絡的情況下,以及在全局子網中,如果有n個小組委員,提議者必須驗證16*n簽名。
聚合很可能成為未來兩年顯著優化的目標。目前,最大的實際瓶頸是每個子網的負載,特別是對于需要在多個子網中的節點。
最有希望能夠顯著改進的兩條簡單途徑是:
1、在不增加每個子網的負載的情況下,增加子網的數量以允許更多的總證明。主子網中的負載會增加,但這將通過dank-sharding得到補償,它通過允許插槽中的所有驗證者對相同數據進行簽名來提高效率,從而更容易地對這些簽名進行批量驗證。
2、更改網絡規則,以便即使具有許多驗證者的節點也只需要參與一個子網,從而為增加每個子網的負載和子網數留出空間。如果驗證者是其中的聚合器,則驗證者僅需要嚴格訂閱子網;僅僅發布到子網的驗證者只需要找到訂閱該子網的誠實對等方,而無需自己訂閱它。
更專業的聚合器
支持更多驗證者的一種可能更激進的策略是將簽名聚合轉變為更專業的角色,我們期望專業參與者在每個子網中持續存在并執行收集簽名的好工作。這些參與者可以得到報酬,也可以是志愿者角色。
一個簡單的協議是允許驗證者簽署一條ProposedAggregate消息,其中包含(i)聚合簽名,(ii)參與人的位域和(iii)由聚合器對這兩個對象簽名。
提議者將偵聽ProposedAggregate消息,并驗證參與人數最多的簽名。如果它是有效的,他們包含它。如果簽名無效,提議者將失去最多約130毫秒的驗證時間,他們將繼續驗證參與度第二高的聚合,以及所有ProposedAggregate消息都無效的聚合器將被“罰沒(slashing)”。
怎么做到?
轉向單槽最終確認是一個多年的路線圖。即使很快開始進行大量的開發工作,這也將是后來添加到以太坊的重大改進之一,遠在完全推出權益證明、分片和Verkle樹之后。一般來說,實現路徑大致如下:
1、加緊優化證明聚合的工作。無論如何,這是一個重要的問題,因為預計驗證者數量會增加。無論我們為其他任何步驟做什么,我們都需要對這個問題進行更專注的研究和開發工作。
2、同意一般參數:我們的目標是什么規模的超級委員會?我們對什么水平的開銷感到滿意,我們將使用哪些技術來減少開銷?
3、研究、達成一致并指定一個理想的共識和分叉選擇機制以實現單槽最終確認性。這將結合BFT共識機制和分叉選擇規則,其中分叉選擇規則僅適用于≥1/3驗證者離線的情況。
4、同意并按實施路徑執行。這可能是多步驟的,其中一步引入超級委員會機制,然后下一步添加全新的共識和聚合機制。
最終的好處將非常顯著,并且該技術可以隨著時間的推移而改進,以實現此處未描述的其他好處。因此,值得盡快開始對本文中描述的技術挑戰進行更深入、更專注的研究和開發。
來源:金色財經
在國內媒體上還能搜到這樣一篇文章“16歲男孩獲哈佛面試邀請卻首選高考”,故事的男主角正是熊羅源(AlexXiong),英文名AlexXiong。在國內,他年少成名,意氣風發.
1900/1/1 0:00:00近日,有關VR、AR、區塊鏈、NFT、社交媒體、5G等大熱的技術和創業名詞均與元宇宙相連接,正舵者的最新產品舵手云與元宇宙這些大熱的技術之間的關系是什么?元宇宙一詞由科幻作家最初由尼爾斯蒂芬森于.
1900/1/1 0:00:00越南最大的區塊鏈游戲公會Ancient8宣布完成400萬美元的種子輪融資。本輪融資由DragonflyCapital、PanteraCapital和Hashed領投,戰略支持者包括Mechani.
1900/1/1 0:00:00近日,由中國傳媒大學動畫與數字藝術學院打造的虛擬中傳校園正式亮相百度希壤元宇宙平臺。虛擬中傳校園是中國首個開放于元宇宙平臺的“虛擬大學”.
1900/1/1 0:00:002022開年,虛擬貨幣市場一度開啟跌跌不休的模式,這讓仍處于2021開年瘋狂漲勢的人們猶如身處夢中,難以置信.
1900/1/1 0:00:00幣圈白峰??1.20BTC/ETH行情分析 在一個該出手的地方沒有出手,頂多錯失利潤,但在一個不該出手的地方,管不住自己的手,那造成的將是不必要的損失,做交易,雖不能做到彈無虛發.
1900/1/1 0:00:00