來源|?@prysmaticlabs
作者|RaulJordan
區塊鏈的一個基本屬性是“最終確定性(finality)”,它的大概意思是經過一定時間后,被打包到權威鏈的交易是極其困難,甚至幾乎不可能回滾的。Eth2在協議上有一個“明確的”機制是關于鏈的最終確定性的,它區別于現在使用PoW機制的比特幣和以太坊上的“概率性”最終確定性。
在工作量證明中,共識從根本上說是一場全球競賽,其中第一個挖出有效區塊的幸運礦工會獲勝——比賽方式是找出計算難度問題的數學方案。因此,出塊時間是概率性的。越多的區塊被打包到區塊鏈上,回滾就越難,因為每個區塊都代表了構建區塊所需的電力和算力的累積總和。由于防止攻擊者能夠回滾今天的比特幣和以太坊區塊鏈是有切實的物理保證的,我們可以把超過一定時間的交易看作“被最終敲定了(finalized)”。
KingData監控:USDT在ETH的發行總量339.1億:據KingData數據顯示,泰達公司在ETH新增發20億枚USDT,當前總量為339.1億枚USDT。[2021/8/25 22:35:40]
然而,權益證明機制的以太坊不是基于概率性最終敲定來運作的。相反,它把最終確定在協議上作了明確規定——“如果超過三分之二的驗證者對區塊鏈頭正確投票了,經過一段很長的時間后,我們就認為這個特定檢查點以前的所有交易都被最終敲定了”。最終確定性是明確的,而遵循協議的節點將無法回滾最終敲定的檢查點(checkpoint),因為不管共識權重如何,這在根本上是不可能的。
在Eth2里,最終確定性的機制是什么樣的?
Eth2是一個同步協議,它用“檢查點"機制進行記賬。本質上是一個驗證者集被分配到一個有32個slot?的窗口,履行出塊或對區塊投票的職責。其中,每個slot是12秒,而32個slot構成一個epoch。在一個epoch里,有32個驗證者被分配到擔當區塊提議者(blockproposer),其他驗證者都擔當證明者(attester),他們要給每個epoch里被提議的區塊投票。
NBA球星拉梅洛·鮑爾在Ether Cards平臺發售NFT收藏品:6月5日,NBA球星拉梅洛·鮑爾(LameloBall)在EtherCards平臺發售由職業運動員制作的動態NFT收藏品。購買此NFT有幾率獲得球星簽名產品、價值5000美金的球賽門票等多種獎品。[2021/6/5 23:14:32]
每個slot里只會分到一個區塊提議者,但會有多個“證明者”
例如,Alice在slot4被選為區塊提議者,而Bob、James、Charlie和Susan都被選為證明者,這意味著他們都要對Alice提議的權威區塊投票。
Eth2使用Casper權益證明共識,特別是其中的”確定性小工具(finalitygadget)"。Eth2最終敲定的過程定義如下:
1、如果在一個epoch里,大于2/3的驗證者對區塊鏈頭正確投票,我們說最新的epoch被證成了(justified)。
KingData監控:USDT在ETH的發行總量 244.2億:據KingData數據顯示,泰達公司在 ETH 新增發 10億 枚USDT,當前總量為 244.16億 枚 USDT。更多數據或KingData下載見原文鏈接。[2021/4/17 20:30:06]
2、如果連續兩個epoch被證成了,那么current_epoch-2(當前epoch-2)被認為被最終敲定了。
在正常的操作中,鏈的目的是一直做最終敲定。如果在被最終敲定的epoch后有超過4個epoch,那么所有驗證者都會開始受到懲罰,以激勵快速恢復敲定工作。
epoch末會發生什么?
在eth2的epoch末,狀態轉換函數執行重要的記賬功能,以弄清楚在這個時間段共識層確切發生了什么,并為下一個epoch做準備。驗證者在每個epoch都會被混洗,分配新的任務,除非出現鏈重組,否則我們可以提前兩個epoch得知我們分配到的任務。
以太坊社區討論新方案以在ETH 1.x上減少見證人人數:V神剛剛發布社區關于是否使用“Kate承諾”方案的討論。內容顯示,V神提議使用“Kate承諾”(Kate commitments)方案,在ETH 1.x上提交以太坊合約代碼時減少見證人人數。具體而言,在無狀態的以太坊中,礦工需要為見證人添加所有已執行代碼的證明。而證明的大小相對合約代碼的大小是線性的,必須包括整個代碼段。針對此現有方案提議進行代碼合并,證明大小隨合約代碼大小呈對數增長。而“Kate承諾”方案則更進一步,其承諾將提供大小不變的證明。與此同時,見證人人數是決定是否可以使用無狀態以太坊的關鍵,至此,“Kate承諾”方案非常有吸引力。但該方案也有很大的缺點,即需要一個受信任的設置。[2020/10/22]
在epoch過渡中,我們會統計出鏈頭的所有票數。驗證者使用“有效余額(effectivebalance)"投票,以gwei計價。在談論eth2時,我們通常會提到驗證者參與率,它的定義是在一個epoch里用于區塊鏈頭正確投票所質押的總gwei與所有活躍驗證者所質押的總gwei的比值。
動態 | 科羅拉多州州長將在ETHDenver會議上發表演講:金色財經報道,2月15日,科羅拉多州州長Jared Polis將出席ETHDenver會議并發表演講。ETHDenver組織者John Paller表示,這是該活動與州政府的首次正式合作。科羅拉多州的一些官員將組織一系列演講、研討會和黑客馬拉松。[2020/1/30]
確定一個新被最終敲定的檢查點意味著什么?
在Eth2,確定一個最終敲定的檢查點是非常重要的,因為協議里很多明確定義的東西都以它為界限。也就是,在檢查點被最終敲定前,所有通過p2pgossipsub收到的信息都會被忽略和丟棄。此外,以下是在eth2一個新被最終敲定的檢查點會發生的事:
所有從新被最終敲定的檢查點之前傳入gossipsub的信息都會被忽略分叉選擇規則的更新只認從最終敲定的檢查點開始的投票。這意味著,遵循協議的節點是不可能對被最終敲定的檢查點進行回滾的。被最終敲定的檢查點以前的存儲數據是可以被修剪的,沒有安全問題激勵與重組
協議獎勵對維護我們所謂的”鏈的活性“有一個很強的激勵機制。自從Eth2的主網在2020年12月1日被激活以來,該鏈一直具有完美的活性,特別是每個epoch都按預期被最終敲定。而鏈的參與率,即正在給區塊鏈頭正確投票所質押的ETH占所有活躍驗證者質押量的百分比,一直保持在90%以上的高水平。
數據來源:https://beaconcha.in
除非大部分的質押者都離線了,或多人使用的客戶端實現出現嚴重漏洞,否則激勵機制會一直支持最終敲定current_epoch-2。鑒于在eth2里,epoch時長為6.4分鐘,即12.8分鐘前的epoch應該總是被最終敲定的。
關于MEV,我們當然還沒在區塊鏈里看到出現超過12.8分鐘的重組。那么,我們是否可能通過信標鏈本身的數據獲得交易最終確定性的概率估值呢?
MEV
Eth2里的每個區塊都包含關于共識的元數據,即每個區塊都包含如下信息:
加入信標鏈的新驗證者(eth1的驗證者存款)證明(attenstation),即其他驗證者對鏈上先前區塊的投票驗證者想要退出其職責的證明驗證者被罰沒和被強制逐出的證明對于我們的目的來說,最重要的就是證明。由于每個slot都會出塊,時間是剛好12秒。對于我們收到的每個區塊,我們都可以計算目前為止對區塊鏈頭正確投票的驗證者所質押的ETH占所有活躍驗證者所質押的ETH的百分比。例如,如果在一個epoch結束前我們已經收到超過前2/3的投票了,且上一個epoch已經有超過2/3的驗證者正確投票了,我們能相當確定鏈的最終確定性很快能達成。也就是說,我們可以在最終確定性達成的前6.4分鐘就對這個結果很有信心了。
盡管這種”信心“是很有用的,但如果在權威鏈的分叉上有足夠多的投票權,1個甚至2個epoch內的重組仍然是可能的。就我們觀察到的情況,Eth2上有大量投票權的小型分叉是很罕見的,并在當前的鏈上從未發生過。
關于MEV的問題:我們要多久才能知道最終確定性,使它對MEV-geth起作用呢?
對最終確定性的哲學討論
節點可以違反協議嗎?
最終確定性,說到底,是由對協議規則的社會共識執行的一個抽象概念。有一個誠實假設是,節點確實在遵循協議。這意味著即使一些行為不當的節點嘗試修改它們的客戶端軟件,以忽略關于最終確定性的規則,也不會影響整個網絡,因為所有其他節點都會遵循協議。
而決定重組的分叉選擇是從被最新最終敲定的epoch開始的,除非絕大多數的節點都違反協議,否則重組是不可能發生的。
參考文獻
eth2規范specsbeaconcha.in
Tags:ETHPOCETH2區塊鏈togetherbnb房東模擬器poco幣今天多少錢一個eth2.0幣種區塊鏈存證說法錯誤的是
巴比特訊,9月28日,在2021年區塊鏈服務網絡全球合作伙伴大會上,德鼎創新基金合伙人王岳華在主題演講時表示,元宇宙不可被定義,也沒有必要去定義元宇宙.
1900/1/1 0:00:00一張純白JPG可價值20W,一張石頭卡通圖價值上千萬,頭像CryptoPunks、BAYC頻頻刷新交易價格記錄,Loot橫空出世,熱點層出不窮,玩法日新月異.
1900/1/1 0:00:00原標題:《圖文一覽薩爾瓦多當地的比特幣采用情況》隨著比特幣在薩爾瓦多正式成為法定貨幣,比特幣在這個中美洲國家慢慢變得流行起來.
1900/1/1 0:00:00據彭博社9月7日消息,韓國加密投資機構Hashed本月將推出第二只區塊鏈基金,計劃籌集逾2000億韓元.
1900/1/1 0:00:00據Cointelegraph消息,9月28日,得克薩斯州共和黨參議員TedCruz發推反對拜登提名SauleOmarova為OCC負責人.
1900/1/1 0:00:007月16日,中國啟動了世界上規模最大的碳排放權交易市場,我國碳交易市場正式啟動,很多企業都可以進行碳交易了。要弄清楚碳交易和當前很火的碳中和,首先我們來從相關基礎概念說起.
1900/1/1 0:00:00