Algorand官方:Runtime Verification正式验证Algorand区块链永不分叉

点击图片查看原图
  • 发布日期:2019-06-26
  • 有效期至:长期有效
  • 头条微商机区域:全国
  • 浏览次数99
  • 留言咨询
详细说明
Algorand官方博客发文称:为了更好地保证Algorand协议,并使未来的协议设计和验证更容易,Algorand选择通过机器验证来增强数学上的理论证明。为此,Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑:使用Coq定理证明,团队已经开发了一个精确的协议数学模型,并正式验证了其安全保证(区块链从不分叉)。在今年早些时候,Algorand用Runtime Verification(运行时验证)来验证其共识协议。Algorand宣布已经完成该工作的第一部分,即协议建模和证明其安全定理。具体来说,我们使用了一个证明助手(Coq)来系统地确定协议在数学上保证不会分叉的假设。

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

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

推荐资讯
建材商圈
博一网 | 建材网 | 家饰之窗 | 建材风水 | 木板之家 | 电工之家 | 壁纸之家 | 净化之家 | 安防之家 | 防水之家 | 洁具之家 | 窗帘头条 | 天花之家 | 木门之家 | 灯具之家 | 铁艺之家 | 幕墙之家 |
建材 | 机械之家 | 区块链 | 区链通 | 区快洞察 | 企业之家 | 关于我们  |  联系方式  |  使用协议  |  版权隐私  |  网站地图 | 排名推广 | 广告服务 | 积分换礼 | RSS订阅 | sitemap |
Powered by 建材头条 (c)2015-2017 BO-YI.COM SYSTEM All Rights Reserved