CAS:詳解以太坊PoS共識Gasper：現在的以太坊是如何運行的

眾所周知，PoS以太坊的共識協議是「Gasper」，它是在LMD-GHOST之上應用CasperFFG構建的。所以要想搞清楚完整的以太坊共識協議，就必須了解這兩個部分。此外，這些設計真的很有趣。我打算梳理一下這兩個協議的背景和演進，以及它們簡單的工作流程。

PoS共識算法的三大流派如下：

1.Nakamoto-inspired

2.PBFT-inspired

3.CBCCasper

Nakamoto-inspiredPoS是一種基于鏈的算法，模擬在PoW中挖礦。它通過偽隨機選擇驗證者來創建新區塊。其在2012年的「Peercoin」論文中首次提出，peercoin是基于權益證明共識的第一個加密貨幣。

Metronome：Curve上msETH-ETH池受到攻擊，現已暫停主網功能:金色財經報道，DeFi合成資產協議Metronome在社交媒體上稱，作為預防措施，已暫停Metronome主網功能，以將損害降至最低，并調查下一步的最佳方案。Metronome表示，一個涉及多個Curve池的漏洞已被攻擊，msETH-ETH池受到攻擊，攻擊者從msETH-ETH池中盜走流動資金。任何msUSD交易對的流動性提供者以及在Velodrome上使用msETH的Optimism用戶應注意，他們的頭寸不受影響。此外，Metronome所有存款與未平倉頭寸不受此次事件影響。[2023/7/31 16:08:06]

PBFT-inspiredPoS基于多年對拜占庭容錯的研究。在2014年的「Tendermint」論文中首次提出。一般來說，這些算法會選擇一個代表賬本規范交易的唯一鏈。

分析：Arbitrum空投地址最大分配可達10250枚ARB:金色財經報道，據區塊鏈分析師@Lookonchain在社交媒體披露，五天后將有625,143個地址能夠申領11.62億枚ARB，其中最大代幣分配為10,250枚ARB，最小代幣分配為625枚ARB，平均代幣分配為1,859枚ARB。[2023/3/19 13:12:41]

Casper直接繼承了BFT算法，做了一些修改。CBCCasper是由@VladZamfir提出的，有一些很好的資料可以更充分地解釋它。

V神的CBCCasper教程

VladZamfir寫的CBCCasper歷史

CBCCasper介紹視頻

雖然以太坊最終選擇了CasperFFG而不是CBCCasper，但對CBCCasper的研究也很有價值，比如滿足以太坊需求的分叉選擇規則「LMD-GHOST」。CasperFFG由V神和VirgilGriffith在2017年提出，引入了justification和finalization的概念，并引入了slashingconditions和動態驗證者機制，這些都是非常重要的特性。

巴西證券監管機構對Mercado Bitcoin的代幣發行情況進行調查:金色財經報道，巴西證券交易委員會(CVM)要求Mercado比特幣提供關于該交易所在過去兩年發行的固定收益代幣的信息。CVM想知道Mercado比特幣通過代幣籌集的金額，并查看參與的投資者名單。

今年9月，CVM禁止新加坡加密貨幣交易所Bybit從事證券經紀業務，因為它辯稱，只有巴西的證券交易所B3被允許提供此類工具。（coindesk）[2022/9/29 5:59:43]

CasperFFG用于保證「最終性」，這在PoW中是不存在的。簡單來說，每個驗證者都會對檢查點進行投票，經過兩輪投票后，檢查點將被「最終確定」。

SBF：透明的鏈上 DeFi 應用程序不可能出現危機:金色財經報道，FTX創始人SBF在社交媒體上回應“如何確保三箭危機不再發生”時表示，當務之急不是“確保沒有人破產”，而是保持機構信用對散戶投資者透明。SBF認為，監管在這方面可以提供幫助，而且DeFi也可以，因為透明的鏈上 DeFi 應用程序不可能出現危機。 據英國《金融時報》報道，上周有傳言稱，總部位于新加坡的加密投資公司3AC因未能滿足包括 BlockFi 和金融服務公司 Genesis 在內的多家貸方的追加保證金要求而資不抵債，盡管消息尚未得到完全確認，但據傳包括加密貨幣交易所 BitMEX 在內的 3AC 的幾家大型貸方已開始清算其頭寸，而投資組合公司也開始與其保持距離。[2022/6/20 4:39:52]

所有最終確定的檢查點都成為規范鏈，所有忠誠節點都同意他們永遠不會逆轉這條鏈。「最終檢查點」之后的區塊可以隨意分叉，但之前的區塊不允許分叉。

CasperFFG除了通過「最終性」來保證區塊鏈安全外，還引入了slashing條件來懲罰所有違反規則的驗證者，所有違反規則的驗證者都將被跟蹤和懲罰。

除此之外，CasperFFG是無需許可的，pBFT通過一個列表來維護共識，只有列表中的人才能成為參與者。CasperFFG構建了動態驗證者機制，所有驗證者可以自由進出。CasperFFG用于保證「最終性」和「安全性」，負責確認區塊的最終狀態，但不負責創建新區塊，所以它需要底層區塊鏈和分叉選擇規則。

以太坊使用的分叉選擇規則是基于GHOST，該規則最早在2013年的一篇論文中提出。2017年，@VladZamfir在CBCCasper工作時，他嘗試將GHOST與Casper結合，產生了一個變種「LMD-GHOST」。

區塊鏈允許分叉，當出現不同的分支時，應該選擇哪條鏈繼續添加后續新區塊，需要分叉選擇規則。PoW使用的是最長鏈規則。思路是鍛造最長的鏈需要最多的算力，所以這條鏈是最可信的。所以當所有礦工添加新區塊時，他們會默認在最長的鏈上添加。

GHOST的思路與此類似，其選擇票數最多的鏈而不是高度最長的鏈，LMD-GHOST做了一些修改，只考慮最近的投票。

LMD-GHOST的規則很簡單：

-從創世區塊開始；

-每次有分叉，選擇票數多的分支；

-重復，直至找到blockleaf；

-返回鏈的頭部；

這是CasperFFG和LMD-GHOST的演變以及它們如何工作，它們共同保證「安全」+「活性」。LMD-GHOST允許提議者隨時創建新區塊，新區塊將按照分叉選擇規則添加到權重最大的鏈上。雖然CasperFFG將根據所有驗證者的投票最終確定一個規范鏈。所有忠誠節點默認接受規范鏈，從而獲得安全。

共識真的很有意思，以太坊對PoS的研究始于2014年，2022年完成了合并。這是一條漫長而曲折的道路，過程中誕生了許多奇妙的想法、設計和工程。

責任編輯：Felix

Tags：SPEASPCASCasperSPE幣CaspianCashPaycasper幣釋放

USDT