美国当地时间3月9日,隐私计算网络PlatON正式与安全审计公司Runtime Verification签署合作协议,合作内容包括针对PlatON的并行拜占庭容错(CBFT)协议进行形式化建模,并对两个关键任务属性——安全性和活性进行验证,以确保未来主网共识机制的安全稳定。通过此项合作,PlatON网络的安全性和稳定性将得以接受严格的审计,从而为主网上线进一步奠定坚实的基础。(PlatON)
美国当地时间3月9日,隐私计算网络PlatON正式与安全审计公司Runtime Verification签署合作协议,合作内容包括针对PlatON的并行拜占庭容错(CBFT)协议进行形式化建模,并对两个关键任务属性——安全性和活性进行验证,以确保未来主网共识机制的安全稳定。通过此项合作,PlatON网络的安全性和稳定性将得以接受严格的审计,从而为主网上线进一步奠定坚实的基础。(PlatON)