原文標題:《基于委員會的累積終結性模型》
作者:Vitalik Buterin
本文提出了一種以太坊信標鏈(Beacon Chain)的擬議替代設計,在未來長期內可以切換到該設計(取代當前計劃切換的 CBC)。該替代設計旨在提供一些關鍵屬性:
在正常情況下提供有意義的單槽(single-slot)經濟終結性(即類似 Tendermint 的屬性):使單槽重組的成本高得多,即使是多數人串通的情況下也能執行,從而降低共識可提取價值 (CEV)
擺脫對 LMD GHOST 分叉選擇的嚴重依賴,避免已知的缺陷以及需要引入復雜的混合分叉選擇規則來修復這些缺陷。
可能允許更低的最小存款大小和更高的驗證器數量
保存經濟終結性最終接近一個非常大的數字(數百萬 ETH)的屬性
V神等人提出EIP-4488,旨在降低以太坊二層擴容解決方案的Gas費:11月27日消息,以太坊創始人Vitalik Buterin和以太坊開發者Ansgar Dietrichs本周共同撰寫以太坊改進方案EIP-4488,旨在降低以太坊第二層擴容解決方案的Gas費。該提案旨在更直接地解決高Gas成本問題,同時開發出更穩健的解決方案。
EIP-4488試圖通過兩種方式進一步降低第二層Gas費:降低交易調用數據(calldata)成本(這是Optimistic Rollups和ZK-Rollups的主要機制),以及增加一個區塊中的交易調用數據總量上限。根據Vitalik Buterin的說法,增加可用于Rollups的數據空間量在今天是可行的,因為區塊大小遠不及威脅網絡穩定性的大小。
雖然數據分片可能被視為解決Rollups不完善問題的長期解決方案,但根據zkSync團隊發布的推文,該提案試圖在非常短的時間內降低Gas費,可能在今年圣誕節之前。(CryptoBriefing)[2021/11/27 12:35:33]
讓 CONSENSUS 成為一種異步安全的共識算法(例如 Tendermint、Casper FFG ……)。 我們假設這種共識算法有一些槽(slot)或視圖的概念,它在每個固定時間段嘗試達成共識。 我們還假設它將一種加權驗證器集作為輸入(現有的 BFT 共識算法可以輕松修改以添加此屬性)。
V神發布針對信標鏈的終結性模型替代設計構想:金色財經報道,以太坊聯合創始人V神在Ethresearch論壇中發表針對信標鏈的替代設計方案《一個基于累積委員會的終局性模型》,他認為信標鏈從長期來看可以切換到這個方案,以取代此前計劃切換的CasperCBC方案。他表示該方案的核心屬性包括:可以在通常情況下提供單時隙(slot)的經濟終局性;即使發生了單時隙(slot)的重組(reorg),對于串通的多數人來說,執行也要昂貴的多,從而減少共識可提取價值CEV(consensus-extractablevalue);擺脫對LMDGHOST分叉選擇的嚴重依賴,避免已知的缺陷,并引入復雜的混合分叉選擇規則來修復這些缺陷;有可能允許較低的存款規模和較高的驗證人數量;保留了經濟終局性可以接近一個非常大的數字(數百萬ETH)。[2021/8/5 1:36:30]
在下面的設計中,我們修改了 CONSENSUS,以便在每個視圖中,需要最終性的集合是不同的。也就是說,CONSENSUS 將一個函數 get_validator_set(view_number: int) -> Map[Validator, int](代表驗證器余額的 int)作為輸入,而不是驗證器集,它可以為新視圖生成驗證器集。get_validator_set 應該具有以下屬性:驗證器集根據從一個視圖到下一個視圖的最大1/r值進行更改,其中 r(例如 r=8192 )是恢復期長度。更正式地說,我們想要:
V神:加密貨幣最終會與更廣泛的經濟趨勢高度相關:V神發布系列推文提到,與過去十年相比,金融在未來十年的重要性會相對較低,加密貨幣領域需要適應這一現實。最終,加密貨幣會與更廣泛的經濟趨勢高度相關。這并不意味著他們會免受其他事物(例如障礙/干擾)的侵擾,但確實意味著敘事需要調整。[2020/6/2]
其中 丨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神:郵箱Vitalik@butterin.me不是我的:以太坊創始人V神(Vitalik Buterin)發推表示,“Vitalik@butterin.me不是我的,任何由這個郵箱發出的郵件都是騙子所為。我的所有郵箱地址都是.com或者.org這兩個域名。”[2018/11/1]
請注意,這意味著如果兩個終結性的視圖數量相差足夠遠,則這時候可以在不削減的情況下進行雙重終結性確定; 這是有意為之,并且該協議以與當今 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神:以太坊團隊即便沒有我 也能做得更好:今日V神在王峰十問上回應了其本人的去留對以太坊發展的影響。2017年,一則V神去世的謠言曾一度導致以太坊市值大跌40億美元。V神稱,至于其死亡傳聞是不是造成以太坊價格下跌,現在還不是很清楚,因為當時市場本身就比較低迷,而且價格下跌已經發生了。非常堅信的是,DAO分叉這件事發生,社區內是有很多人支持的,當時有進行碳投票、各種社區民意調查等等,結果就是有80%的人支持分叉。V神認為,以太坊團隊即便沒有他,也絕對有能力完成Casper和分片路線圖,即使自己想要消失一段時間,也完全相信他們會做得很好。[2018/6/22]
如果 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 以逆轉單一插槽的終結性。
Tags:ALI以太坊IZEETHalice幣前景以太坊交易所Football DecentralizedrETH2價格
自2009年比特幣第一筆交易開始,十余年間比特幣逐步走向大眾視野,也逐步在各國官方層面獲得不同的對待.
1900/1/1 0:00:00從山東菏澤曹縣一路向北,開兩個小時車就到了莘縣。沒什么網紅會特意去那兒,但這個縣城里每天都非常忙碌,無數輛大貨車均勻的進來,裝滿各種蔬菜后送往全國.
1900/1/1 0:00:00一位名叫@quantbike的以太坊社區成員最近用他的一個Cryptopunks交換了Art Blocks Curated系列的15件作品.
1900/1/1 0:00:00隨著經濟社會的發展,商事主體激增,活動頻繁,發票需求量增長,尤其線上電商經濟快速崛起、線下非現金支付基本全覆蓋的情況下,傳統發票服務體系面臨嚴峻考驗。于消費者而言,紙質發票索票難、保管難.
1900/1/1 0:00:00今年上半年,區塊鏈行業有1個備受關注的詞語承接了去年DeFi的熱潮,其以高位出圈的姿態向世人展示了一場區塊鏈+藝術的新興發展業態,并一度占據了各大新聞媒體的頭條.
1900/1/1 0:00:00對于虛擬貨幣在個人之間的流轉,各地法院觀點不一:有認可流轉合同效力的判決,也有認為合同因違反強制性法律規定歸于無效的判決,有認可虛擬貨幣商品屬性的判決,也有將虛擬貨幣歸于不合法物不予保護的判決.
1900/1/1 0:00:00