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

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

小编：记得关注哦

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

文章来源：CoinDesk中文版

翻译：王井泰

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

ConsenSys分析师：以太坊上海升级激发机构投资者参与质押的兴趣:4月22日消息，以太坊区块链开发公司ConsenSys的分析师Michiel Milanovic表示，顶级机构级以太坊投资服务提供商4月份的资金流入已经是上个月的三倍左右。他还称，约80%的资金流入是在4月12日上海升级之后发生的。从那之后，大约1800万枚ETH可被提取，价值350亿美元，之前这些ETH被锁定在质押合约中。

允许提款也降低了与锁定ETH进行质押相关的流动性风险，这之前让一些投资者望而却步。Milanovic说道，我们预计，在长期验证者首次减少ETH之后，这将自然地提高质押率。（CoinDesk）[2023/4/22 14:20:08]

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

Sam Altman领投的Context旗下NFT铸造聚合器开放通行证铸造:4月13日消息，据官方消息，Web3 钱包追踪应用 Context 推出的 NFT 铸造聚合器 mint.fun 已开放通行证铸造。用户可在其官网免费铸造 !fundrop 通行证并通过后续交互获取积分。

此前报道，去年 4 月，Context 宣布完成 1950 万美元种子轮融资，Variant Fund 和 OpenAI 首席执行官 Sam Altman 领投，Dragonfly Capital 等参投。[2023/4/13 14:01:30]

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

ConsenSys收购摩根大通旗下区块链平台Quorum，并获摩根大通战略投资:ConsenSys周二表示，其已收购了摩根大通（JPMorganChase&Co.）旗下的区块链平台Quorum。作为交易的一部分，摩根大通还对ConsenSys进行了战略投资，但两家公司拒绝透露财务条款。ConsenSys首席执行官兼创始人JosephLubin在一次采访中表示：“我们已经收购了Quorum，摩根大通已经（对我们）进行了战略投资，我们有让Quorum继续支持摩根大通项目的商业安排。”摩根大通区块链全球主管UmarFarooq在接受采访时表示，Quorum团队将继续留在摩根大通，协助其明年的转型，并将在其他区块链项目上开展工作。（路透社）[2020/8/25]

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

新加坡星展银行加入区块链贸易融资网络Contour:星展银行（DBS Bank）已经加入了Contour的网络，该网络建立在R3公司的Corda之上，旨在将信用证（LC）的开立、交易、批准和签发等全球贸易流程数字化。据介绍，该平台将于今年晚些时候全面推出，星展银行据称是首个加入的新加坡银行。该网络中的其它银行包括法国巴黎银行（BNP Paribas）、曼谷银行（Bangkok Bank）、荷兰国际集团（ING）、汇丰银行（HSBC）、渣打银行（Standard Chartered）和花旗风险投资（Citi Ventures）。（Business Times）[2020/5/11]

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

一、坚实的规范

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

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

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

二、规格并非软件

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

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

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

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

标签：TNI区块链INDCOIWallStreetNinjaruff币区块链最新消息DeFi Pulse Indexhotcoinglobal交易所在中国有备案吗

以太坊价格今日行情热门资讯