链闻消息,PlatON 共识协议安全性与稳定性已通过 Runtime 学术级验证,验证结果已经以名为《Verifying Safety of the Giskard Consensus Protocol in Coq》的报告形式发表,并在 Github 上开源。从验证结果来看,Runtime Verification 通过形式化验证获得的机器验证证据有力地证明了即使存在不良节点,Giskard 共识协议的关键安全属性也可以为 PlatON 整个协议的执行保驾护航。本次项目合作的验证结果为 Giskard 共识协议作为 PlatON 网络基础设施核心组件的可靠性提供了重要证据,并清晰阐述了 Giskard 共识的基础假设。