SLOT:引介：Casper FFG在ETH2.0中的實現_TESTA幣

編者按：本文來自以太坊愛好者，作者：AdityaAsgaonkar，翻譯&校對：閔敏&阿劍，Odaily星球日報經授權轉載。我的上一篇文章介紹了CasperFFG的基本知識。本文的第一部分將對Eth2.0信標鏈中所用的CasperFFG實現作出扼要的描述。第二部分將討論信標鏈的分叉選擇規則及其它有關區塊鏈活性的因素。本文直接解釋了ETH2.0規范中的一些概念，并盡可能地附上了規范中相關參數和函數的鏈接。這些鏈接僅作參考之用，無需閱讀鏈接內容也可理解本文。第一部分——CasperFFG機制

Slot、Epoch和Attestation

Slot：區塊鏈上的時間是按照slot來劃分的，每一個slot期間都可以提議一個新的區塊。目前，一個slot的時長是SECONDS_PER_SLOT=12，即12秒。系統會為每一個slot分配一名驗證者來創建新的區塊。Epoch：CasperFFG機制并不應用在完整的區塊樹上，而是只考慮某些slot處的區塊的得票情況。這樣一來，該機制在根據投票情況來檢測確定性時，無需驗證過多來源區塊-目標區塊對，從而節省了成本。由于這些slot之間的間隔足夠長，每當FFG確定性檢查運行時，絕大部分驗證者新提交的投票都會被看見。每個epoch都由一定數量的slot組成的，目前的參數是SLOTS_PER_EPOCH=32，即，1epoch=32slots=6.4分鐘。FFG機制只考慮位于這些epoch邊界的區塊”或叫“時段邊界區塊”）。

BendDAO完成首次BEND銷毀，共計銷毀179.3萬枚BEND:7月19日消息，據官方信息顯示，根據BIP#34提案內容，BendDAO已于北京時間今日12時26分完成首次BEND銷毀，共計銷毀1,793,780枚BEND，價值約合8064.73美元。[2023/7/19 11:05:12]

-當SLOTS_PER_EPOCH=3且區塊A、D和G為檢查點時，slot和epoch的情況-Attestation：attestation就是CasperFFG投票，其中包含的信息有來源區塊和目標區塊、該attestation生成時的slot編號、驗證者的標識符等。attestation由驗證者廣播至點對點網絡，最終由區塊提議者挑選并打包至區塊。CasperFFG機制的變化

Solana創始人：Solana對比新公鏈仍有諸多優勢:5月4日消息，Solana 創始人 Anatoly Yakovenko 表示，在競爭日益激烈的環境中，他對 Solana 區塊鏈的前景并不擔心。面對未來來自 Scroll、Base 和 Linea 等新興區塊鏈網絡的壓力，Yakovenko 仍然對 Solana 的技術充滿信心。

Anatoly Yakovenko 說：它們都沒有 Solana 快，沒有 Solana 那么強大的交易處理性能，也沒有 Solana 運行的節點多。我認為我們在技術方面仍然遙遙領先，可以看到像 Helium 這樣的項目已經從自己的網絡遷移到 Solana，Render 也投票決定遷移到 Solana。

此外，針對 FTX 崩盤事件對 Solana 的沖擊問題，Yakovenko 認為，FTX 創始人 SBF 確實是 Solana 的堅定支持者，通過 Token 上市、投資等表達了對 Solana 上多個應用的支持，FTX 的衰落雖然是前所未有，但幾乎沒有理由因此能破壞 Solana 生態系統。

Anatoly Yakovenko 表示：還有非常多與 FTX 無關的開發人員在 Solana 上參與構建，我們在上一次黑客松中誕生了 800 多個項目，是 Solana 有史以來最大規模的黑客松，而這發生在 FTX 崩盤的兩個月后。[2023/5/4 14:42:55]

我在上一篇文章中提到的確定性達成定義有了一處改變：確定性達成：只要區塊B滿足以下條件，即可獲得確定性區塊B是創世塊，或已得到合理化的區塊B_0滿足下列條件:在按slot編號遞增的鏈上有一系列檢查點，所有這些檢查點都得到了合理化，且超過2/3的驗證者將票投給(B_0,B_n)。

ETH活躍地址數量創一個月新低:金色財經報道，據Glassnode數據顯示，ETH活躍地址數量在過去一小時（7日均值）達到25,659.667個，創近一個月新低。[2022/12/31 22:17:33]

-黃色區塊是取得合理性的，紅色區塊是得到最終確定的-更改后的定義依然保留了上一篇文章中所述的CasperFFG安全性證明的概要。關于安全性證明的完整內容，可參見這篇文章中的“安全性”一節。CasperFFG的確定性檢測

信標鏈的鏈上FFG機制專門通過處理區塊和attestation來檢測確定性。在每個epoch邊界，該機制都會處理新的attestation并更新已經得到合理化和確定性的區塊。鏈上FFG機制只處理特定的來源區塊-目標區塊對的attestation，而非所有可能的來源區塊-目標區塊對的attestation，從而降低了成本。具體來說，該機制僅處理當前和上一個epoch中的attestation。因此，鏈上FFG機制無法檢測所有確定性實例！簡而言之，該鏈上機制是可靠的，但并不完善。該機制還引入了網絡同步假設，因為它只處理來自最新兩個epoch的證明：即它假設，在這兩個epoch期間產生的attestation會在兩個epoch內傳播到全網。鏈上FFG機制的規范非常簡單：第一步是檢測區塊的合理性，即，使用來自最新兩個epoch的attestation來驗證最新兩個epoch邊界區塊的合理性。下一步是檢測區塊的確定性，即，檢測最新兩個epoch邊界區塊的確定性。確定性檢查只會用到4種來源區塊-目標區塊對。

V神抨擊比特幣開發者攻擊PoS共識機制:7月4日消息，以太坊創始 Vitalik Buterin站出來為權益證明(PoS) 機制辯護，因別人指控該協議沒有提供去中心化共識。對PoS的攻擊是由比特幣開發人員Jimmy Song發起的，他指出該協議沒有解決拜占庭將軍的問題。

在7月3日的一條推文中，Butrerin抨擊Song指出他對PoS的攻擊是“愚蠢的”，因為由于定義，他是基于技術性的。（finbold）[2022/7/5 1:50:39]

麥肯錫：預計2030年全球元宇宙相關支出將達5萬億美元:金色財經報道，國際調研機構麥肯錫（McKinsey）最新報告顯示，到2030年，企業和消費者與元宇宙相關的全球年度支出總額可能高達5萬億美元。

具體來看，麥肯錫預計，電子商務將占這總規模中的2萬億-2.6萬億美元，而虛擬廣告業務將占1440億-2060億美元。相比之下，去年圍繞人工智能的支出總額僅為930億美元。根據麥肯錫的報告，元宇宙將包括五種日常活動：游戲、社交、健身、商業和遠程學習。

麥肯錫的研究人員表示，到目前為止，各大品牌在虛擬世界中的實驗已表明，面向元宇宙消費者的營銷和廣告未來可能會如何發展。（央廣網）[2022/6/16 4:32:38]

-確定性檢查中的檢查點情況-第二部分——分叉選擇和驗證者計劃

盡管CasperFFG機制概述了保障區塊確定性的規則，但是它并未提及該機制是如何保障網絡活性的。這一部分主要介紹了關于活性的兩大注意事項：驗證者用來確定哪個區塊才是區塊鏈頂端的分叉選擇規則驗證者所遵循的區塊和attestation生成方案HLMDGHOST分叉選擇規則

提議區塊的驗證者必須先確定區塊鏈的頂端。為此，他們需要使用HybridLatestMessageDriven(HMLD)GHOST分叉選擇規則。該分叉選擇的規范如下：每個epoch開始時，驗證者先確定當前視圖下的最新合理化區塊。在當前epoch期間，這一變量會被凍結，直到下一個epoch開始時才會再次更新。未將步驟1中確定的合理化區塊作為最新合理化區塊的區塊會被全部排除使用一般LMDGHOST規則沿著區塊樹向下，直到找到葉子塊為止。欲知更多關于分叉選擇的信息，請參閱這篇文章的“HybridLMDGHOST”一節。驗證者計劃

每位驗證者都肩負兩大主要責任：提議新區塊以及為其本地視圖中的最佳區塊作見證。驗證者計劃旨在防止混亂并簡化網絡中的消息傳遞。這一計劃是每位驗證者利用來自當前信標鏈狀態的隨機性計算出來的，能夠防止攻擊者偽造驗證者計劃。提議計劃：系統會給每個epoch中的每個slot分配一個驗證者來擔任區塊提議者。該驗證者會根據分叉選擇規則在本地視圖的區塊樹上找到鏈的頂端，然后生成一個新的子塊。該驗證者可以將其看到的attestation打包進區塊來獲取獎勵。當確定性檢查運行時，這些attestation會輸入鏈上FFG機制進行計算。見證計劃：在每個epoch中，每位驗證者都要生成一個attestation。實際上，在每個epoch上，整個驗證者集都會被隨機劃分成SLOTS_PER_EPOCH個同等大小的委員會，每個委員會都會被分配到當前epoch中的特定slot上生成attestation。在生成attestation時，驗證者會根據其本地視圖將最新的確定化區塊當成來源檢查點，以距離鏈頂端最近的檢查點作為目標檢查點。想要了解更多關于驗證者計劃的信息，請查看ETH2.0規范的驗證者指南。參考文獻和補充資料

https://github.com/ethereum/eth2.0-specs/tree/dev/specs/phase0https://arxiv.org/pdf/2003.03052.pdf

Tags：POCSLOTTESTLOTpoc幣今天多少錢一個SLOT幣TESTA幣LOTDOG

NEAR