鏈聞消息,PlatON 共識協議安全性與穩定性已通過 Runtime 學術級驗證,驗證結果已經以名爲《Verifying Safety of the Giskard Consensus Protocol in Coq》的報告形式發表,並在 Github 上開源。從驗證結果來看,Runtime Verification 通過形式化驗證獲得的機器驗證證據有力地證明了即使存在不良節點,Giskard 共識協議的關鍵安全屬性也可以爲 PlatON 整個協議的執行保駕護航。本次項目合作的驗證結果爲 Giskard 共識協議作爲 PlatON 網絡基礎設施核心組件的可靠性提供了重要證據,並清晰闡述了 Giskard 共識的基礎假設。