雷电网络的概念富裕创意和实验性，不过有可能导致用户资金损失的 bug 仍尚待找到。近日，网卓新闻网，一队科研人员公布了对比特币雷电网络的一般化检验结果。这篇论文在由爱丁堡大学的福格洛斯·齐亚伊亚斯（Aggelos Kiayias）和奥弗依斯·利托斯（Orfeas Litos）公开发表。
齐亚伊亚斯还是区块链公司 IOHK 的首席科学家，这家公司为新生缴纳网络的底层安全性作出了许多贡献。迄今为止，雷电网络仍未在数学上展开过月的安全性测试，这一测试可以创建一个计算机系统在数学上的安全性程度。这篇为题 “A Composable Security Treatment of the Lightning Network” 的论文指出，如今雷电网络早已被用作维护最少 8500 万美元的现实资金，但其代码规范缺少一般化检验是一件 “极为相当严重的事”。
“因此，我们的措施详尽地叙述了如何基于底层账本上资产构建协议安全性确保。” 论文说明道。他们所做到的这个过程被称作 “一般化检验（formal security）”。这一方法在加密货币领域十分风行，而且有助确认代码的安全性。
一般化安全性并没被部署在每个加密项目上，因为部署 “一般化检验” 必须高深的科学知识，部署成本很高。扎实的规范研究者结果是大力的，这指出为使缴纳系统长时间工作而冲刷在一起的底层加密技术是准确的。“系统所有的最重要安全性部分都是可信的，这是意料之中的结果。” 利托斯告诉他 CoinDsek。
这到底意味著什么？利托斯和齐亚伊亚斯审查了雷电网络的规范，每一款雷电网络软件都必需符合这些规则，以向网络的其他部分发动缴纳。利托斯告诉他 CoinDesk：“主要的结论是雷电网络和比特币一样安全性。
”为了得出结论这一结论，他们研究了包含雷电网络的密码学。密码学是由数学算法构成的，这些算法获取了网络上的安全性和隐私基础。在雷电网络中，密码学是把缴纳系统撕开一起的胶水，最后的结果是容许一个人把比特币账户给其他人。因此，研究者们研究了雷电网络底层有所不同的密码学技术，还包括数字签名。
这一技术对于比特币而言，意味著比特币不能被具有准确私钥的用户生产量。“雷电网络用户只有可能在用作比特币的数字签名和哈希函数错误时才可能会遗失资金。
”利托斯说道，“用于底层的现实账户容许我们精准定位雷电网络运营参数间的安全性联系。尤其的，我们对 ‘雷电网络用户必须多久检查一次区块链，特别是在是展开倒数多次交易时’ 这个问题得出了清楚的答案。”规格并非软件虽然一般化检验是最重要的一步，但它只不存在于雷电网络的蓝图上，仍未由开发者实施在任何一款软件上。
虽然论文声称雷电网络 “和比特币一样安全性”，这不意味著软件本身也是安全性的。这或许听得一起是微不足道的区别，但实质上区别很大。
有 3 款主要雷电网络继续执行了专家们的意见，分别是 Acinq’s Eclair、Blockstream’s c-lightning 和 Lightning Lab’s lnd。“我们的分析基于一般化检验，而不是实际继续执行。因此，并无法回避各种构建中的错误，目前意味着是回避了规范（specification）中的错误而已。
” 利托斯回应。利托斯提及，未来的一般化分析有可能最后被用作研实际的代码。“理想情况下，通过对代码展开一般化检验来证明其符合规范，不会在系统中提高信任程度。
但在那之前，我们依然必须一个机器格式化的规范版本。” 他回应。
本文关键词：闪电,网络,通过,首次,形式化,365买球官网,验证,在,数学上
本文来源：365买球官网-www.sweetontina.com
