區塊鏈的一個基本屬性是“最終確定性 (finality)”,它的大概意思是經過一定時間后,被打包到權威鏈的交易是極其困難,甚至幾乎不可能回滾的。Eth2 在協議上有一個“明確的”機制是關于鏈的最終確定性的,它區別于現在使用 PoW 機制的比特幣和以太坊上的“概率性”最終確定性。
在工作量證明中,共識從根本上說是一場全球競賽,其中第一個挖出有效區塊的幸運礦工會獲勝——比賽方式是找出計算難度問題的數學方案。因此,出塊時間是概率性的。越多的區塊被打包到區塊鏈上,回滾就越難,因為每個區塊都代表了構建區塊所需的電力和算力的累積總和。由于防止攻擊者能夠回滾今天的比特幣和以太坊區塊鏈是有切實的物理保證的,我們可以把超過一定時間的交易看作“被最終敲定了 (finalized)”。
然而,權益證明機制的以太坊不是基于概率性最終敲定來運作的。相反,它把最終確定在協議上作了明確規定——“如果超過三分之二的驗證者對區塊鏈頭正確投票了,經過一段很長的時間后,我們就認為這個特定檢查點以前的所有交易都被最終敲定了”。最終確定性是明確的,而遵循協議的節點將無法回滾最終敲定的檢查點 (checkpoint),因為不管共識權重如何,這在根本上是不可能的。
數據:在ETH基金會向Kraken轉入1.5萬枚ETH之后,2只巨鯨拋售19090枚ETH:金色財經報道,據Lookonchain監測顯示,在ETH基金會向Kraken轉入15000枚ETH(價值約2970萬美元)之后,2只巨鯨驚慌失措地在Uniswap上拋出19090枚ETH(價值約3570萬美元)。其中,0x6071開頭地址以1873美元的價格用9,950枚ETH兌換了1863萬美元DAI。0x7641頭地址以1867美元的價格用9140枚ETH兌換了1707萬美元DAI。
金色財經此前報道,以太坊基金會錢包將1.5萬枚ETH轉入“Kraken5”地址。[2023/5/8 14:49:08]
在 Eth2 里,最終確定性的機制是什么樣的?
Eth2 是一個同步協議,它用“檢查點"機制進行記賬。本質上是一個驗證者集被分配到一個有 32 個 slot ?的窗口,履行出塊或對區塊投票的職責。其中,每個 slot 是 12 秒,而 32 個 slot 構成一個 epoch。在一個 epoch 里,有 32 個驗證者被分配到擔當區塊提議者 (block proposer),其他驗證者都擔當證明者 (attester),他們要給每個 epoch 里被提議的區塊投票。
KingData監控:USDT在ETH的發行總量 319.1億:據KingData數據顯示,泰達公司在 ETH 新增發 10億 枚USDT,當前總量為 319.1億 枚 USDT。[2021/8/21 22:28:00]
每個 slot 里只會分到一個區塊提議者,但會有多個“證明者”
例如,Alice 在 slot 4 被選為區塊提議者,而 Bob、James、Charlie 和 Susan 都被選為證明者,這意味著他們都要對 Alice 提議的權威區塊投票。
Eth2 使用 Casper 權益證明共識,特別是其中的”確定性小工具 (finality gadget)"。Eth2 最終敲定的過程定義如下:
1、如果在一個 epoch 里,大于 2/3 的驗證者對區塊鏈頭正確投票,我們說最新的 epoch 被證成了 (justified)。
2、如果連續兩個 epoch 被證成了,那么 current_epoch - 2 (當前 epoch - 2)被認為被最終敲定了。
以太坊社區討論新方案以在ETH 1.x上減少見證人人數:V神剛剛發布社區關于是否使用“Kate承諾”方案的討論。內容顯示,V神提議使用“Kate承諾”(Kate commitments)方案,在ETH 1.x上提交以太坊合約代碼時減少見證人人數。具體而言,在無狀態的以太坊中,礦工需要為見證人添加所有已執行代碼的證明。而證明的大小相對合約代碼的大小是線性的,必須包括整個代碼段。針對此現有方案提議進行代碼合并,證明大小隨合約代碼大小呈對數增長。而“Kate承諾”方案則更進一步,其承諾將提供大小不變的證明。與此同時,見證人人數是決定是否可以使用無狀態以太坊的關鍵,至此,“Kate承諾”方案非常有吸引力。但該方案也有很大的缺點,即需要一個受信任的設置。[2020/10/22]
在正常的操作中,鏈的目的是一直做最終敲定。如果在被最終敲定的 epoch 后有超過 4 個 epoch,那么所有驗證者都會開始受到懲罰,以激勵快速恢復敲定工作。
聲音 | 以太坊客戶端Parity溝通負責人:多數與以太坊相關的資助項目將優先在ETH 2.0上創建:10月8日,以太坊年度開發者大會DevCon 5在日本大阪舉行。活動將持續4天,到10月11日結束。以太坊客戶端Parity溝通負責人Peter Mauric表示,大部分與以太坊相關的資助項目現在將優先在新的區塊鏈(Eth 2.0)上創建。沒有人真正知道一旦 Eth 2.0 到來,Eth 1.0 會是什么樣子。目前的以太坊客戶端,沒有太多的新開發,大部分正在進行的工作是維護。Eth 2.0 的第一階段——Phase 0 將在 2020 年第一季度前上線。移至階段 0 的以太幣將轉換為新代幣。在新幣出來后的至少六個月內,這些代幣都不能在鏈上轉移。在此之前,用戶一直處于鎖倉狀態。關于如何將數百個基于以太坊的代幣和智能合約(包括 DeFi 項目)遷移到新鏈中,目前尚無明確的計劃。在 Eth 1.0 過渡到 Eth 2.0 的小組討論中,V 神說,“最終”將會有一個路線圖來將代幣過渡到新系統,“幾乎不會有任何中斷”。此外,據ConsenSys通信主管ames Beck表示,目前,共有 9 個團隊為 Eth 2.0 客戶端工作,包括 Protocol Labs、Chainsafe 和 ConsenSys 旗下的 PegaSys,但各自為政。(Coindesk)[2019/10/9]
epoch 末會發生什么?
聲音 | V神:不認為在ETC方面增加flyclient和calldata降低燃料成本是一種倒退:Vitalik Buterin剛在推特表示,ETC擁有約5%的ETH哈希值,甚至受到過51%的攻擊。它是安全的嗎?我不認為在ETC方面增加flyclient和calldata降低燃料成本是一種倒退。這些變更對ETC是有好處的,即使不存在跨鏈用例。[2019/7/16]
在 eth2 的 epoch 末,狀態轉換函數執行重要的記賬功能,以弄清楚在這個時間段共識層確切發生了什么,并為下一個 epoch 做準備。驗證者在每個 epoch 都會被混洗,分配新的任務,除非出現鏈重組,否則我們可以提前兩個 epoch 得知我們分配到的任務。
在 epoch 過渡中,我們會統計出鏈頭的所有票數。驗證者使用“有效余額 (effective balance)"投票,以 gwei 計價。在談論 eth2 時,我們通常會提到驗證者參與率,它的定義是在一個 epoch 里用于區塊鏈頭正確投票所質押的總 gwei 與所有活躍驗證者所質押的總 gwei 的比值。
確定一個新被最終敲定的檢查點意味著什么?
在 Eth2,確定一個最終敲定的檢查點是非常重要的,因為協議里很多明確定義的東西都以它為界限。也就是,在檢查點被最終敲定前,所有通過 p2p gossipsub 收到的信息都會被忽略和丟棄。此外,以下是在 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 開始的,除非絕大多數的節點都違反協議,否則重組是不可能發生的。
來源 |?@prysmaticlabs
作者 | Raul Jordan
原標題:These Are The High-Profile Bitcoin ETF Applications Currently In Play到目前為止.
1900/1/1 0:00:00Top1:Alien Worlds Alien Worlds是一個NFT元宇宙,在這里你可以收集和玩獨特的數字項目.
1900/1/1 0:00:00以太坊融資平臺 Gitcoin 的第十一輪捐助活動正在如火如荼地進行中,本期 NFT 板塊又涌現出了一批高質量的創新項目.
1900/1/1 0:00:00還是藝術,這是個問題。“是藝術就不要打碼,是就不要(公開)傳播”,這是互聯網上常見的一種聲音。但到底什么是藝術什么是,卻很難有一個明確的標準來區分它們.
1900/1/1 0:00:00RedStone是一個基于Arweave的預言機,提供從加密貨幣、股票到谷物和牲畜的一切價格數據.
1900/1/1 0:00:00支付巨頭 Visa 朝著實現中央銀行數字貨幣 (CBDC) 的愿景邁出了一步。Visa已經開發了一個概念,展示了各種 CBDC 如何相互操作以進行支付.
1900/1/1 0:00:00