POC:引介：Casper FFG在ETH2.0中的實現_Alphaslot

編者按：本文來自以太坊愛好者，作者：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邊界的區塊”或叫“時段邊界區塊”）。

LayerZero Labs：“某些交易所”試圖交易未來潛在推出的代幣:4月26日消息，LayerZero Labs發推稱，目前已經注意到“某些交易所”試圖交易LayerZero未來潛在推出的代幣。LayerZero建議用戶不要與這些交易所進行任何互動，LayerZero和這些交易所沒有任何從屬關系和合作伙伴關系。[2023/4/26 14:27:31]

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

螞蟻鏈技術總監閆鶯出席香港Web3嘉年華 分享Web3安全技術新進展:4月15日消息，2023香港Web3嘉年華一連四天在香港會展中心舉行。4月15日，螞蟻集團旗下區塊鏈品牌螞蟻鏈現身其中，其技術總監閆鶯在現場分享了Web3安全技術新進展，包含過去幾年螞蟻鏈在Web3的身份安全、應用安全和Layer2安全等方向上的積累。

螞蟻鏈在國內最早（2015年）開始投入共識協議、智能合約、網絡傳輸、存儲、跨鏈技術等Web3核心技術的研發，專利部署長期位居全球第一。[2023/4/16 14:06:05]

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

日本媒體巨頭MIXI成為Oasys區塊鏈驗證者:金色財經報道，日本媒體巨頭MIXI宣布加入Oasys區塊鏈，與軟銀集團、KDDI、游戲公司Nexon一起成為該區塊鏈的驗證者，截至目前Oasys驗證節點總數量已經達到25個。MIXI旗下擁有娛樂和體育產品，包括mixi社交網絡、以及專注于體育領域的NFT市場DAZN MOMENTS等。（newsfile）[2023/4/7 13:50:30]

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

新火科技回應：New Huo HK交易所是牌照申請過程中的試運行網站:金色財經報道，今日網傳“李林創辦新加密交易平臺新火香港”。新火科技回應表示，新火科技一直本著合規運營的理念，并積極在主要國家和地區申請金融及數字資產相關牌照資質。New Huo HK交易所網站是牌照申請過程中的試運行網站，并沒有正式對外展業。2023年心火科技業務將進行戰略調整，集合中心化和去中心化服務的全新一站式數字資產混業服務平臺Sinohope正在籌備過程中，預計Q1將與大家見面，其中包括原有面向專業投資者的持牌資管業務，也會開發更多其他多樣化的產品服務。[2023/1/4 9:52:11]

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

石油區塊鏈公司 VAKT 牽頭財團開發新加坡電子提單:7月14日消息，新加坡海事港務局 ( MPA ) 選擇基于區塊鏈的石油交易平臺 VAKT 領導其針對水運石油市場的電子提單 (eBL) 的開發。參與該財團開發解決方案的其他公司包括 BP、摩科瑞、Hafnia、Wilhelmsen Ships Service、VOPAK、SMBC、ING 和 Contour。VAKT 表示，通過將提單數字化，僅在石油貿易中就可以在全球范圍內節省數十億美元。

據悉，在實物石油交易中，所有權轉讓仍然是一個復雜的紙質流程，但借助 VAKT 的‘vLogistics’服務，現在有一組 API 允許這些關鍵合作伙伴貢獻他們的數據，以幫助交易者實現所有權轉移。VAKT 的平臺使用以太坊的許可區塊鏈版本。[2022/7/15 2:14:16]

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

盡管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：POCLOTSLOTESTpoc幣實時價格SHIFLOTRIAlphaslotcerclestockservice

DOGE