搜索
相关资讯
在上一篇内容中我们浅析了PlatON提出的基于可验证计算的加权权益证明共识方法Giskard。今天我们将解析Giskard共识协议的分析。
近日,Runtime Verification宣布与PlatON Network合作的Giskard共识协议验证项目圆满完成。本次合作旨在通过COQ证明助手验证手段,验证PlatON的Giskard共识协议安全性。