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

【链得得播报】链得得（微信号：ChainDD）9月22日讯，据Coindesk消息，苏格兰爱丁堡大学的研究人员Aggelos Kiayias和Orfeas Litos上个月发表了一篇有关闪电网络安全性的论文。

这篇论文描述了闪电网络的代码规范缺乏正式的验证，这是“一种可怕的状态”论文解释称:“我们的处理准确地描述了协议的安全保证如何依赖于基础分类账技术的属性。” 研究人员执行此操作的过程称为正式验证。虽然它在加密货币领域很流行，并且有助于确定代码的安全性，但并不是在每个代码程序上都执行“形式安全性”。

研究人员认为，研究结果是积极的，表明让支付系统正常运行的底层加密技术是健全的。尽管规范验证是重要的一步，但它仅适用于闪电网络的代码蓝图，不适用于开发人员已经开发的软件。