PlatON 与 Runtime Verification 达成合作，确保网络安全稳定

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 协议安全和正确运行的两个基本要求。