來源|?@prysmaticlabs
作者|RaulJordan
區塊鏈的一個基本屬性是“最終確定性(finality)”,它的大概意思是經過一定時間后,被打包到權威鏈的交易是極其困難,甚至幾乎不可能回滾的。Eth2在協議上有一個“明確的”機制是關于鏈的最終確定性的,它區別于現在使用PoW機制的比特幣和以太坊上的“概率性”最終確定性。
在工作量證明中,共識從根本上說是一場全球競賽,其中第一個挖出有效區塊的幸運礦工會獲勝——比賽方式是找出計算難度問題的數學方案。因此,出塊時間是概率性的。越多的區塊被打包到區塊鏈上,回滾就越難,因為每個區塊都代表了構建區塊所需的電力和算力的累積總和。由于防止攻擊者能夠回滾今天的比特幣和以太坊區塊鏈是有切實的物理保證的,我們可以把超過一定時間的交易看作“被最終敲定了(finalized)”。
KingData監控:USDT在ETH的發行總量為338.6億枚:據KingData數據顯示,泰達公司在ETH新銷毀1140.78萬枚USDT,當前總量為338.62億枚USDT。[2021/9/15 23:26:26]
然而,權益證明機制的以太坊不是基于概率性最終敲定來運作的。相反,它把最終確定在協議上作了明確規定——“如果超過三分之二的驗證者對區塊鏈頭正確投票了,經過一段很長的時間后,我們就認為這個特定檢查點以前的所有交易都被最終敲定了”。最終確定性是明確的,而遵循協議的節點將無法回滾最終敲定的檢查點(checkpoint),因為不管共識權重如何,這在根本上是不可能的。
在Eth2里,最終確定性的機制是什么樣的?
Eth2是一個同步協議,它用“檢查點"機制進行記賬。本質上是一個驗證者集被分配到一個有32個slot?的窗口,履行出塊或對區塊投票的職責。其中,每個slot是12秒,而32個slot構成一個epoch。在一個epoch里,有32個驗證者被分配到擔當區塊提議者(blockproposer),其他驗證者都擔當證明者(attester),他們要給每個epoch里被提議的區塊投票。
0x旗下DEX聚合器Matcha現已在ETH和BSC網絡集成DeFi應用Smoothy.finance:4月15日消息,0x旗下DEX聚合器Matcha宣布已經集成低滑點和高收益DeFi應用Smoothy.finance,其用戶現在將能夠利用Smoothy作為穩定幣間互換流動性來源。Smoothy.finance將為Matcha提供包括來自ETH和BSC網絡共計超過1.3億美元的流動性。
Smoothy是一種新穎的流動性協議,在支持多種同一資產錨定幣的基礎上,具有單池、低費用、零滑點和高質押收益的特征。即,在一個穩定幣池里,可以實現多種穩定幣的互換,而其提供的無滑點互換范圍和收益遠超同類產品。
目前Smoothy.finance正在ETH和BSC網絡進行盲挖活動,整體盲挖活動將在4月20日結束。[2021/4/15 20:23:18]
每個slot里只會分到一個區塊提議者,但會有多個“證明者”
區塊鏈網絡“ Palette”啟動測試網,支持在ETH等三個區塊鏈網絡跨鏈:官方消息,3月2日,Hashpalette Inc.正式開始運營專門用于娛樂領域的區塊鏈網絡“ Palette”的測試網。Palette是一個使用不可替代令牌(NFT)針對內容分發進行了優化的區塊鏈網絡,旨在通過區塊鏈增強日本在全球范圍內的內容分發。
Palette實現了跨鏈技術,并且已發行的NFT可以轉移到其他區塊鏈網絡。該測試網支持ETH,NEO和Ontology這三個區塊鏈網絡的跨鏈,并且計劃擴展受支持的區塊鏈網絡。
據悉,Hashpalette創辦于今年3月,是東京證券交易所第一板塊公司Link-U Inc.和區塊鏈公司HashPort Inc.的合資子公司,其營業目標為通過區塊鏈技術將內容產業數字化。[2021/3/4 18:15:04]
例如,Alice在slot4被選為區塊提議者,而Bob、James、Charlie和Susan都被選為證明者,這意味著他們都要對Alice提議的權威區塊投票。
迪拜IBC集團將在ETH 2.0中投資1000萬美元:迪拜的IBC集團宣布將在即將發布的Ethereum 2.0中投資1000萬美元,或質押大約20000枚以太坊。這項投資將與加拿大的CanETH合作,CanETH是為以太坊持有者提供機構級擔保服務的機構,便于用戶參與Ethereum 2.0。(tradearabia)[2020/11/18 21:12:09]
Eth2使用Casper權益證明共識,特別是其中的”確定性小工具(finalitygadget)"。Eth2最終敲定的過程定義如下:
1、如果在一個epoch里,大于2/3的驗證者對區塊鏈頭正確投票,我們說最新的epoch被證成了(justified)。
2、如果連續兩個epoch被證成了,那么current_epoch-2(當前epoch-2)被認為被最終敲定了。
動態 | 科羅拉多州州長將在ETHDenver會議上發表演講:金色財經報道,2月15日,科羅拉多州州長Jared Polis將出席ETHDenver會議并發表演講。ETHDenver組織者John Paller表示,這是該活動與州政府的首次正式合作。科羅拉多州的一些官員將組織一系列演講、研討會和黑客馬拉松。[2020/1/30]
在正常的操作中,鏈的目的是一直做最終敲定。如果在被最終敲定的epoch后有超過4個epoch,那么所有驗證者都會開始受到懲罰,以激勵快速恢復敲定工作。
epoch末會發生什么?
在eth2的epoch末,狀態轉換函數執行重要的記賬功能,以弄清楚在這個時間段共識層確切發生了什么,并為下一個epoch做準備。驗證者在每個epoch都會被混洗,分配新的任務,除非出現鏈重組,否則我們可以提前兩個epoch得知我們分配到的任務。
在epoch過渡中,我們會統計出鏈頭的所有票數。驗證者使用“有效余額(effectivebalance)"投票,以gwei計價。在談論eth2時,我們通常會提到驗證者參與率,它的定義是在一個epoch里用于區塊鏈頭正確投票所質押的總gwei與所有活躍驗證者所質押的總gwei的比值。
確定一個新被最終敲定的檢查點意味著什么?
在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
英格蘭足球超級聯賽是由英格蘭本地球隊組成的最高級別的聯賽,因為比賽場面激烈,注重身體對抗、比賽節奏較快,英超總是被認為是世界上最好的聯賽,現時英超聯賽已經成為世界上最受歡迎的體育賽事之一.
1900/1/1 0:00:00北京時間8月11日,嘉楠科技宣布戰略投資全球領先的創新視頻和顯示處理解決方案提供商Pixelworks在中國的全資子公司逐點半導體有限公司,此舉將進一步拓寬嘉楠科技在AI芯片領域的布局.
1900/1/1 0:00:00注:原文作者是tandavas.ethLoot是與眾不同的,這是以前從未出現過的,它是NFT領域的范式轉變.
1900/1/1 0:00:00巴比特訊,Dappradar數據顯示,近30天的登陸用戶數排行榜,前三大NFT交易平臺分別是OpenSea、AtomicMarket,后兩者分別是公鏈WAX和BSC.
1900/1/1 0:00:00巴比特訊,9月22日,TalenEnergyCorporation("Talen")及其全資子公司CumulusGrowthHoldingsLLC("CumulusGrowth")宣布.
1900/1/1 0:00:00“波卡知識圖譜”是我們針對波卡從零到一的入門級文章,我們嘗試從波卡最基礎的部分講起,為大家提供全方位了解波卡的內容,當然這是一項巨大的工程,也充滿了挑戰.
1900/1/1 0:00:00