原文標題:《Epochs,SlotsandBeaconBlocks》
原文作者:PatrickMcCorry
原文翻譯:John,ECN
使用權益證明的以太坊的獨特性在于參與者數量的最大化設計。它允許成百上千和成千上萬的驗證者活躍地參與決策過程。在筆者撰文時已經有大約50萬的驗證者實體在活躍地參與這個過程。
事實上,在約384秒內,所有活躍中的驗證者將有機會投下一票或提議一個區塊。在約384秒內至少有50萬條信息廣播,而且所有信息必須在嚴格的時間范圍內傳遞。據我所知,沒有其他共識協議被設計來處理如此活躍和龐大的共識參與者集。
至于通信模型方面,共識協議是為以下三種情況之一設計的:
同步通信一個普遍同意和已知的信息傳遞超時時間。
異步通信信息傳遞所需時間沒有上限,但它最終會被發送。
部分同步通信在大多數情況下,都有一個已知的超時時間,但零星的事件可能會破壞信息傳遞,時間長短不一。
大多數現代共識協議都是為部分同步通信而設計的,因為它假設大部分時間條件良好,但由于事件可能會在短時間內中斷通信,所以存在不可預測的時期。另一方面,值得注意的是,權益證明的以太坊是為同步通信設計的。
題外話--CasperFFG是為部分同步通信而設計的,但LMD-GHOST的嚴格計時條件迫使整個系統必須同步。我們將在今后的文章中解釋什么是Casper和LMD-GHOST。
它假定在絕大多數的驗證者中幾乎沒有中斷,而且所有的信息必須在固定的最后期限前被記錄在信標區塊鏈上,這些信息才能被計入/使用。如果出現中斷,導致信息延遲傳遞,那么發送者將根據其延遲程度而招致懲罰。在最壞的情況下,如果錯過了最后期限,那么消息將被忽略,信息發送者將受到不活躍的最大懲罰。懲罰政策將在未來的文章中介紹。
Haru Invest:考慮分階段出售公司資產,正在制定潛在可出售清單:7月6日消息,已暫停存取款的加密金融公司 Haru Invest 發文稱,公司正在制定一份潛在可出售公司資產清單,目標是在出售公司資產時盡量減少價值損失,正在考慮分階段出售公司資產。
此外,Haru 稱目前正在建立一個數據庫,以識別用戶的債權和債務,一旦確認損失金額并確定資產分配方案后,計劃及時分階段分配資產。具體分配時間尚未確定。[2023/7/6 22:21:50]
為了更好地理解同步通信模型,我們涵蓋了Epochs&Slots的主題。它定義了驗證者被允許參與的時間,以及圍繞消息傳遞的嚴格時間窗口。如果違反了時間窗口,不管是什么原因,那么就不能保證其他驗證者會就遲到的消息到達時采取行動。最后,我們將介紹驗證者如何被分配到一個時間槽,以及消息如何被記錄在信標區塊鏈中。
如果你想深入了解各種通信設置,那么我建議閱讀這篇文章。這里也有關于ETH?2是部分同步通信還是同步通信的精彩討論。
每個epoch有32個slot,每個驗證者在每個epoch正好被分配到一個槽位。一個slot是一個12秒的時間窗口,期間驗證者可以參與權益證明協議,對新的信標區塊進行提議或投票。
slot按epoch分組,epoch和slot為驗證者參與權益證明協議扮演一個時間表的角色:
Epoch一個包括32個slot的周期。
Slot一個驗證者委員會在為期12秒的時間里完成任務的窗口期。
The Graph已完成Arbitrum One擴容計劃第一階段,索引獎勵將在第二階段啟用:2月15日,據官方消息,去中心化索引協議The Graph已完成Arbitrum One擴容計劃第一階段,旨在通過L2擴容,提高用戶參與網絡速度并節省Gas費。
The Graph使用Arbitrum One在L2上擴容的計劃分為三個階段,第一階段部署并啟用協議現已完成,該協議將在L1和L2上共存,但GRT代幣智能合約將繼續存在于L1上,GRT只能通過GRT橋從以太坊跨鏈至Arbitrum上使用,目前索引獎勵無法使用。
第二階段是協議在Arbitrum上原生運行后啟用索引獎勵;第三階段是將索引獎勵逐漸轉移到L2等。[2023/2/15 12:08:16]
一個epoch代表了權益證明協議的一個完整的回合,slot為驗證者提供了一個參與該回合的機會。在一個epoch結束時,所有活躍的驗證者都有機會參與。
Slot委員會一個驗證者在一個epoch中正好被分配到一個slot,所有驗證者被平均分配到各個slot,組成委員會。
一個slot里有兩種角色:
區塊提議者一個驗證者有機會向委員會成員提議一個區塊。
見證者所有剩余的委員會成員會為一個區塊投票,他們相信那個區塊應該會成為新的區塊鏈頭。
每個epoch有32個區塊提議者,所有驗證者都有機會參與權益證明協議,向他們認為應該是規范信標鏈的鏈頭投出一票。
一個slot代表了一個嚴格的時間窗口,供一個驗證者提議一個區塊,委員會成員對一個區塊進行投票,最后將所有該slot的活動廣播給下一個slot的區塊提議者。
數據:自1月13日比特幣價格飆升以來有62萬個新錢包地址被創建:2月7日消息,比特幣價格在1月的第二周飆升至2萬美元以上,導致了市場的FOMO情緒,尤其是在小型比特幣持有者中。1月13日之后,持有0.1枚比特幣或更少比特幣的地址大幅增加。根據加密分析公司Santiment分享的數據,自1月13日比特幣價格飆升以來,已經出現了62萬個新的比特幣錢包地址,共計3980萬個地址。
比特幣持有量的上升表明,2023年投資者的樂觀情緒將重新升溫。這種小型地址的增長非常有限,在2022年11月FTX崩潰后顯著放緩,但2023年新地址的創建速度有所增加。(Cointelegraph)[2023/2/7 11:50:42]
Slot和時間條件所有slot都是按照時間順序一個接一個地產生的。每一個slot都準確地按照12秒一個被分配出來,并被分成三個階段:
提議區塊指定一個驗證者提議一個區塊,并在前4秒內將其廣播給所有委員會成員。
投票周期所有其他委員會的成員都為一個區塊投票,他們相信,接下來的四秒內他們的投票就要被這個區塊接受。
廣播投票在最后的四秒里所有委員會成員的投票應該被聚合起來并發送給下個slot的區塊提議者。
所有的區塊和投票都是在一個slot的委員會內進行廣播。在委員會中有一個額外的角色,叫做聚合者,他們會在將證明傳遞給下一個slot的區塊提議者之前將其聚合。他們是自選的,這是一個自愿的角色,以減少通信的成本。我們將暫時跳過具體細節--因為這將在未來的文章中涉及。
Tether:美國執法部門尚未聯系Tether要求凍結OFAC制裁的地址:8月25日消息,Tether官方發文表示,目前尚未收到有關執法部門提出的任何“凍結Tornado Cash受OFAC制裁相關地址”的指示,將維持現狀并等待指示。Tether表示,其一直與世界各地的執法部門密切合作,協助調查,包括凍結地址。幾乎每天都與主要執法人員保持聯系,當Tether收到來自經過驗證的執法機構的凍結私人錢包的合法請求時,公司會遵守規定(不會凍結交易平臺或加密服務方的錢包)。[2022/8/25 12:46:25]
如果一個提議的區塊或見證是在截止日期之后發布的,那么就不能保證該活動會被其他驗證者認可。例如,一個遲到的區塊可能會被跳過,因為這個slot的見證者可能已經為其父塊投了票。一個遲到的見證將被其他見證者在一個epoch中處理,最多遲到32個slot,并有不同程度的懲罰。如果它在32個slot之后被發布,那么它將不會被任何驗證者處理。
最后提醒一下,這個嚴格的時間窗口保證了運行驗證者所需的帶寬和計算能力的下限,因為他們必須要有準時接收、處理、發送見證/區塊的能力。
驗證者委員會的分配
我們在一個epoch里考慮分配驗證者到slot里的過程。所有的slot委員會的規模大致相同。他們根據一個隨機信標的輸出完成分配,并且提前兩個epoch進行。這要求使用一個混洗協議和一個同帶信號傳輸隨機性的源。
混洗協議所有驗證者都根據一個叫swap-or-not的混洗協議被分配到一個slot里去。我們不會去探討這個混洗協議的細節,而是會把注意力集中到隨機信標的計算方法上,這個方法奠定了混洗協議執行方式的基礎。
6月份ENS協議收入達330萬美元:金色財經消息,以太坊域名服務ENS官方發推表示,在6月份增加了12.2萬個新.eth域名注冊,總域名數量達到147萬個,另外,6月共產生330萬美元協議收入,收入達2.5萬枚ETH(排名第三高的月度收入);2.5萬個新的eth賬戶,至少有1個ENS名稱(總數46.3萬)。[2022/7/2 1:45:54]
隨機信標所有驗證者通過一個隨機信標被分配,這個隨機信標使用了一個叫RANDAO的協議。其目的是在新的區塊被添加到規范鏈上時通過聚合隨機性來形成隨機信標。
對于每一個新的區塊而言,有兩個階段:
提議產生的隨機性一個新的信標區塊包括了一個叫randao_reveal的特殊值。它是一個區塊提議者的BLS簽名,用以充當區塊的隨機信標。它是確定的以防止被驗證者篡改,但是不可預測。
混合隨機性所有驗證者從新的區塊里取出隨機信標并把它和之前所有聚合起來的區塊的隨機性混合。它形成了一個新值mix,有可能作為混洗協議的候選。
正如我們所能看到的,每一個信標區塊都包括了一個隨機信標,添加并匯聚了所有之前的區塊的隨機性。
驗證者們通過第N個Epoch最后的隨機信標被分配到第N?2個Epoch的slot里
/**區塊提議者在當前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的偏倚能力的全部范圍及其影響。
Epoch和slot組織驗證者產生唯一一條規范信標區塊鏈。
Slot≠信標區塊一個信標區塊記錄了它的slot號碼的元數據。它允許其他驗證者檢查區塊提議者是否確實被指定為這個slot提議一個區塊,這個區塊是否就是被提議的那個區塊。如果slot的號碼錯誤,那么區塊會被拒絕。
重點在于,一個區塊在區塊鏈里的位置不會與它在其中被提議的slot號碼相對應。舉個例子,如果我們檢查第5184157個slot,那么我們會看到第16015362個區塊,這種不匹配是無法避免的,因為無法保證一個被分配的slot里被提議的區塊會被所有其他驗證者投票通過,而且以太坊從開始到現在運行了超過7年了。
執行鏈數據區塊提議者會提議兩個區塊,它們提議一個執行區塊,給用戶的交易排序,并把它附加到新產生的信標區塊上。這并不奇怪,因為共識層的最終目的就在于為執行層決定規范鏈。
區塊提議者同樣負責從執行層轉移信息到信標層上,并使其準備好為權益證明協議所用。這包括:
ETH?1數據一個來自執行層的附加區塊的區塊哈希碼。
存款存款合約地址和一連串未記錄的存款。
這要求所有的驗證者運行一個信標客戶端和一個執行客戶端。這是必要的,因為驗證者們必須檢查對應的ETH?1區塊并根據執行層規則驗證其有效性。同樣地,正如我們在關于注冊過程的文章里討論的一樣,存款必須在一個特定的區塊間隔期內從執行層上被轉移到一個信標區塊上,否則信標區塊會被拒絕。
元數據slot號碼、epoch號碼、隨機信標和區塊提議者
罰沒事件包括其他驗證者的惡意行為證據,這些證據可用于懲罰它們
投票歷史記錄一連串在這個區塊鏈分叉上針對之前提議的信標區塊的未被記錄的的投票
區塊鏈分叉它挑選了一個父塊,并反過來定義了這個區塊所延伸的規范鏈。
驗證者退出一連串已注冊驗證者的退出請求。
通過記錄下副本,每一個人都可以獨立地回顧整個協議,并且絕對相信目前信標鏈的狀態是正確的。比如說,惡意的驗證者會被及時罰沒,slot和epoch的時間表受到全體驗證者的認可,絕大多數驗證者都會以這種方式投票并產生單獨一條規范鏈。
題外話,由于弱主觀性的緣故,雖然權益證明的記錄可以使我們信服所有歷史活動都是按照規則進行的,但是尚不足以向一個外部群體說明這確實是那條真實的信標區塊鏈。簡單來說就是它提供了一個檢查歷史活動完整性的方法。
原文鏈接
3月22日,NFT游戲Aavegotchi宣布正利用PolygonSupernets推出自己的區塊鏈Gotchichain.
1900/1/1 0:00:00金色財經報道,拉丁美洲風險投資公司KaszekVentures已經關閉了價值5.4億美元的早期基金KaszekVenturesVI和價值4.35億美元的后期投資工具KaszekVenturesO.
1900/1/1 0:00:00一、項目簡介? BagBot是一個人工智能驅動的,完全自主和去中心化的實時提及和加密社區的突襲機器人! 二、代幣信息 GateHub推出針對XRP分類賬錢包的新服務Wallet Protect:.
1900/1/1 0:00:00回顧上周,雙幣均在破高的情況下未能有效延續,頂部的試探之后承壓再回調,其中以太坊在1800關口接二連三受阻,突破1840暫不論,連站穩1800關口都是個難題,不過日線目前整體還是震蕩偏漲的走勢.
1900/1/1 0:00:0012:00-21:00關鍵詞:V神、狗狗幣、SEC、CryptoPunks1.V神:ZK-EVM是以太坊Layer1安全和驗證過程的重要組成部分;2.
1900/1/1 0:00:00Twitter首席執行官埃隆·馬斯克(ElonMusk)已將社交媒體平臺的網站徽標更新為柴犬。這一發展使狗狗幣價格飆升30%,在短暫逆轉之前收復12月的高點0.107美元左右.
1900/1/1 0:00:00