闪电网络的概念具有创新性和实验性，但可能导致用户金钱损失的错误仍有待发现。最近，一组研究人员发布了比特币闪电网络的正式验证结果。

该论文由爱丁堡大学的Aggelos Kiayias和Orfeas Litos发表。 Ziaias还是区块链公司IOHK的首席科学家，该组织为新支付网络的基础安全性做出了许多贡献。 迄今为止，Lightning Networks尚未进行数学上的正式安全测试，该测试可以确定计算机系统的数学安全性。这篇名为《闪电网络的可组合安全性处理方法》的论文认为，闪电网络现在已被用来保护至少8500万美元的真金白银，但是缺乏对其代码规范的正式验证是“极其严重的”。 ”。 “因此，我们的措施详细描述了如何基于基础分类账实施协议安全保证。”本文解释道。 他们执行的过程称为“形式安全”。这种方法在加密货币领域非常流行，有助于确定代码的安全性。由于部署“形式验证”需要深入的知识和较高的部署成本，因此并不是在每个加密项目上都部署形式安全。 固体规格 研究人员的结果是积极的，表明为使支付系统正常工作而建立的基础加密技术是正确的。 “系统的所有重要安全部件都是可靠的，这是预期的结果。” Litos告诉CoinDsek。 这是什么意思？ Litos和Ziaias审查了闪电网络的规格，每个闪电网络软件必须符合这些规则才能向网络的其他部分付款。 Litos告诉CoinDesk：“主要结论是，闪电网络与比特币一样安全。” 为了得出这个结论，他们研究了构成闪电网络的密码学。密码术由数学算法组成，这些数学算法为网络的安全性和隐私性奠定了基础。在闪电网络中，密码学是将支付系统粘合在一起的粘合剂。最终结果是允许一个人将比特币转让给其他人。 因此，研究人员在闪电网络的底部研究了不同的密码技术，包括数字签名。比特币的这项技术意味着比特币只能由具有正确私钥的用户生产。 “闪电网络用户只有在为比特币使用数字签名和哈希函数时才可能蒙受损失。” Litos说，“使用底层真实账户可以使我们查明闪电网络运行参数之间的安全联系。尤其是，我们对以下问题给出了确切的答案：“闪电网络用户需要多久检查一次区块链，尤其是连续交易多次时？”” 规格不是软件 尽管形式验证是重要的一步，但它仅存在于闪电网络的蓝图上，并且尚未由任何开发人员在任何软件上实施。 尽管该论文声称闪电网络“像比特币一样安全”，但这并不意味着该软件本身就是安全的。这听起来似乎微不足道，但实际上却有很大的不同。 已实施专家意见的三个主要闪电网络分别是Acinq的Eclair，Blockstream的c-lightning和Lightning Lab的lnd。 “我们的分析基于形式验证，而不是实际执行。因此，不可能排除各种实现方式中的错误。目前，它仅排除规范中的错误。”利托斯说。 Litos提到，对未来的形式分析最终可能会用于开发实用的代码。 他说：“在理想情况下，通过对代码进行形式化验证以证明其符合规范，将提高对系统的信任程度。但是在此之前，我们仍然需要规范的机器可读版本。”