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

点击图片查看原图
  • 发布日期:2020-12-08
  • 有效期至:长期有效
  • 头条微商机区域:全国
  • 浏览次数51
  • 留言咨询
详细说明
区快洞察消息,PlatON 共识协议安全性与稳定性已通过 Runtime 学术级验证,验证结果已经以名为《Verifying Safety of the Giskard Consensus Protocol in Coq》的报告形式发表,并在 Github 上开源。从验证结果来看,Runtime Verification 通过形式化验证获得的机器验证证据有力地证明了即使存在不良节点,Giskard 共识协议的关键安全属性也可以为 PlatON 整个协议的执行保驾护航。本次项目合作的验证结果为 Giskard 共识协议作为 PlatON 网络基础设施核心组件的可靠性提供了重要证据,并清晰阐述了 Giskard 共识的基础假设。

该企业最新头条微商机
 
更多>最新产品信息:
联系方式

您还没有登录,请登录后查看详情

推荐资讯
最新
最新头条微商机
水泥之家 | 橱柜之家 | 机械之家 | 水电之家 | 五金之家 | 家电之家 | 饰品头条 | 墙布头条 | 家纺头条 | 塑料头条 | 老姚之家 | 灯饰之家 | 电气之家 | 全景头条 | 陶瓷之家 | 照明之家 | 防水之家 | 防盗之家 | 博一建材 | 卫浴之家 | 区快洞察 | 漳州建材 | 泉州建材 | 三明建材 | 莆田建材 | 合肥建材 | 宣城建材 | 池州建材 | 亳州建材 | 六安建材 | 巢湖建材 | 宿州建材 | 阜阳建材 | 滁州建材 | 黄山建材 | 安庆建材 | 铜陵建材 | 淮北建材 | 马鞍山建材 |
建材 |  区快洞察 |  企业之家 |  关于我们  |  联系方式  |  使用协议  |  版权隐私  |  网站地图 | 排名推广 | 广告服务 | 积分换礼 | RSS订阅 | sitemap |
(c)2015-2017 BO-YI.COM SYSTEM All Rights Reserved
Powered by 水电头条