链闻消息,PlatON 宣布与安全审计公司 Runtime Verification 合作,合作内容包括针对 PlatON 的并行拜占庭容错(CBFT)协议进行形式化建模,并对两个关键任务属性——安全性和活性进行验证,以确保未来主网共识机制的安全稳定。Runtime Verification 对 CBFT 共识协议的形式化建模以及对安全性和活性的验证,为 PlatON 协议设计的准确性提供了更高级别的保证,并且确保了双方合作初衷得以满意的落实。通过此项合作,PlatON 网络的安全性和稳定性将得以接受严格的审计,从而为主网上线进一步奠定坚实的基础。Runtime Verification 拥有世界顶尖的形式化验证团队,在区块链领域,Runtime Verification 目前主要为各大公链和 DeFi 协议提供安全审计服务,目前的客户包括 IOHK(Cardano 的开发公司)、以太坊、Algorand、Web3 基金会、Elrond、Casper Labs、Gnosis、MakerDAO 等。据 block123.com 消息,PlatON 是 LatticeX 基金会支持的隐私计算网络和分布式经济体基础设施,采用并行拜占庭容错(CBFT)协议,极大地降低通讯复杂度并提高出块效率。CBFT 协议是 PlatON 综合了 PBFT、Tendermint、Hotstuff 等多种协议优点而核定的共识协议。通过 pipeline 的方式,完成区块生成和确认的并行。与其他共识协议一样,安全性(不会产生双重花费和分叉)和活性(共识持续进行不卡顿)的确认是保证 CBFT 协议安全和正确运行的两个基本要求。