回顧一下,一個區塊最終化需要兩個條件:
大多數(超過2/3)驗證者在周期1的時候給區塊1進行了投票,因此審判了區塊1
大多數(超過2/3)驗證者在周期2的時候給區塊2進行了投票,區塊2是區塊1的子區塊,因此在周期2的時候最終化了區塊1
在理想執行中,一個區塊的最終化是按照下面的步驟的:
區塊1的2/3投票→審判區塊1→2/3投票區塊2→最終化區塊1,其中區塊2是區塊1的子區塊。
當一個檢查點被最終化之后驗證者就會得到報酬。不過,如果有兩個最終化的檢查點在相同高度上分杈時,那么就破壞了安全性,這個時候就達到了消減的條件,最少1/3的保證金將會被消減掉。當安全性被破壞的時候可以將錯誤歸因的證據當作交易廣播給PoW的礦工。然后PoW就將這個證據交易組成一個區塊來進行挖礦,提交了這個證據的驗證者會得到查找者的費用。當此事發生的時候,簽署了在沖突區塊的有罪驗證者將會在兩條鏈上被消減掉。
現在如果一個礦工進行蠻力攻擊,那么會發生什么?現在Casper的最終化
區塊鏈可以防止PoW的攻擊者,就算是51%或者更多的計算力重寫最新檢查點之外的歷史也會被阻止。因此,Casper協議提供了安全。不像CTFG,因為CFFG就是不同提議機制上的一層覆蓋,Casper不能確保活躍性,因為活躍性是取決于提議機制的。
驗證者是被激勵著集合在權威鏈上的,因為如果他們持續在不同的鏈上進行投票將會受到懲罰。slasher 2.0的形成讓驗證者不僅僅會為雙重投票而受罰也要為在不正確的鏈上進行投票而受到懲罰。不過這也造成了一個“泄氣”的窘境,因為驗證者擔心如果出現一個分杈而自己不確定到底哪個才是權威的,然后投錯票之后被消減所以選擇退出投票。
版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。