22

09

星期日

2019-09-22 17:27

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

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

利好263

利空84

免责声明:作为区块链信息平台,本站所提供的资讯信息不代表任何投资暗示,本站所发布文章仅代表个人观点,与火星财经官方立场无关。鉴于中国尚未出台数字资产相关政策及法规,请中国大陆用户谨慎进行数字货币投资。