Proof-of-Stake
在 Casper PoS 中,什麼是最終區塊?
Vitalik在這裡談到了區塊終結,Vlad 也在這裡談到了它。
什麼是最終區塊?完成一個區塊需要多長時間?最終區塊的安全保證是什麼?
“定稿”是在密碼經濟學上定義的;一個區塊的最終確定程度基本上可以通過“如果這個區塊不是主鏈的一部分,其他驗證者會損失多少 ETH?”來量化。一個完全“最終確定”的區塊是這樣一個區塊,如果該區塊最終不在主鏈中,則超過 2/3 的 Casper 驗證者將失去他們的全部存款(估計這約為 2-20 百萬 ETH,具體取決於有多少人質押) .
除了經濟上的確定性(即不變數的經濟保證)之外,還有主觀的確定性:客戶不願意改變主意。
一旦客戶看到某個不變數背後的保證金的最終門檻值,他們就可以決定永遠不接受任何相反的主張。攻擊者不會產生任何費用來將客戶的狀態恢復到他們最後的最終狀態之後。另一方面,只要花費足夠的費用,對手就可以創建兩個滿足經濟最終性門檻值的區塊。
wrt容錯數字。1/3 是有利於一致性的非同步共識協議的最高容錯率。這個數字非常不適用於 Casper,因為它有利於可用性。此外,不參與以防止最終確定性是昂貴的,這是傳統 BFT 分析中從未捕捉到的。我對 80-90% 的確定性門檻值感到非常滿意。