一对研究人员已经发布了对比特币闪电网络的正式验证结果。迄今为止，还没有通过形式安全性对闪电进行过数学测试，这是借助数学方法确定计算机科学思想的安全性的一种手段。该文件描述了对闪电代码规范“可怕的事态”的缺乏正式验证，因为今天闪电用于确保真钱（至少850万美元）。这到底是什么意思？ Litos和Kiayias考察了闪电网络的规范，这是每个闪电软件实现都必须能够将付款发送到网络其余部分的规则。研究人员研究了雷电背后的各种加密技术，包括数字签名，在比特币的情况下，只有拥有正确比特币私钥的用户才能产生这种数字签名。 “使用现实的基础分类账，我们可以为闪电网络的运行参数确定确切的安全范围。具体来说，我们为以下问题提供了具体的答案：'闪电网络用户多久必须检查一次区块链，特别是当多-正在付款吗？”。遵循规格的主要闪电网络主要有三种实现方式：Acinq的Eclair，Blockstream的c-lightning和Lightning Lab的lnd。