LOT:詳解以太坊POS工作原理：Epoch、Slot與信標區塊

使用權益證明的以太坊的獨特性在于參與者數量的最大化設計。它允許成百上千和成千上萬的驗證者活躍地參與決策過程。在筆者撰文時已經有大約50萬的驗證者實體在活躍地參與這個過程。

事實上，在約384秒內，所有活躍中的驗證者將有機會投下一票或提議一個區塊。在約384秒內至少有50萬條信息廣播，而且所有信息必須在嚴格的時間范圍內傳遞。據我所知，沒有其他共識協議被設計來處理如此活躍和龐大的共識參與者集。

至于通信模型方面，共識協議是為以下三種情況之一設計的：

同步通信一個普遍同意和已知的信息傳遞超時時間。

異步通信信息傳遞所需時間沒有上限，但它最終會被發送。

部分同步通信在大多數情況下，都有一個已知的超時時間，但零星的事件可能會破壞信息傳遞，時間長短不一。

大多數現代共識協議都是為部分同步通信而設計的，因為它假設大部分時間條件良好，但由于事件可能會在短時間內中斷通信，所以存在不可預測的時期。另一方面，值得注意的是，權益證明的以太坊是為同步通信設計的。

題外話--CasperFFG是為部分同步通信而設計的，但LMD-GHOST的嚴格計時條件迫使整個系統必須同步。我們將在今后的文章中解釋什么是Casper和LMD-GHOST。

它假定在絕大多數的驗證者中幾乎沒有中斷，而且所有的信息必須在固定的最后期限前被記錄在信標區塊鏈上，這些信息才能被計入/使用。如果出現中斷，導致信息延遲傳遞，那么發送者將根據其延遲程度而招致懲罰。在最壞的情況下，如果錯過了最后期限，那么消息將被忽略，信息發送者將受到不活躍的最大懲罰。懲罰政策將在未來的文章中介紹。

為了更好地理解同步通信模型，我們涵蓋了Epochs&Slots的主題。它定義了驗證者被允許參與的時間，以及圍繞消息傳遞的嚴格時間窗口。如果違反了時間窗口，不管是什么原因，那么就不能保證其他驗證者會就遲到的消息到達時采取行動。最后，我們將介紹驗證者如何被分配到一個時間槽，以及消息如何被記錄在信標區塊鏈中。

Gutter Cat Gang：已收回昨日被攻擊的Twitter賬戶的控制權，正在與執法部門合作調查漏洞:7月9日消息，Gutter Cat Gang 發推稱，昨日 Twitter 賬戶遭遇攻擊，惡意推文于北京時間 7 月 8 日上午發布。目前，團隊已經重新獲得對 Twitter 賬戶的控制權，并及時聯系在 Twitter、執法部門與移動網絡供應商的聯系人，采取措施提醒未受影響的賬戶的社區。惡意推文與鏈接已被刪除。

目前，團隊正對 Twitter 賬戶漏洞進行調查，團隊一直使用多重身份認證與安全措施。此外，團隊正在與執法部門合作，調查該漏洞，并采取措施防止其再次發生。[2023/7/9 22:26:59]

如果你想深入了解各種通信設置，那么我建議閱讀這篇文章。這里也有關于ETH?2是部分同步通信還是同步通信的精彩討論。

Epoch和Slot

每個epoch有32個slot，每個驗證者在每個epoch正好被分配到一個槽位。一個slot是一個12秒的時間窗口，期間驗證者可以參與權益證明協議，對新的信標區塊進行提議或投票。

slot按epoch分組，epoch和slot為驗證者參與權益證明協議扮演一個時間表的角色：

Epoch一個包括32個slot的周期。

Slot一個驗證者委員會在為期12秒的時間里完成任務的窗口期。

一個epoch代表了權益證明協議的一個完整的回合，slot為驗證者提供了一個參與該回合的機會。在一個epoch結束時，所有活躍的驗證者都有機會參與。

數據：Arbitrum Nova橋接交易總量突破20萬筆:金色財經報道，Dune Analytics最新數據顯示，Arbitrum基于AnyTrust技術的新鏈Arbitrum Nova橋接交易總量已突破20萬筆，本文撰寫是達到201,393筆，橋接存儲ETH總量為20,942枚，按照當前價格計算約合4000萬美元，獨立存款用戶數量168,149個。[2023/6/2 11:54:39]

Slot委員會一個驗證者在一個epoch中正好被分配到一個slot，所有驗證者被平均分配到各個slot，組成委員會。

一個slot里有兩種角色：

區塊提議者一個驗證者有機會向委員會成員提議一個區塊。

見證者所有剩余的委員會成員會為一個區塊投票，他們相信那個區塊應該會成為新的區塊鏈頭。

每個epoch有32個區塊提議者，所有驗證者都有機會參與權益證明協議，向他們認為應該是規范信標鏈的鏈頭投出一票。

一個slot代表了一個嚴格的時間窗口，供一個驗證者提議一個區塊，委員會成員對一個區塊進行投票，最后將所有該slot的活動廣播給下一個slot的區塊提議者。

Slot和時間條件所有slot都是按照時間順序一個接一個地產生的。每一個slot都準確地按照12秒一個被分配出來，并被分成三個階段：

提議區塊指定一個驗證者提議一個區塊，并在前4秒內將其廣播給所有委員會成員。

投票周期所有其他委員會的成員都為一個區塊投票，他們相信，接下來的四秒內他們的投票就要被這個區塊接受。

知情人士：馬斯克旗下大模型公司X.AI目前仍在組建團隊:金色財經報道，據《華爾街日報》報道，3月9日，馬斯克在美國內華達州成立了一家名為X.AI的公司，正式奠定基礎。知情人士說，到目前為止，馬斯克一直在努力為他的初創公司制訂一個準確的愿景，目前仍在組建團隊的過程中。知情人士說，馬斯克的代表曾表示，X.AI打算在某個時候拉投資。[2023/5/2 14:38:44]

廣播投票在最后的四秒里所有委員會成員的投票應該被聚合起來并發送給下個slot的區塊提議者。

所有的區塊和投票都是在一個slot的委員會內進行廣播。在委員會中有一個額外的角色，叫做聚合者，他們會在將證明傳遞給下一個slot的區塊提議者之前將其聚合。他們是自選的，這是一個自愿的角色，以減少通信的成本。我們將暫時跳過具體細節--因為這將在未來的文章中涉及。

如果一個提議的區塊或見證是在截止日期之后發布的，那么就不能保證該活動會被其他驗證者認可。例如，一個遲到的區塊可能會被跳過，因為這個slot的見證者可能已經為其父塊投了票。一個遲到的見證將被其他見證者在一個epoch中處理，最多遲到32個slot，并有不同程度的懲罰。如果它在32個slot之后被發布，那么它將不會被任何驗證者處理。

最后提醒一下，這個嚴格的時間窗口保證了運行驗證者所需的帶寬和計算能力的下限，因為他們必須要有準時接收、處理、發送見證/區塊的能力。

驗證者委員會的分配

我們在一個epoch里考慮分配驗證者到slot里的過程。所有的slot委員會的規模大致相同。他們根據一個隨機信標的輸出完成分配，并且提前兩個epoch進行。這要求使用一個混洗協議和一個同帶信號傳輸隨機性的源。

混洗協議所有驗證者都根據一個叫swap-or-not的混洗協議被分配到一個slot里去。我們不會去探討這個混洗協議的細節，而是會把注意力集中到隨機信標的計算方法上，這個方法奠定了混洗協議執行方式的基礎。

Yearn社區發起推出yETH代幣的提案，當前民意投票中反對票占優:4月14日消息，DeFi收益聚合器Yearn Finance社區近日發起推出yETH代幣的提案，根據該提案，Yearn ETH (yETH) 是在用戶存入一籃子各種ETH流動性質押代幣時生成的。yETH 可以回收存入的價值，并在質押時通過LSD的多樣化獲得相關的以太坊PoS質押獎勵，并獲得更混合的風險/回報。

該提案目前正處于討論階段。根據投票規則，它將通過不具約束力的論壇投票進行至少3天的討論以衡量情緒，然后才能為其分配YIP編號并轉移到快照以供veYFI持有人進行有約束力的投票.不過，在當前的民意調查中，已有20人投票，其中11人投了反對票。民意調查將再持續三天。[2023/4/14 14:03:50]

隨機信標所有驗證者通過一個隨機信標被分配，這個隨機信標使用了一個叫RANDAO的協議。其目的是在新的區塊被添加到規范鏈上時通過聚合隨機性來形成隨機信標。

對于每一個新的區塊而言，有兩個階段：

提議產生的隨機性一個新的信標區塊包括了一個叫randao_reveal的特殊值。它是一個區塊提議者的BLS簽名，用以充當區塊的隨機信標。它是確定的以防止被驗證者篡改，但是不可預測。

混合隨機性所有驗證者從新的區塊里取出隨機信標并把它和之前所有聚合起來的區塊的隨機性混合。它形成了一個新值mix，有可能作為混洗協議的候選。

正如我們所能看到的，每一個信標區塊都包括了一個隨機信標，添加并匯聚了所有之前的區塊的隨機性。

驗證者們通過第N個Epoch最后的隨機信標被分配到第N+?2個Epoch的slot里

Aurora宣布推出一站式區塊鏈業務解決方案Aurora Cloud，用于加速Web3的大規模應用:3月3日消息，Aurora是基于NEAR的以太坊Layer2，其宣布推出一站式區塊鏈業務解決方案Aurora Cloud，用于加速Web3的大規模采用。

據介紹，Aurora Cloud是一個平臺和一套產品，包括Borealis Business、Aurora Pass和Aurora Silos。

其中，Borealis Business是一個交易處理和會計引擎，它允許企業從用戶的體驗中刪除交易費用的概念，并可以支持幾乎任何可以想象的區塊鏈業務模式。

Aurora Pass即將推出iOS和Android，它允許采用區塊鏈技術的Web2企業使用Touch ID和Face ID生物識別設備為客戶提供無成本和無摩擦的交易簽名。

Aurora Silos是可以為Aurora Cloud客戶提供的專用區塊鏈，它提供了一系列超越以太坊兼容性的功能。通過Aurora Silo，企業可以在允許多級訪問控制、定制代幣和交易費用機制的環境中利用區塊鏈的優勢，同時保持與外部世界的完全以太坊兼容性和互操作性。[2023/3/3 12:40:11]

/**區塊提議者在當前epoch號碼上進行一次BLS簽名*以充當這個區塊的隨機信標*一個非常好的地方在于簽名是確定的，但是直到簽名被計算出來之前都是無法預測的*/

DOMAIN_RANDAO=0x?02000000;//一個簽名里包含的神奇數字?epoch_hash=hash(current_epoch_number,DOMAIN_RANDAO);//要簽署的哈希碼?randao_reveal=BLS.sign(epoch_hash,sk);//BLS簽名是RANDAO

/**使用區塊的隨機性，進行哈希計算，然后把哈希碼混合到現在聚集起來的隨機性里*/

previous_mix=get_previous_mix(parent_block);//來自父塊的混合randao_reveal=new_block.randao_reveal;//取得新區塊的?randao

mix=previous_mixXORhash(randao_reveal);//計算新的混合?store_new_mix(new_block);//把新的“混合”和新的區塊聯系在一起

分配會提前2個epoch發生所有驗證者都會使用最后那個被接受的區塊匯聚起來的mix值作為隨機信標，并在混洗算法中使用它。它會計算得出未來兩個epoch的驗證者委員會。

所以，如果我們考慮目前的epoch為第N個，那么這個epoch里的最后那個信標區塊會作為隨機信標決定第N+?2個epoch的委員會分配。

驗證者們有充足的時間查找它們被分配到的slot，因為它們提前兩個epoch就知道了。換句話說，未來64個slot的驗證者的分配是早就公之于眾了的(約2個epoch）。

隨機信標的可偏倚性（bias-ability)只有一個mix能被混洗協議使用，那就是一個epoch中最后一個被接受的區塊的mix值。

最后一個被接受的區塊不會總是那個在第32個slot被提議的區塊。而是最后一個slot的區塊，也就是被所有驗證者認可為區塊鏈鏈頭的那個區塊。舉個例子，如果第32個slot沒有區塊被提議產生，那么第32個slot的驗證者委員會就會為之前在第31個slot被提議產生的前一個區塊投票。

攻擊者可以利用這點來使隨機信標出現偏差。讓我們假設攻擊者是第32個slot的區塊提議者。他可以決定這么干：

準時釋放區塊攻擊者的隨機性被混合在信標里

暫緩區塊強迫所有驗證者為上一個區塊投票，則攻擊者的隨機性不會被混合在信標里。

這種決定權使得攻擊者可以使隨機信標出現1個字節的偏倚，并最終決定到底兩個驗證者分配組合里中的哪一個會在未來的一個epoch里被使用。實際上如果攻擊者控制了一個epoch里最后N個區塊的區塊提議者們，那么它們可以利用這個機會釋放或暫緩釋放一個N個區塊的組合。目前還缺乏一項嚴格的研究，來了解針對最后N個slot的偏倚能力的全部范圍及其影響。

檢查一個信標區塊

一個信標區塊的數據結構

一個單獨的信標區塊包含了它在信標區塊鏈里所處位置的元數據、執行鏈的數據、以及權益證明協議的一份副本。我們會在下文探討更多細節。

一個slot的區塊提議者會嘗試擴展規范鏈，并且只能選擇一個父塊。

信標父塊一個區塊的提議者的目標是提議并添加一個新的信標區塊到一個規范鏈的頭。若要這么做的話，它們只能選擇一個父塊來進行擴展。父塊應該是當前的鏈頭，它在元數據中的代表是parent_root。

Epoch和slot組織驗證者產生唯一一條規范信標區塊鏈。

Slot≠信標區塊一個信標區塊記錄了它的slot號碼的元數據。它允許其他驗證者檢查區塊提議者是否確實被指定為這個slot提議一個區塊，這個區塊是否就是被提議的那個區塊。如果slot的號碼錯誤，那么區塊會被拒絕。

重點在于，一個區塊在區塊鏈里的位置不會與它在其中被提議的slot號碼相對應。舉個例子，如果我們檢查第5184157個slot，那么我們會看到第16015362個區塊，這種不匹配是無法避免的，因為無法保證一個被分配的slot里被提議的區塊會被所有其他驗證者投票通過，而且以太坊從開始到現在運行了超過7年了。

執行鏈數據區塊提議者會提議兩個區塊，它們提議一個執行區塊，給用戶的交易排序，并把它附加到新產生的信標區塊上。這并不奇怪，因為共識層的最終目的就在于為執行層決定規范鏈。

區塊提議者同樣負責從執行層轉移信息到信標層上，并使其準備好為權益證明協議所用。這包括：

ETH?1數據一個來自執行層的附加區塊的區塊哈希碼。

存款存款合約地址和一連串未記錄的存款。

這要求所有的驗證者運行一個信標客戶端和一個執行客戶端。這是必要的，因為驗證者們必須檢查對應的ETH?1區塊并根據執行層規則驗證其有效性。同樣地，正如我們在關于注冊過程的文章里討論的一樣，存款必須在一個特定的區塊間隔期內從執行層上被轉移到一個信標區塊上，否則信標區塊會被拒絕。

元數據slot號碼、epoch號碼、隨機信標和區塊提議者

罰沒事件包括其他驗證者的惡意行為證據，這些證據可用于懲罰它們

投票歷史記錄一連串在這個區塊鏈分叉上針對之前提議的信標區塊的未被記錄的的投票

區塊鏈分叉它挑選了一個父塊，并反過來定義了這個區塊所延伸的規范鏈。

驗證者退出一連串已注冊驗證者的退出請求。

通過記錄下副本，每一個人都可以獨立地回顧整個協議，并且絕對相信目前信標鏈的狀態是正確的。比如說，惡意的驗證者會被及時罰沒，slot和epoch的時間表受到全體驗證者的認可，絕大多數驗證者都會以這種方式投票并產生單獨一條規范鏈。

題外話，由于弱主觀性的緣故，雖然權益證明的記錄可以使我們信服所有歷史活動都是按照規則進行的，但是尚不足以向一個外部群體說明這確實是那條真實的信標區塊鏈。簡單來說就是它提供了一個檢查歷史活動完整性的方法。

原文標題：《Epochs,SlotsandBeaconBlocks》

原文作者：PatrickMcCorry

原文翻譯：John,ECN

來源：星球日報

Tags：SLOTLOTPOC區塊鏈Sleepy Sloth FinanceDELOT幣TokenPocket區塊鏈證據保全怎么操作的

火幣交易所