比特币:闪电网络通过首次形式化验证：在数学上和比特币一样安全

免责声明：本文旨在传递更多市场信息，不构成任何投资建议。文章仅代表作者观点，不代表火星财经官方立场。

小编：记得关注哦

投资区块链，猛戳：火星财经App下载

文章来源：CoinDesk中文版

翻译：王井泰

闪电网络的概念富有创新和实验性，不过可能导致用户资金损失的bug仍有待发现。近日，一队科研人员发布了对比特币闪电网络的形式化验证结果。

Eagle Bitcoin ATM在澳大利亚部署支持闪电网络的比特币ATM:1月3日消息，Eagle Bitcoin ATM在澳大利亚库伦加塔的The Strand购物中心部署一台具有比特币闪电网络功能的比特币ATM。用户可以便宜快捷地购买比特币。（ATM Marketplace）[2023/1/4 9:50:27]

这篇论文在由爱丁堡大学的安格洛斯·齐亚伊亚斯和奥弗依斯·利托斯发表。齐亚伊亚斯还是区块链公司IOHK的首席科学家，这家公司为新生支付网络的底层安全做出了许多贡献。

闪电网络节点数量已达31973个:金色财经报道，据1ML.com数据，目前，支撑网络的节点数量达到31973个，相较30天前数据，环比上涨3.14%；通道数量为83755，相较30天前数据，环比上涨2.5%；闪电网络承载能力目前为3319.42BTC，约合1.69亿美元。[2021/12/26 8:04:14]

迄今为止，闪电网络尚未在数学上进行过正式的安全测试，这一测试可以建立一个计算机系统在数学上的安全程度。这篇题为“AComposableSecurityTreatmentoftheLightningNetwork”的论文认为，如今闪电网络已经被用于保护至少8500万美元的真实资金，但其代码规范缺乏形式化验证是一件“极其严重的事”。

闪电网络钱包Zap已加入Visa的FastTrack计划:金色财经报道，闪电网络钱包Zap创始人Jack Maller宣布，该公司的Strike产品已进入了公开测试阶段，该产品允许人们通过直接的银行存款以美元形式获得比特币。Mallers表示，Zap已加入Visa的FastTrack计划。今年的主要工作是为消费者应用程序用户推出Strike卡，并将Visa Direct集成到消费者应用程序中。Strike卡的发布日期未定。[2020/7/3]

“因此，我们的措施详细地描述了如何基于底层账本上资产实现协议安全保证。”论文解释道。

声音 | Dash Core GroupCEO：比特币的闪电网络完全掩盖了区块链之外的交易:在最近的一次采访中，Dash Core Group首席执行官Ryan Taylor表示，他们的PrivateSend功能最初是在masternode层上开发的，它是CoinJoin(一种隐私技术)的“品牌实现”。他指出，该特性不需要对协议代码本身进行任何更改。他表示，BTC和BCH的不同钱包也支持CoinJoin，因此比特币和Dash的“法律地位”在技术上没有区别。因为Dash是第一个推出此功能的产品，它被媒体称为以隐私为中心的代币。Taylor承认监管机构希望避免使用隐私代币，但他补充说，Dash本身没有任何隐藏地址。他表示，区块链上的每笔交易都是完全透明的，Dash和BTC在功能上没有区别。Dash还在比特币的区块链上进行了PrivateSend交易，目的是向监管机构提供证据，证明两者没有区别。他解释说，Dash网络上只有不到1%的交易为PrivateSend选项提供了便利，并表示，根据Chain Analysis，几乎所有这些交易都是“出于隐私原因”，没有任何非法前提。他补充说，除此之外，比特币还部署了闪电网络，完全掩盖了区块链之外的交易。因此，以与比特币监管不同的方式监管dash，绝对是不理性的。(ambcrypto)[2019/9/9]

他们所做的这个过程被称作“形式化验证”。这一方法在加密货币领域非常流行，而且有助于确定代码的安全性。形式化安全并没有被部署在每个加密项目上，因为部署“形式化验证”需要高深的知识，部署成本很高。

一、坚实的规范

研究者结果是积极的，这表明为使支付系统正常工作而堆积在一起的底层加密技术是正确的。“系统所有的重要安全部分都是可靠的，这是意料之中的结果。”利托斯告诉CoinDsek。这究竟意味着什么？利托斯和齐亚伊亚斯审查了闪电网络的规范，每一款闪电网络软件都必须满足这些规则，以向网络的其他部分发起支付。

利托斯告诉CoinDesk：“主要的结论是闪电网络和比特币一样安全。”为了得出这一结论，他们研究了构成闪电网络的密码学。密码学是由数学算法组成的，这些算法提供了网络上的安全和隐私基础。在闪电网络中，密码学是把支付系统黏在一起的胶水，最后的结果是允许一个人把比特币转账给其他人。因此，研究者们研究了闪电网络底层不同的密码学技术，包括数字签名。这一技术对于比特币而言，意味着比特币只能被有着正确私钥的用户产出。

“闪电网络用户只可能在用于比特币的数字签名和哈希函数出错时才可能会丢失资金。”利托斯说，“使用底层的真实账户允许我们精准定位闪电网络运行参数间的安全联系。特别的，我们对‘闪电网络用户需要多久检查一次区块链，尤其是进行连续多次交易时’这个问题给出了确切的答案。”

二、规格并非软件

虽然形式化验证是重要的一步，但它只存在于闪电网络的蓝图上，尚未由开发者落实在任何一款软件上。虽然论文声称闪电网络“和比特币一样安全”，这不意味着软件本身也是安全的。这也许听起来是微不足道的区别，但实际上区别极大。

有3款主要闪电网络执行了专家们的意见，分别是Acinq’sEclair、Blockstream’sc-lightning和LightningLab’slnd。“我们的分析基于形式化验证，而不是实际执行。因此，并不能排除各种实现中的错误，目前仅仅是排除了规范中的错误而已。”利托斯表示。利托斯提到，未来的形式化分析可能最终被用于研实际的代码。“理想情况下，通过对代码进行形式化验证来证明其符合规范，会在系统中提升信任程度。但在那之前，我们仍然需要一个机器可读的规范版本。”他表示。

声明：本文为入驻“火星号”作者作品，不代表火星财经官方立场。转载请注明出处、作者和本文链接

提示：投资有风险，入市须谨慎。本资讯不作为投资理财建议。

标签：比特币区块链加密货币比特币中国官网联系方式40亿比特币能提现吗比特币最新价格行情走势区块链工程专业学什么区块链存证怎么弄区块链技术发展现状和趋势加密货币是什么意思啊加密货币市场还有未来吗

Filecoin热门资讯