PlatON与安全审计公司Runtime Verification达成合作，确保网络安全稳定
2020-03-11 04:06:08
美国当地时间3月9日，隐私计算网络PlatON正式与安全审计公司Runtime Verification签署合作协议，合作内容包括针对PlatON的并行拜占庭容错（CBFT）协议进行形式化建模，并对两个关键任务属性——安全性和活性进行验证，以确保未来主网共识机制的安全稳定。通过此项合作，PlatON网络的安全性和稳定性将得以接受严格的审计，从而为主网上线进一步奠定坚实的基础。（PlatON）
推荐文章
深度文章
24小时快讯
重要快讯
下载Odaily星球日报app
让一部分人先读懂 Web3.0
IOS
Android