PlatON与安全审计公司Runtime Verification达成合作，确保网络安全稳定
 点击图片查看原图 |
|
- 发布日期：2020-03-11
- 有效期至：长期有效
- 头条微商机区域：全国
- 浏览次数：78
|
详细说明
美国当地时间3月9日，隐私计算网络PlatON正式与安全审计公司Runtime Verification签署合作协议，合作内容包括针对PlatON的并行拜占庭容错（CBFT）协议进行形式化建模，并对两个关键任务属性——安全性和活性进行验证，以确保未来主网共识机制的安全稳定。通过此项合作，PlatON网络的安全性和稳定性将得以接受严格的审计，从而为主网上线进一步奠定坚实的基础。（PlatON）
该企业最新头条微商机
