美国当地时间3月9日，PlatON正式与全球知名安全审计公司Runtime Verification签署合作协议，合作内容包括针对PlatON的并行拜占庭容错（CBFT）协议进行形式化建模，并对两个关键任务属性——安全性和活性进行验证，以确保未来主网共识机制的安全稳定。
Runtime Verification 拥有世界顶尖的形式化验证团队，在区块链领域，Runtime Verification 目前主要为各大公链和 Defi 协议提供安全审计服务 ，目前的客户包括 IOHK(Cardano 的开发公司)、以太坊、Algorand、Web3 基金会、Elrond、Casper Labs、Gnosis、MakerDAO 等。
“将我们的协同仅仅定义为合作其实是一种保守的说法。实际上，在2019年底，我们就已经与PlatON团队就双方如何开展合作进行多次沟通交流。虽然我们已经讨论过多种合作可能性，包括Web Assembly（WASM）程序编写和验证，但我们最后决定从协议验证开始。衷心希望我们可以达成一个长期的合作关系。”Runtime Verification的首席运营官Patrick MacKay表示。
PlatON是LatticeX 基金会支持的隐私计算网络和分布式经济体基础设施，采用并行拜占庭容错（CBFT）协议，极大地降低通讯复杂度并提高出块效率。CBFT协议是PlatON综合了PBFT、Tendermint、Hotstuff等多种协议优点而核定的共识协议。 通过pipeline的方式，完成区块生成和确认的并行。与其他共识协议一样，安全性（不会产生双重花费和分叉）和活性（共识持续进行不卡顿）的确认是保证CBFT协议安全和正确运行的两个基本要求。
Runtime Verification对CBFT共识协议的形式化建模以及对安全性和活性的验证，为PlatON协议设计的准确性提供了更高级别的保证，并且确保了双方合作初衷得以满意的落实。通过此项合作，PlatON网络的安全性和稳定性将得以接受严格的审计，从而为主网上线进一步奠定坚实的基础。
关于PlatON
PlatON致力于成为数据的安全“链”接者，构建可扩展、高性能、强隐私保护的分布式计算网络，并构建数据隐私保护、数据有效确权、数据高效利用兼备的全新网络生态。通过强大的技术支持，为全球分布式人工智能、分布式应用开发者、数据提供方及存有计算需求的各类社区、机构、个人提供开源架构下的公共基础设施软件开发、咨询、运营等服务。
关于Runtime Verification
Runtime Verification Inc.（RV）是一家总部位于美国伊利诺伊州厄巴纳的技术公司。该公司使用执行期验证技术对公链虚拟机和智能合约进行安全性审计，通过使用自己研发的动态分析验证技术致力于提高和区块链领域的软件系统的安全性、可靠性和正确性。Runtime Verification是K Framework的主要开发商，K框架帮助实现特定领域和通用型变成语言的定义，以及用这些语言为项目进行形式化分析的工具的自动生成。
英文报道原文链接：
扫码获取PlatON更多详情，还有技术干货哦！
