什麼是Casper,權益證明和信標鏈

買賣虛擬貨幣
最近,我又讀到了另一篇關於以太坊2.0中採用的股權證明(Pos)機制的自相矛盾的報告,我以為我明白接下來會發生什麼,但隨著每一篇新的媒體帖子、推特和新聞文章的更新,我的信心正在逐漸減弱。我想,如果像我這樣每週花大約50個小時讀和寫關於以太坊的文章都不知道接下來會發生什麼,我想你們中的很多人也不知道。
我聽說Eth2.0會帶來“純粹的股權證明”。我讀到過CasperFFG是在Serenity中實現的pos機制,但是VLADZamfir的CasperCBC是真正的純粹的利害關係證明。我讀到過CasperFFG只是一個最終的小工具,每50個塊,或者每100個塊,在POW系統上用於塊的終結性。那到底是怎麼回事?有一些現有的,準確的文章,但在混亂中,似乎我們更應該重視這些準確的文章。本文的重點是闡明以太坊2.0和它目前正在計劃的事情,以及Casper CBC,Casper FFG,叉-選擇規則,權益證明,信標鏈,和以太坊 2.0之間的關係。複習課程:要理解這篇文章,您需要了解的術語:
以太坊2.0:網路的未來、可伸縮版本(又名ETH2.0,又名Serenity,又名Shasper,又名分割槽Casper以太坊)。信標鏈:以太坊正從工作證明轉移到權益證明。這一直在星空之中,但物流和路線圖隨著時間的推移而演變。很久以前,人們曾設想在現有的鏈上推出權益證明。不過,自2018年6月以來,該計劃一直在推出“信標鏈”的利害關係證明,以便更容易地整合pos、分片研究和推廣。信標鏈將是一條持股權證鏈,最終透過分片,即植根於現有的工作證明鏈。Casper:以太坊版本的“無利害關係”問題(關於權益證明和Casper研究的基礎超出了本文的範圍,但這裡有一個簡單的解釋)。Casper CBC和Casper FFG:Casper研究的兩個競爭領域。終結性:終結性是抵禦Sybil攻擊的額外安全層。一旦塊被最後確定,它們就不能被恢復,即使是對網路的51%的攻擊。分叉選擇規則:礦工(PoW)/驗證者(Pos)決定哪條鏈是規範鏈的機制。
首先,讓我們消除Casper CBC上Caspers備註的歧義。關於CasperCBCCBC代表“構造正確”,並不是Casper、以太坊或區塊鏈技術所獨有的。相反,CBC是一種軟體、硬體和韌體工程的方法。CasperCBC是VLADZamfir開創的一個研究領域,經常被描述為FFG的競爭終結性小工具(PoS系統)。嚴格地說,CasperCBC不是這兩樣東西。Casper CBC是一個協商一致的協議家族,是建立它們的一種技術。某些版本的Casper CBC在某種程度上有望取代最初的ETH2.0實現的權益證明系統,但CBC的研究仍然更抽象和理想化,而不是實際化。Buterin建議Casper CBC研究的某些方面可以在信標鏈中進行,但目前在信標鏈規範中還沒有CBC。與Casper FFG的實際交易是什麼?
事實上,Casper FFG被指定為Eth2.0。在8月份的一次推文風暴中,Buterin表示,FFG是一個終局覆蓋,可以用於工作證明或利害關係證明協議(不過,如果這一澄清在其他74條推文以及他釋出後的5個月左右的時間裡消失了)。CasperFFG定期選擇規範鏈,並對其中的塊進行“終結”,這樣它們就不可能恢復。Casper FFG白皮書將Casper描述為一個權證最終系統,覆蓋了現有的塊提議機制。白皮書指出,FFG是一種“部分協商一致機制,結合了權益證明研究和拜占庭容錯共識理論”,但它只是一個更大的POS機制的一部分。CasperFFG沒有指定塊是如何被提議的,或者是由誰提出的,驗證者如何選擇要構建的競爭鏈,如何驗證塊,或者誰來驗證它們。所有這些規範也是建立網路共識來決定規範鏈的必要條件。Casper FFG是一個協商一致的機制,因為它是網路就現在到未來最後確定哪些塊達成共識的手段。從這個意義上說,Casper FFG是協商一致的機制。然而,在目前的以太坊1.0鏈中,正如核心開發人員Danny Ryan在燈塔Gitter頻道上所說的那樣,“沒有終結性的概念。”他解釋說:“在隨後開採的每一個區塊中,我們都有更強的概率保證以前的塊將保持在規範鏈中。這就是為什麼交易所和其他使用者依賴於POW鏈的“確認”來達到一定的塊深度,我們都只是假設塊在某個時候不會恢復,我們基本上可以把它算成最後確定的。從51%的攻擊中可以看出,當您有>50%(透過雜湊能力)的協調攻擊時,這種概率終結性就會崩潰。終結Pos鏈中最酷的是,座標攻擊不能恢復到最後一個塊。此外,在某些型別的攻擊中,我們可以讓人們對自己的惡行負責,並對他們進行猛烈抨擊。”以太坊2.0的權益證明,以及共識機制的其餘部分信標鏈將是一個全新的、“純”的權益證明鏈,從一開始就是這樣(儘管分拆將在稍後到來)。這不是有時聲稱的混合樁的工作/證明,因為白皮書指出,第一個FFG的實施將是為POW塊的最終性。然而,關於信標鏈的唯一證明是它植根於現有的以太坊1.0鏈。這一點在信標鏈規範中得到了證明。對信標鏈Pos的警告是,信標鏈將分階段發展,儘管它始終是權益證明,但在前兩個階段,資料傳輸將是不可能的。現在還沒有虛擬機器,也沒有EDCC(也就是智慧合約)。在第二階段(從第0階段開始)引入eWASM之前,POW鏈仍然是處理資料事務所必需的。換言之,信標鏈的第一階段只會有助於建立系統,就終端使用者而言,基本上是無用的。不過,這仍將是100%的權益證明。一個簡短的信標鏈權益證明的綱要
關於權益證明如何在信標鏈上工作的細節是複雜的和分層的,但我可以解釋最淺顯的一些概念。正如我在上文所述,必須有機制來確定如何提出區塊、由誰提出申請、由誰來驗證申請人的要求、如何選擇這些驗證者、申請人如何知道應以哪些區塊為基礎。區塊申請人權益證明,如您所知,使用驗證器來建立塊,而不是礦工。為了成為驗證器,個人或實體將32以太存入Casper EDCC(或智慧合約)。一旦完成,這個人將被註冊為信標鏈上的驗證者,並開始積累興趣作為參與的獎勵。如果該驗證器隨後違反了某些規則(稱為裁剪條件),則其存款的一部分將被削減。如果驗證器的定金降至16以太,它們就會從系統中被逐出。在信標鏈的規範中,有兩類驗證器(儘管所有驗證器都充當兩者的角色):提議者(提議塊的人)和測試者(對塊有效性進行投票的人)。驗證器每6秒隨機選擇一次,使用稱為RANDAO+VDF的機制作為塊申請人。申請人選擇之間的六秒鐘週期稱為插槽。在每個時隙中,有一個申請人申請一個包含當前和以前塊的一些資訊的塊,以及一個簽名來證明他們的RANDAO+VDF定義的許可權來申請所述塊。區塊有效性測試器區塊有效性測試器根據以太坊2.0的權益證明制度,測試員(那些投票決定整體有效性的人)組成了從111到128名個人作證者組成的委員會。這樣,並不是每個測試人員都需要驗證每個塊,從而實現效率和可伸縮性。作為委員會的一部分,針對信標鏈的階段0的Gizub規範指定測試員“在信標鏈塊上簽名,同時在特定碎片鏈上建立到最近的碎片塊的連結(交聯)”。測試人員可以繼續對塊進行投票(每個驗證器一次),直到預先指定的插槽數透過為止,這組預定義的時隙被稱為一個時間點,目前定義為6.4分鐘(或64個時隙)。在每一個時代的結束,驗證者被洗牌建立新的委員會。
分叉選擇規則我之前說過,驗證器需要有一種方法來知道要構建哪些塊。可能會有兩條鏈從單個塊中發芽,因此需要有一種機制來確定規範鏈。現有的POW鏈有一個分叉選擇規則(最長鏈獲勝),而信標鏈(及其碎片鏈)將有一個新的選擇規則。信標鏈的分叉選擇規則稱為LMD GHOST。與Casper FFG相結合,LMD GHOST既規定了要建立的塊頭,又為以前的塊實現了終結性。(在當前規範中,塊的終結性是在兩個時間點之前實現的。)透過LMD GHOST,規範鏈是透過考慮在給定鏈上建立的最新驗證器簽名塊並與競爭鏈上最近的驗證器簽名塊進行比較來確定的。委員會認證給予某一區塊和該區塊的後代以一定比例。與LMD GHOST,鏈與最沉重的最近的驗證器批准塊獲勝。通常這也是最長的鏈,但不一定,如果兩個塊都來自同一個父塊,那麼這兩個塊的認證就會給它們的父塊賦予權重,最終使得一個較低槽高的塊比一個沒有很多叔父的較高槽高的塊有更多的選票支援它。正如VitalikButerin在去年12月的一篇博文中指出的那樣,“最長的鏈規則無法捕捉到這種細微差別。”展望本文概述了以太坊信標鏈的大部分計劃,而幾乎沒有關注切分或交叉碎片通訊的物流。這在很大程度上是由於在階段0之後的信標鏈展開規範的不完整狀態,這還不能實現分片。在下一個大時代來臨之前,我們有的是時間去考慮這件事。
更多數字貨幣資訊:www.qukuaiwang.com.cn/news

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;