PlatON共识协议安全性与稳定性已通过Runtime学术级验证-快讯-Odaily星球日报
 点击图片查看原图 |
|
- 发布日期：2020-12-08
- 有效期至：长期有效
- 头条微商机区域：全国
- 浏览次数：91
|
详细说明
PlatON共识协议安全性与稳定性已通过Runtime学术级验证_PlatON将Giskard共识协议视为网络的基础核心组件来予以高度重视，邀请验证团队Runtime Verification，以学术研究的规格对该协议进行了形式化验证。在进程中，PlatON和Runtime Verification双方都秉持高效、严谨、极细颗粒度的状态与要求，针对Giskard共识进行「高压」验证。验证结果已经以名为《Verifying Safety of the Giskard Consensus Protocol in Coq》的报告形式发表，并在Github上开源。
该企业最新头条微商机
