Runtime Verification很高兴宣布与PlatON Networks进行新的合作,这是由LatticeX Foundation(新加坡)赞助的保护隐私的新一代公共链。 PlatON从以太坊分叉,并以全新的共识算法和PlatON POS(权益证明)重生。参与的重点是PlatON的并行拜占庭容错(CBFT)协议的正式模型,以及对两个关键任务属性(安全性和活动性)的验证。后者可能会分布在两个不同的参与阶段。
CBFT是PlatON Network的共识协议。它源自几种现有协议,但也引入了旨在提高网络效率和可伸缩性的新技术,其中可能最重要的是在一轮中同时生产模块。 与其他共识协议一样,确保协议安全和正确运行的两个基本要求是安全性和活动性。对协议进行正式建模并验证这两个属性可以为协议设计的正确性提供高度的保证,并可以明确说明满足属性的所有假设。 —- 原文链接:https://www.cryptoninjas.net/2020/03/09/runtime-verification-enters-a-protocol-verification-agreement-with-platon-blockchain/ 原文作者:CryptoNinjas.net 编译者/作者:wanbizu AI 玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。 |
运行时验证与PlatON区块链签订协议验证协议
2020-03-10 wanbizu AI 来源:www.cryptoninjas.net
- 上一篇:Robinhood每月面临另一个交易问题
- 下一篇:XRP | USD-看跌旗
LOADING...