V神最新發文：針對信標鏈的終結性模型替代設計構想_ETH:IZE

原文標題：《基于委員會的累積終結性模型》

作者：Vitalik Buterin

本文提出了一種以太坊信標鏈（Beacon Chain）的擬議替代設計，在未來長期內可以切換到該設計（取代當前計劃切換的 CBC）。該替代設計旨在提供一些關鍵屬性：

在正常情況下提供有意義的單槽（single-slot）經濟終結性（即類似 Tendermint 的屬性）：使單槽重組的成本高得多，即使是多數人串通的情況下也能執行，從而降低共識可提取價值 (CEV)

擺脫對 LMD GHOST 分叉選擇的嚴重依賴，避免已知的缺陷以及需要引入復雜的混合分叉選擇規則來修復這些缺陷。

可能允許更低的最小存款大小和更高的驗證器數量

保存經濟終結性最終接近一個非常大的數字（數百萬 ETH）的屬性

V神：新加坡將區塊鏈的使用與加密貨幣進行區分，這很奇怪:11月20日消息，以太坊聯合創始人Vitalik Buterin在接受采訪時表示，新加坡將區塊鏈的使用與加密貨幣區分開來，這是一件很奇怪的事情。現實是如果你沒有加密貨幣，你擁有的區塊鏈就是假的，沒有人會關心它們。

他認為，如果新加坡對加密貨幣持懷疑態度，那它成為數字資產中心的雄心壯志可能無法實現。（彭博社）[2022/11/20 22:09:12]

讓 CONSENSUS 成為一種異步安全的共識算法（例如 Tendermint、Casper FFG ……）。 我們假設這種共識算法有一些槽（slot）或視圖的概念，它在每個固定時間段嘗試達成共識。 我們還假設它將一種加權驗證器集作為輸入（現有的 BFT 共識算法可以輕松修改以添加此屬性）。

在下面的設計中，我們修改了 CONSENSUS，以便在每個視圖中，需要最終性的集合是不同的。也就是說，CONSENSUS 將一個函數 get_validator_set(view_number: int) -> Map[Validator, int]（代表驗證器余額的 int）作為輸入，而不是驗證器集，它可以為新視圖生成驗證器集。get_validator_set 應該具有以下屬性：驗證器集根據從一個視圖到下一個視圖的最大1/r值進行更改，其中 r（例如 r=8192 ）是恢復期長度。更正式地說，我們想要：

V神：以太坊不需要為Layer 1使用單一的ZK-EVM實現進行標準化:金色財經報道，以太坊創始人Vitalik Buterin發文解釋了“不同類型的ZK-EVM和類似ZK-EVM的項目，以及它們之間的權衡”。V神例舉了描述了多個EVM等價的不同“類型”的分類，以及嘗試實現每種類型的好處和成本。

V神總結稱，就我個人而言，我希望隨著時間的推移，通過ZK-EVM的改進和以太坊本身的改進相結合，使其對ZK-SNARK更加友好，一切都將成為Type1。在這樣的未來，我們將有多個ZK-EVM實現，它們既可以用于ZK匯總，也可以用于驗證以太坊鏈本身。

從理論上講，以太坊不需要為Layer1使用單一的ZK-EVM實現進行標準化；不同的客戶可以使用不同的證明，因此我們繼續從代碼冗余中受益。但是，要實現這樣的未來，還需要相當長的時間。與此同時，我們將在擴展以太坊和基于以太坊的ZK-rollup的不同路徑中看到許多創新。[2022/8/4 12:02:16]

V神在此輪下跌中損失超過4億美元:周一早些時候，在以太坊價格跌破2000美元后，以太坊聯合創始人V神（Vitalik Buterin）的凈資產受到了重大打擊。截止北京時間6月22日3:15，V神的兩個主要以太坊地址目前持有325,001枚和1,366枚ETH，總價值為632,499,246美元。據Messari稱，他目前持有的資產比5月3日時的價值10.9億美元少457,500,754美元。（福布斯）[2021/6/22 23:55:29]

其中 丨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 Buterin（V神）發文研究對未來的分片和歷史訪問進行預編譯。V神在文章中表示，當前以太坊設計中的向后兼容性挑戰之一是，歷史訪問需要在EVM中驗證Merkle證明，該證明假設區塊鏈將永遠使用相同的格式和相同的密碼。分片增加了這一點的重要性，因為用于rollups的欺詐證明和有效性證明需要指向分片數據的指針。V神提出了一種更加面向未來的方法：我們可以添加執行驗證特定類型證明的抽象任務的預編譯，而不是要求在EVM中驗證歷史和分片的證明。如果將來更改格式，預編譯邏輯將自動更改。預編譯甚至可以具有條件邏輯，用于驗證轉換前slots的一種證明和轉換后slots的另一種證明。[2021/6/13 23:33:43]

請注意，這意味著如果兩個終結性的視圖數量相差足夠遠，則這時候可以在不削減的情況下進行雙重終結性確定； 這是有意為之，并且該協議以與當今 Casper FFG 處理不活動泄漏的方式相同的方式圍繞它工作。

動態 | V神針對Ethereum 2.0提出一個公開提案:據medium報道，Vitalik Buterin最近針對Ethereum 2.0提出一個公開提案。該提案認為，從階段0到2不需要按順序進行。每個階段的大部分可以并行處理。提案針對代幣遷移、分片構建等多個方面提出建議。

以太坊2.0開發分為3個階段。階段0側重于構建其他階段基礎所需的信標鏈和以及其他核心部分，例如構建區塊鏈網絡、簽名方案，隨機性等。階段1側重于獨立運行的1024個分片鏈的機制。在階段2中，重點是執行引擎、交易空間構建，帳戶模型等。[2019/5/17]

我們使用兩級分叉選擇：

選擇 LATEST_FINALIZED_BLOCK

從 LATEST_FINALIZED_BLOCK，應用一些其他叉選擇（例如 LMD GHOST）來選擇head

共識算法的視圖在每個插槽都會被嘗試，將基于 get_post_state(LATEST_FINALIZED_BLOCK) 數據的驗證器集生成函數作為輸入傳入。 在視圖 i 中，一個有效的提案必須包含從 LATEST_FINALIZED_BLOCK 到插槽 LATEST_FINALIZED_BLOCK.slot + i 處的區塊的鏈。 如果提示的父級是分叉選擇的贏家，這時驗證者才需要準備并提交提案。

如果 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以太坊IZEETHAliens Musk以太坊交易所有幾個Decentralized Community Investment ProtocolEthereum Gold

以太坊交易所