以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > BTC > Info

以太坊2.0:如何實現最終性?_以太坊

Author:

Time:1900/1/1 0:00:00

前言

如果你在了解有關以太坊2.0的過程中遇到過justification(證明)和fnalization(最終性)這兩個術語,但卻不知道它們是什么意思,希望本文能給你一些啟示。

首先,我們試著來理解什么是

?finality(最終性)。

你一定已經注意到,加密貨幣平臺和Dapps(去中心化應用)通常都會等待幾個區塊被敲定之后才會將你的交易視為“confirmed(已確認)”狀態。

這是一種確保某筆交易已經是“近乎”確定的,或者說該筆交易“幾乎”是不可逆轉的方式,也就是說,這筆交易已經被“finalized(敲定了)”。

以太坊2.0能夠提供finality(最終性)的保證,這是以太坊區塊鏈奉為神圣的客觀事實,而不是一種“近乎”的狀態。這是非常重要的,因為這能夠帶來更快的鏈上通信,即如果某個區塊剛剛被敲定了,那該區塊將無需等待多次確認。

也就是說,

基于工作量證明的區塊鏈(比如比特幣)從未包含讓交易真正實現最終性的特性;

而以太坊2.0鏈旨在提供比工作量證明更強大的最終性保證。

我們來更加具體地加以說明。首先來看幾個定義:

LMDGHOST是以太坊2.0使用的分叉選擇規則(即用于決定哪條鏈是“權威鏈”的規則),全稱是“LastMessageDrivenGreediestHeaviestObservedSubTree(由最新消息驅動的GHOST)”

以太坊開發者:以太坊2.0中的ETH有26%來自交易所:以太坊開發者Tim Beiko透露,隨著質押在ETH2.0中生效,最大的問題仍然是驗證,以及如何在交易所、池或AWS上托管的用戶之間分布。數據顯示,當前以太坊2.0中參與質押的ETH有26%來自交易所,15%來自池,剩下的是所有可進行質押途徑的混合。以太坊開發者TimBeiko就此表示:“需要注意的一點是,以太坊的PoS算法使用的懲罰機制與有多少其他人和相關用戶一起‘犯錯’相關。”這意味著,即使以太坊網絡不能阻止用戶在AWS或其他受歡迎的客戶端上進行質押,它也可以提供“一種經濟激勵,以一種‘犯錯’與網絡其他構成不相關的方式設置質押節點。”(AMBCrypto)[2021/4/5 19:47:47]

CasperFFG是以太坊2.0使用的權益證明(PoS)機制,全稱是“CaspertheFriendlyFinalityGadget(Casper友好的最終性小工具)”

在以太坊2.0鏈中,每生成64個區塊(大約需要6.4分鐘)稱為一個epoch;

在以太坊2.0系統中,slot是生成一個新區塊所需的時間,即一個新區塊被提議及證明其正確性所需的時間。每個slot被設定為6秒,但不是每個Slot期間都會產生新的區塊。每個epoch期間的最后一個slot被稱為checkpoint(檢查點)。

以太坊市值創歷史新高 排名升至全球資產第66位:金色財經報道,根據TradingView的市場數據,以太坊市值在周四創下歷史新高,達到1497.7億美元。以太坊價格目前約為1270美元,市值約1447億美元。Asset Dash數據顯示,目前以太坊市值排名已升至全球資產第66位。[2021/1/8 16:41:40]

Committee(委員會)是由信標鏈在每個slot期間隨機選擇的驗證者集合(每個委員會的目標驗證者數量是128名),每個委員會中第一名被隨機選擇的驗證者將有機會在該slot期間提議新區塊,該委員會的其他驗證者將對這個被提議的區塊進行證明(attest)。

基于上面這些信息,我們繼續探討Justification(證明)和Finalization(最終性)。

CasperFFG

Casper是一種用于證明和敲定區塊?(不管是一般的區塊鏈平臺還是以太坊2.0鏈中的epoch期間產生的區塊)?

的方式。Casper是一種通用的“小工具”,可以添加到任何需要實現最終性的區塊鏈中,但Casper在PoS區塊鏈中最為有用。

以太坊2.0中的最終性是這樣一種概念,即

系統確定將不會存在兩個相互競爭的、敲定的檢查點(checkpoints),而當這種情況發生時,至少三分之一的活躍驗證者將被被罰沒(slashing)。我們稱之為經濟最終性(economicfinality)。

獨家|以太坊24h鏈上交易量環比下降17.67%:金色財經消息,據歐科云鏈OKLink鏈上數據顯示,近24小時以太坊鏈上活躍度有所下降。鏈上活躍地址數逾58.46萬,環比下降1.73%;鏈上交易量近161.84萬ETH,環比下降17.67%,鏈上交易筆數逾113.7萬筆,環比上升2.85%。

截至下午2時,以太坊全網算力約為198.84TH/s,環比上升1.08TH/s,全網算力小幅上升。建議Gas費用為74.18Gwei,環比下降4.8%,未確認交易數近9.39萬筆。[2020/8/24]

你也許想問,為何是三分之一的驗證者將被罰沒?我們知道,

在以太坊2.0系統中,必須保證有三分之二的驗證者是誠實驗證者來參與驗證(也即進行投票),因此如果系統出現兩個相互競爭的、敲定的檢查點,則意味著有三分之二的驗證者對其中一個檢查點進行投票,同時也有三分之二的驗證者對另一個檢查點見投票,也就是說,至少有三分之一的驗證者對這兩個檢查點都進行了投票,這部分驗證者就會被系統認為是惡意驗證者,因此會受到罰沒懲罰。

對于驗證者來說,最大的利益來源于正確地對信標狀態進行敲定,而不是進行不當的惡意操作。

那么“敲定的檢查點”中的“敲定”是什么意思呢?在對此進行解釋之前,我們需要解釋一下什么是“justification(證明)”。

分析 | 比特幣及以太坊追蹤交易或可恢復交易:美國證券交易委員會(SEC)昨日宣布將暫停兩項比特幣和以太坊的追蹤交易直至9月20日。SEC解釋稱,由于缺乏關于產品的最新、一致和準確的信息,使得無法分辨它們是ETF還是ETNs還是其他產品。對此,SEC專員Hester Peirce今日在其社交媒體上分享了2015年SEC對于Bravo的判決書,并表示,其中的第72號注解或許可以解釋10天后這兩項追蹤交易的禁令結束后將發生什么。該文件注解內容為,交易法第15c2-11條則規定了未在國家證券交易所上市的證券報價的啟動和恢復,根據該規則,任何經紀自營商可以在暫停交易結束后4天內按照交易法第15c2-11條規定的步驟,向美國金融業監管局(FINRA)提交表格211,Bravo以此重新申請啟動并恢復了交易,但同時需遵守證券法、反欺詐條款等其他規定。[2018/9/11]

證明就是驗證者通過對檢查點進行投票,從而決定哪個檢查點才是信標鏈的頂端區塊。如果三分之二的驗證者(也即絕大多數驗證者)對兩個連續的epoch達成共識,這樣

這兩個連續的epoch被證明了(justified),前一個epoch就被認為是敲定了(finalized)。

注意:上述定義在很大程度上進行簡化了,目的是為了方便理解。一些其他的因素也會參與其中,但這超出了本文的范圍。

大麻社交網絡平臺MassRoots將推出以太坊代幣:據coindesk消息,大麻社交網絡平臺MassRoots正在為其超過一百萬用戶的開發基于以太坊的加密貨幣和機遇區塊鏈的其它應用。MassRoots在周二提交給美國證券交易委員會的年度報告中概述了其愿景,并稱其成立了子公司MassRoots Blockchain Technologies,將在12月探索區塊鏈的應用。MassRoots已聘請軟件公司MEV來幫助開發應用。據報道,該公司已經開始出售簡易未來令牌協議(SAFT),在去年9月至今年1月之間收到超過90萬美元,其中25萬美元被用于開發“區塊鏈功能和公用事業”。[2018/4/19]

因此,一個“敲定了的”epoch實際上就是一個已經被“證明了的”epoch,但其中存在一個關鍵的區別——當某件事被“證明了”,你仍然可以把時間倒流回去重新證明;但當你“敲定了”某件事,那重寫歷史就變得非常困難。

也就是說,

某件事“敲定了”就一定意味著這件事已經被“證明了”,而某件事被“證明了”不一定意味著這件事已經“敲定了”。

應該注意的是,當驗證者對epoch進行證明或敲定時,并不是說驗證者正在對epoch本身進行投票,而應該說驗證者正在對epoch期間的“內容”進行投票/驗證,這個“內容”就是每個epoch期間的最后一個slot(即檢查點)的狀態根(stateroot)。

因此,

驗證者是通過投票的方式來對epoch進行證明/敲定,這就是驗證者對以太坊區塊鏈的最新已知有效狀態進行投票的方式。

LMDGHOST

這就是分叉選擇規則發揮作用的地方。

GHOST實際上是一種在PoW(工作量證明)和其他區塊鏈平臺非常受歡迎的協議。GHOST協議遵循“最重的”子樹(the“heaviest”subtree),也就是最長的那條鏈。

在比特幣區塊鏈中,“最重的”分支就是那條在其區塊中投入了最多算力的鏈,這條鏈也就是最長的鏈。顯然最長的鏈就是我們所說的“權威鏈(canonicalchain)”,但這條鏈依舊有可能切換為另一條分叉鏈(雖然可能性很小),因此

最長鏈的最終性是概率性的。

LMD讓“消息(messages)”發揮了作用,即以太坊2.0鏈上的最終性是“由最新消息驅動的”。消息就是證明(attestation),所有這一切歸結起來就是,

擁有最多投票的分叉鏈將被認為是“權威鏈”。

上圖中體現了由最新消息驅動的分叉選擇規則:綠色區塊表示經由LMDGHOST分叉選擇規則證明了的區塊,笑臉符號表示最新的驗證者證明(attestations),某個區塊中的證明總量(笑臉總數)就是該區塊的權重,用區塊中的數字表示。

在上圖中,盡管位于上方的那條分叉鏈是最長的鏈,但

下方的那條由綠色區塊組成的鏈才是“權威鏈”

,因為綠色區塊包含了最多的證明,也就是擁有最多的驗證者投票。

Gasper

在以太坊2.0鏈中,Casper和LMDGHOST一起就構成了驅動以太坊2.0系統的共識協議。

讓我們看看這張來自以太坊研究者JustinDrake在EthCC會議上演講有關Eth2.0時使用的幻燈片。

幻燈片1

上圖中,兩個虛線框展現了在分叉選擇中的非法情況。上方靠左的虛線框展現的是,如果在同一時間投票給兩個不同的狀態根,那就是非法的投票,也就是說,

你不可以在同一時間投票給兩個包含不同內容(狀態根)的epoch?。

上方靠右的虛線框展現的是,

你不可以跳過某些epoch而對之后的epoch進行投票,換句話說,你在投票給當前的候選epoch之前,不可以投片給將來的epoch。

上圖的下方部分展現的是兩條被敲定了的分叉鏈。第一個和第二個以紅色圓點表示的epoch是已經被敲定了的“權威鏈”,因為這兩個epoch之后緊跟了第三個和第四個(以紅色圓點表示的)epoch。但是,第三個和第四個epoch在兩條平行的分叉鏈中都存在,那

這兩條分叉鏈哪條才是屬于“權威鏈”呢?

我們看第二張幻燈片。

幻燈片2

根據上文所述,在同一時間投票給兩個包含不同內容的epoch是非法的。在幻燈片2中的下半部分包含兩條分叉鏈的情況下,上面的分叉鏈中的兩個epoch(紅色圓點)已經被敲定了(finalized),因此似乎上面的這條分叉鏈是有效的;但位于下面的那條分叉鏈也包含了兩個已經被敲定的epoch,

但這兩個epoch被敲定的時間更晚一些!

幻燈片3

這就意味著位于下面的分叉鏈是無效的分叉,因為如果跟隨下方那兩個被敲定的epoch繼續進行投票,這將意味著一個最新被投票的epoch將跟隨一個來自于另一條分叉鏈的epoch。這是非法的,因為

敲定的檢查點是必須按時間順序排列的。如果發生了這種情況,那大量的驗證者將受到很嚴重的懲罰,因為大多數的驗證者把票投給了一條“非法鏈”上的epoch。因此,這些驗證者必須被懲罰。

就是這樣了!如果你是驗證者,請確保每個slot期間只投一次票,并且確保你投的是也是其他人正在投的。要避免被罰沒!(別擔心,這些都將內置到你使用的以太坊2.0客戶端中)

希望本文能讓你更加清楚地了解justification?和finalization。如果你還有不清楚的對方,請告知我(推特@bitfalls)!非常感謝DustinBrody、MamyRatsimbazafy、JustinDrake以及DannyRyan對撰寫本文的幫助!

作者:Bruno?kvorc

編譯:Summer

來源:Unitimes

Tags:以太坊POC區塊鏈FIN以太坊官網中文tokenpocket怎么充值bnb區塊鏈工程專業學什么及就業方向Regiment Finance

BTC
局勢對市場越來越有利,為何BTC不漲反跌_比特幣

雖然目前對于幣圈的有利因素在增多,但是在全球經濟風險加劇的情況下,比特幣等加密貨幣的吸引力顯然不如黃金來的實在.

1900/1/1 0:00:00
貨幣金融視角下交易所的本質、風險與新機會_穩定幣

為什么說理解交易所要先理解銀行?交易所的新機會在哪里?交易所面臨的系統性風險有哪些?......近日.

1900/1/1 0:00:00
區塊鏈入門 | 盤點11個常用的區塊鏈開發工具,年薪百萬的工程師都在用_區塊鏈

“好兵配好劍”——隨著區塊鏈技術進一步發展,各種開發工具層出不窮,極大的便利了開發者的工作。面對眼花繚亂的工具,到底哪些是區塊鏈大牛們常用的工具呢?下面我們給大家總結了11個常用的區塊鏈開發工具.

1900/1/1 0:00:00
為什么說即便你不喜歡,最好還是持有一些比特幣_比特幣

當別人與我談論加密貨幣時,幾乎很少有人問我加密貨幣的安全問題、帶有時間戳的分布式賬本對社會和經濟的潛在影響.

1900/1/1 0:00:00
加密貨幣監管令人不快?但你沒有理由拒絕它將帶來的7大好處_加密貨幣

加密貨幣是一種全新的資產類別。最老牌的加密貨幣——比特幣,發展至今也不到10個年頭,以至于目前各國都沒有關于加密貨幣的健全法律法規,因此加密貨幣也有一直游離在主流之外的嫌疑,經常被貼上“犯罪、洗.

1900/1/1 0:00:00
華為的分布式OS系統——鴻蒙,采用的是區塊鏈技術?_區塊鏈

天地之初,始于鴻蒙。在過去,鴻蒙只不過是一種神話形象,但華為賦予了“鴻蒙”另一層含義。8月9日,華為在東莞松山湖總部召開2019年度華為開發者大會,正式發布全新分布式操作系統:鴻蒙! 華為消費者.

1900/1/1 0:00:00
ads