Runtime Verification很高兴宣布与PlatON Networks进行新的合作，这是由LatticeX Foundation（新加坡）赞助的保护隐私的新一代公共链。
PlatON从以太坊分叉，并以全新的共识算法和PlatON POS（权益证明）重生。参与的重点是PlatON的并行拜占庭容错（CBFT）协议的正式模型，以及对两个关键任务属性（安全性和活动性）的验证。后者可能会分布在两个不同的参与阶段。
“说我们很高兴与PlatON Networks互动很轻描淡写。我们于2019年末开始与他们的团队进行对话，讨论我们两家公司如何以及在何处开展业务。尽管我们讨论了各种机会，包括与编写和验证用Web Assembly（WASM）编写的程序有关的机会，但我们最终还是将协议验证定为开始进行长期合作与伙伴关系的好地方。”
– Runtime Verification的首席运营官Patrick MacKay
CBFT是PlatON Network的共识协议。它源自几种现有协议，但也引入了旨在提高网络效率和可伸缩性的新技术，其中可能最重要的是在一轮中同时生产模块。
与其他共识协议一样，确保协议安全和正确运行的两个基本要求是安全性和活动性。对协议进行正式建模并验证这两个属性可以为协议设计的正确性提供高度的保证，并可以明确说明满足属性的所有假设。
—-
原文链接：https://www.cryptoninjas.net/2020/03/09/runtime-verification-enters-a-protocol-verification-agreement-with-platon-blockchain/
原文作者：CryptoNinjas.net
编译者/作者：wanbizu AI
玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。
