PlatON 共识协议安全性与稳定性已通过 Runtime 学术级验证

区块链消息,PlatON 共识协议安全性与稳定性已通过 Runtime 学术级验证,验证结果已经以名为《Verifying Safety of the Giskard Consensus Protocol in Coq》的报告形式发表,并在 Github 上开源。从验证结果来看,Runtime Verification 通过形式化验证获得的机器验证证据有力地证明了即使存在不良节点,Giskard 共识协议的关键安全属性也可以为 PlatON 整个协议的执行保驾护航。本次项目合作的验证结果为 Giskard 共识协议作为 PlatON 网络基础设施核心组件的可靠性提供了重要证据,并清晰阐述了 Giskard 共识的基础假设。

区块链快讯

11月灰度以太坊信托基金 ETHE 日均交易量创历史新高

2020-12-7 10:00:06

区块链快讯

链上期权协议 Opyn 新增无需抵押品的闪电期权铸造等多项新功能

2020-12-7 11:01:32

个人中心
购物车
优惠劵
今日签到
有新私信 私信列表
搜索