2020-11-12 阅读(58) 作者(LIANYI)

克日，Runtime Verification公布与PlatON Network相助的Giskard共鸣协议验证项目圆满完成。本次相助旨在通过COQ证明助手验证手段，验证PlatON的Giska...