以太坊2.0的主要變化之一就是其共識機(jī)制的變化，它由PoW邁向PoS（Casper），PoW和PoS在最終性有什么不同？它會比PoW更安全嗎？
Casper權(quán)益證明共識協(xié)議的正常運行導(dǎo)致數(shù)據(jù)上最終性屬性的產(chǎn)生，參與者在參與過程中達(dá)成共識。我們將此數(shù)據(jù)稱作為最終確定性，因為一旦達(dá)成，數(shù)據(jù)無法更改，除非銷毀超過1/3的質(zhì)押代幣，這些代幣是參與者存放在系統(tǒng)中的。事實證明，這個屬性增加了一些很好的安全保證，這些保證是當(dāng)前的PoW系統(tǒng)所缺乏的。
理解Casper的一種方式是，系統(tǒng)中的驗證者（類似于PoW的礦工）的任務(wù)是給區(qū)塊鏈中他們認(rèn)為“規(guī)范”的區(qū)塊進(jìn)行投票。在個體驗證者跟其他驗證者達(dá)成共識的情況下（鼓勵在一條鏈上達(dá)成共識），會獲得獎勵，而被證明有惡意行為的情況下遭受懲罰（比如試圖給兩條不同的鏈投票）。懲罰會通過擔(dān)保存款（權(quán)益）來實施，這些質(zhì)押的代幣是由驗證者參與之前鎖定在系統(tǒng)中的。
以太坊2.0的安全性源于這些存款的總量以及其規(guī)則（如“消減條件”等），這確保驗證者如試圖攻擊共識則會損失其存款。為了給安全邊際加點料，以太坊2.0共識失敗將要求超過網(wǎng)絡(luò)上1/3的活躍驗證者的違反消減的條件。假設(shè)參與以太坊系統(tǒng)的健康水平是1000萬個ETH，那么，成功的攻擊意味著需要銷毀330萬個ETH，按照撰寫文章時的價格其總價值超過了5億美元。（藍(lán)狐筆記注：當(dāng)前已經(jīng)超過了7億美元，也就是說，按照當(dāng)前的情況下，其攻擊的成本至少需要7億美元。）
考慮到這種安全邊際的大小，Casper流程認(rèn)為規(guī)范的任何數(shù)據(jù)都具有最終性，因為要撤銷這個“規(guī)范化”的成本是自我銷毀大量資金。這種共識的最終性跟中本聰共識保證形成對比，中本聰共識只是對給定數(shù)據(jù)的安全性做概率性的陳述，它是基于在其上面執(zhí)行的工作量證明來做出的。
不是假設(shè)在一定高度后區(qū)塊鏈不會被逆轉(zhuǎn)，以太坊2.0共識將知道（達(dá)到經(jīng)濟(jì)確定性）區(qū)塊鏈在某些點后將永遠(yuǎn)不會被逆轉(zhuǎn)。
考慮一下你曾經(jīng)嘗試在交易所上存儲或提現(xiàn)，在操作被認(rèn)定完成之前不得不等待一些區(qū)塊（通常時間很長），通過它可以感受到最終性的效用。在一個有最終性的系統(tǒng)中，你只需等待自然的共識發(fā)生一次，以確定操作的最終完成。
下載文檔
