原文標題:《基于委員會的累積終結性模型》
作者:Vitalik Buterin
本文提出了一種以太坊信標鏈(Beacon Chain)的擬議替代設計,在未來長期內可以切換到該設計(取代當前計劃切換的 CBC)。該替代設計旨在提供一些關鍵屬性:
在正常情況下提供有意義的單槽(single-slot)經濟終結性(即類似 Tendermint 的屬性):使單槽重組的成本高得多,即使是多數人串通的情況下也能執行,從而降低共識可提取價值 (CEV)
擺脫對 LMD GHOST 分叉選擇的嚴重依賴,避免已知的缺陷以及需要引入復雜的混合分叉選擇規則來修復這些缺陷。
可能允許更低的最小存款大小和更高的驗證器數量
保存經濟終結性最終接近一個非常大的數字(數百萬 ETH)的屬性
V神:黃金的采用率低于加密貨幣:金色財經報道,Soonish的作者 Zach Weinersmith在社交媒體上稱,我聽到的關于加密貨幣的唯一論點是在信徒自己的框架內是有意義的,他們不希望有一個集中的貨幣發行方。但在這個框架內,為什么不直接使用黃金?
對此,以太坊聯合創始人Vitalik Buterin回復稱,黃金是非常不方便的,它很難使用,特別是在與不信任的各方進行交易時,它不支持多重簽名等安全存儲選項。在這一點上,黃金的采用率低于加密貨幣,因此加密貨幣是更好的選擇。[2022/10/28 11:53:24]
讓 CONSENSUS 成為一種異步安全的共識算法(例如 Tendermint、Casper FFG ……)。 我們假設這種共識算法有一些槽(slot)或視圖的概念,它在每個固定時間段嘗試達成共識。 我們還假設它將一種加權驗證器集作為輸入(現有的 BFT 共識算法可以輕松修改以添加此屬性)。
V神呼吁紐約法院寬大處理Virgil Griffith:金色財經報道,以太坊聯合創始人Vitalik Buterin加入了要求紐約法院在即將對前以太坊開發者Virgil Griffith進行判決時給予寬大處理的陣營中。Griffith于2019年11月被捕,此前他于當年4月在朝鮮的一個加密貨幣會議上做了關于加密貨幣和區塊鏈技術的演講。他被指控違反美國制裁法,并于2021年9月在與聯邦檢察官達成的協議中認罪,他可能會在監獄中服刑長達6.5年。(Coindesk)[2022/3/11 13:49:58]
在下面的設計中,我們修改了 CONSENSUS,以便在每個視圖中,需要最終性的集合是不同的。也就是說,CONSENSUS 將一個函數 get_validator_set(view_number: int) -> Map[Validator, int](代表驗證器余額的 int)作為輸入,而不是驗證器集,它可以為新視圖生成驗證器集。get_validator_set 應該具有以下屬性:驗證器集根據從一個視圖到下一個視圖的最大1/r值進行更改,其中 r(例如 r=8192 )是恢復期長度。更正式地說,我們想要:
V神:“以太坊天價手續費轉賬”實際上可能是勒索:金色財經報道,針對“以太坊天價手續費轉賬”一事,以太坊創始人V神表示,“數百萬美元的手續費實際上可能是勒索”。他的理論假設發送地址屬于加密貨幣交易所,黑客捕獲了交換密鑰的部分訪問權限。由于他們沒有完整的密鑰,因此不能撤回,但是可以以任何Gas價格發送無效的交易。從本質上講,黑客利用了這一能力發送此類的交易,威脅將“燒毀”所有資金,除非得到賠償。[2020/6/13]
其中 丨x丨 返回 x 中值的絕對值之和, diff 返回每個鍵值的差值(例如 diff({a: 0.1, b:0.2}, {b:0.1, c:0.3}) = {a:0.1,b:0.1,c:-0.3})。
在實踐中,兩個相鄰驗證器集之間的差異將包括現有驗證器泄漏余額,以及以與泄漏余額相等的速率引入新驗證器。
聲音 | V神:應更重視數字貨幣的實際應用:V神于7月29日發推表示,他認為人們對BTC、ETH或是ETF都太過重視了,而卻沒有足夠重視另外一件事,就是讓人們如何更便捷地用銀行卡在街角商店小額購買數字貨幣。前者可以提高數字貨幣的價格,而后者則更有利于數字貨幣的實際應用。[2018/7/29]
請注意,這意味著如果兩個終結性的視圖數量相差足夠遠,則這時候可以在不削減的情況下進行雙重終結性確定; 這是有意為之,并且該協議以與當今 Casper FFG 處理不活動泄漏的方式相同的方式圍繞它工作。
我們使用兩級分叉選擇:
選擇 LATEST_FINALIZED_BLOCK
從 LATEST_FINALIZED_BLOCK,應用一些其他叉選擇(例如 LMD GHOST)來選擇head
共識算法的視圖在每個插槽都會被嘗試,將基于 get_post_state(LATEST_FINALIZED_BLOCK) 數據的驗證器集生成函數作為輸入傳入。 在視圖 i 中,一個有效的提案必須包含從 LATEST_FINALIZED_BLOCK 到插槽 LATEST_FINALIZED_BLOCK.slot + i 處的區塊的鏈。 如果提示的父級是分叉選擇的贏家,這時驗證者才需要準備并提交提案。
V神:ETH1.2億的總量設定是否是愚人節笑話并不重要 其論據都是真實的:據coindesk消息,昨日以太坊創始人V神(Vitalik Buterin)提出一項以太坊改進方案(EIP);向用戶以及開發者提議,將以太幣的最大供應量設定為120,204,432枚。今日V神在其社交媒體上表示,對于將ETH總量設定在1.2億左右的提議確實是他故意發出的愚人節笑話。但是該提案是否是愚人節的笑話并不重要,他表示他的論據都是真實的,他認為這些建議“非常真實”。基于社區反饋,Buterin現在已經開始相信開發者應該考慮創造一個硬性的上限。Buterin最后表示,以太坊社區已經從核心開發者的角度出發,會對每個人提出的想法進行辯論,他指出“還有很長的路要走。[2018/4/3]
如果 CONSENSUS 在某個視圖中成功,則該視圖中的提案將成為新的 LATEST_FINALIZED_BLOCK,更改未來輪次的驗證器集。 如果失敗,它將在下一個槽/視圖中進行下一次嘗試。
注意:插槽應始終等于當前視圖編號加上每個先前驗證器集中成功完成的視圖編號的總和。
我們有以下處罰:
由共識算法確定的定期削減處罰
不活躍懲罰:如果這條鏈未能實現終結性,所有未參與的人都會受到懲罰。 此懲罰旨在將 r/2個 插槽后的余額削減一半。
如果一個區塊獲得終結性,那么要終結確定一個競爭區塊,需要發生以下情況之一:
某些委員會被破壞,其中 他們中≥1/3會被削減以對不同的區塊實現雙重終結性
最近的委員會離線,在 r/3個插槽之后,委員會輪換足夠多,以便能夠在不削減的情況下使一個不同的區塊獲得終結性。然而,這是以嚴重的不活躍懲罰為代價的(≥1/3的攻擊者余額)
在任何一種情況下,即使還原一個終結區塊也至少需要銷毀 DEPOSIT_SIZE * COMMITTEE_SIZE / 3個 ETH。如果我們設置 COMMITTEE_SIZE = 131,072(ETH2 委員會中每個插槽的驗證器數量在理論上最大 400 萬個驗證器限制),則該值為 1,398,101 個ETH。
該方案的其他一些重要屬性包括:
驗證器的負載將非常穩定,無論存入多少驗證器,處理每個插槽的 COMMITTEE_SIZE 交易
驗證者的負載會更低,因為當他們沒有被要求加入委員會時,他們可以休眠
在不犧牲安全性的情況下,可以允許休眠的驗證器快速退出+撤回
如果出于效率原因,我們必須減小 COMMITTEE_SIZE,我們可以進行以下調整:
我們沒有選擇最新的終結性區塊,而是選擇作為最長終結性區塊鏈末端的終結區塊(但拒絕恢復超過 COMMITTEE_LOOKAHEAD)
get_validator_set 應該只使用來自狀態超過 COMMITTEE_LOOKAHEAD 之前的信息
視圖編號應該只是插槽編號(這可以更容易地推斷出在不同鏈中使用相同的驗證器集嘗試達成共識的情況,這只有在可能破壞一些終結性的情況下才會發生)
這保留了上述所有屬性,但它也引入了一個新屬性:如果一個區塊獲得多個終結性(即該區塊被終結,并且其后代鏈獲得 k-1 個更多終結,總共 k 個影響該區塊的順序終結性),然后恢復該區塊需要違反多個委員會的終結性保證。這允許多個委員會的安全級別疊加:一個人需要 COMMITTEE_SIZE * DEPOSIT_SIZE * k / 3 ETH 來恢復k個終結性,最多 k = COMMITTEE_LOOKAHEAD,此時委員會分歧。
還要注意,出于 p2p 子網安全的原因,先行機制無論如何都值得做,所以用它來設計系統可能是一個好主意,如果需要的話,讓客戶端來決定他們如何處理終極性反轉。
請注意,“打破終結性所需的 ETH”數量假設攻擊者控制的驗證器數量遠遠超過質押總量的一半(即數百萬 ETH); 這個數量是攻擊者將失去的。并不是任何擁有 2,730 - 174,762 ETH 的人都可以進入并銷毀該 ETH 以逆轉單一插槽的終結性。
從去年DeFi農耕熱潮引發以太坊網絡擁堵開始,Layer2就成為一個熱門賽道。持續至今,7月28日PANews邀請到了四位Layer2領域的典型代表來為我們分析Layer2當下發展的局勢以及他們.
1900/1/1 0:00:002021 年 08 月 04 日 10:23 AM,慢霧區情報系統捕獲到了 Wault.Finance 的 WUSDMaster 合約疑似被黑的情報,慢霧安全團隊第一時間介入分析.
1900/1/1 0:00:00黑暗森林已經是以太坊上老生常談的話題之一了。這是因為以太坊的設計機制是將所有的交易放置于 mempool 中,而 mempool 就像黑暗森林一般危機四伏.
1900/1/1 0:00:00具有可編程特性的CBDC或將徹底改變商業模式、加速經濟發展,并引領世界走向一個更加數字化的未來。這一切都能夠以安全的方式實現,無需觸及貨幣本身,屬于數字貨幣之上的分層功能.
1900/1/1 0:00:00關于美國萬億基建計劃資金來源的分歧,是影響美國國會達成一致協議的重要阻礙。而關于加大加密貨幣交易征稅用于籌集部分萬億基建計劃卻迅速在兩黨達成一致意見.
1900/1/1 0:00:007月28日消息,美國金融機構巨頭摩根大通成為美國第一家向零售客戶提供比特幣的銀行,創造了加密貨幣的歷史.
1900/1/1 0:00:00