形式化驗證 Gasper 共識機制

形式化驗證 Gasper 共識機制 Gasper 是一個由信標鏈協議（即將到來的以太坊 2.0 網絡的底層協議）實現的抽象的權益證明協議層。Gasper 的關鍵部分就是一套終局性機制（finality mechanism），用於保證交易的持存性（durability）和系統的不間斷運作不會被攻擊破壞。 Gasper 罰沒條件（slashing Conditions） Gasper 定義了兩個條件（

>>阅读原文<<