加密谷日报 | 以太坊2.0又一里程碑，存款合约字节码完成形式化验证

『**头条』**

以太坊基金会宣布，技术团队Runtime Verification已完成对ETH 2.0存款合约字节码的审计和形式化验证。 以太坊基金会表示，这是一个重要的里程碑，使该项目更接近ETH 2.0主网的Phase 0（阶段0），但以太坊基金会仍希望其他专业人士或社区能够提供更多关于形式化验证的信息。 如需反馈，您可以在代码库中提交相关问题。 此外，以太坊基金会表示，虽然ETH 2.0第二阶段的核心原则已经明确，但其具体设计仍相对开放。 Quilt（ConsenSys的研究团队）和eWASM（以太坊基金会的研究团队）在过去的一年里花费了大量精力研究，新成立的TXRX（ConsenSys研究团队）将把一部分精力投入到Phase 2 研发，最初的重点将放在更好地理解跨分片交易的复杂性，以及研究和制作将 ETH 1.0 集成到 ETH 2.0 中的方法原型。

“ 市场”

Lightning Labs 的“闪电环”（Loop）技术发布了 0.4 版本，去掉了项目之前的 alpha 标签，改名为 beta。 开发人员将 0.4 版称为次要更新，它包括四项更新，例如调整默认端口和其他修复。 闪电环是一种BTC支付通道技术，可以提高闪电网络的可用性，扩大数字货币的规模。 用户可以在不关闭和重新打开新的支付渠道的情况下获得更多的比特币。 据 Lightning Labs 介绍，Loop 旨在帮助用户、企业和节点路由运营商通过非托管 BTC 合约永久开通闪电网络通道，以维持闪电网络的流动性。 Lightning Labs 团队还开发了闪电网络客户端 LND 和闪电网络轻客户端 Neutrino。

洲际交易所（ICE）正式宣布第一行代码以太坊，他们确实接触了电商交易平台eBay，探索一系列可为两家公司股东创造价值的潜在机会，但eBay并未以有意义的方式参与。 此外，ICE 和 eBay 并未就出售 eBay 的全部或部分股权进行谈判。 据了解，此前《华尔街日报》报道称，洲际交易所（ICE）已向在线交易平台eBay提出收购要约，这将使该公司估值超过300亿美元。

ConsenSys宣布业务重组，将公司一分为二第一行代码以太坊，专注于软件开发和投资工作，同时减少员工人数，裁员率为14%。 知情人士称，此举是因为作为一家同时从事投资和软件开发的公司，融资困难。 业务分拆后，软件业务公司拟筹资2亿美元。 科技媒体 The Information 2019 年 4 月 15 日报道称，ConsenSys 计划向外部投资者寻求 2 亿美元的融资。 公司高管已与香港和韩国的投资者进行了交谈，但筹资并不顺利。

罗伊作者

内容仅供参考，不作为投资建议，风险自负