爱丁堡大学研究人员公布比特币闪电网络的正式验证结果

区块链第一快讯 7x24 快讯
2019-09-22 17:28:28

 据Coindesk消息,苏格兰爱丁堡大学的研究人员Aggelos Kiayias和Orfeas Litos上个月发表了一篇有关闪电网络安全性的论文。这篇论文描述了闪电网络的代码规范缺乏正式的验证,这是“一种可怕的状态”论文解释称:“我们的处理准确地描述了协议的安全保证如何依赖于基础分类账技术的属性。” 研究人员执行此操作的过程称为正式验证。虽然它在加密货币领域很流行,并且有助于确定代码的安全性,但并不是在每个代码程序上都执行“形式安全性”。研究人员认为,研究结果是积极的,表明让支付系统正常运行的底层加密技术是健全的。尽管规范验证是重要的一步,但它仅适用于闪电网络的代码蓝图,不适用于开发人员已经开发的软件。



本文地址: https://www.xiguacaijing.com/kuaixun/2019/13578.html 生成分享图
声明:本文经授权发布,除注明来源外,均为西瓜财经用户投稿,不代表西瓜财经立场。转载请注明:西瓜财经(xiguacaijing.com)
提醒:投资有风险,入市需谨慎。若内容涉及投资建议,仅供参考勿作为投资依据。谨防以“区块链”名义进行非法集资。

热度

赞助商

西瓜快讯

西瓜快讯

官方认证

全球7x24区块链财经快讯

相关推荐