搜索
相关资讯
近日,Runtime Verification宣布与PlatON Network合作的Giskard共识协议验证项目圆满完成。本次合作旨在通过COQ证明助手验证手段,验证PlatON的Giskard共识协议安全性。