『** 头条 』**

• 以太坊 2.0 又一里程碑，存款合约字节码完成形式化验证

以太坊基金会宣布 ETH 2.0 存款合约（deposit contract）字节码的审计和形式化验证（formal verification）已经由技术团队 Runtime Verification 完成。以太坊基金会表示，这是一个重要的里程碑，使得项目更接近 ETH 2.0 主网的第 0 阶段（Phase 0），但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈，可以在代码库提交相关问题。除此之外，以太坊基金会表示虽然 ETH 2.0 的第 2 阶段核心原则已经被定义清楚，但其具体设计还是相对开放的，Quilt （ConsenSys 的研究团队）和 eWASM （以太坊基金会的研究团队）在最近一年里已经花了非常多的精力研究，而新成立的 TXRX （ConsenSys 的研究团队）会将一部分精力投入到第 2 阶段的研发中，最初的重点将会放在更好地了解跨分片交易的复杂性，以及研究和原型化将 ETH 1.0 集成到 ETH 2.0 的方法。
『 市场 』

• Lightning Labs 发布闪电环技术 0.4 版并进入 Beta 阶段

闪电网络实验室（Lightning Labs）的“闪电环”（Loop）技术发布 0.4 版本，并为该项目摘去了之前 alpha 的标签并称之为 beta。开发者称 0.4 版本为次要更新版本，其中包括了四个更新，如调整默认端口和其他修复。闪电环是一项可以提高闪电网络可用性、扩大数字货币规模的 BTC 支付渠道技术，用户无需关闭和重新打开新的支付渠道，即可接收更多的 BTC。Lightning Labs 表示，Loop 旨在帮助用户、企业和节点路由运营商，通过非托管的 BTC 合约将闪电网络通道永久打开，以保持闪电网络的流动性。Lightning Labs 团队还开发了闪电网络客户端 LND、闪电网络轻客户端 Neutrino。

• 洲际交易所回应： 仅与 eBay 接触，未就收购进行谈判

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

• ConsenSys 将业务分拆为软件开发和投资并裁员 14%，软件业务拟融资 2 亿美元

ConsenSys 宣布业务重组，将公司一分为二，分别从事专注于软件开发和投资工作的业务，同时缩减员工数量，裁员幅度为 14％。知情人士透露，此举是由于作为一家同时从事投资和软件开发的公司筹集资金十分困难。业务分拆之后，其中的软件业务公司将计划筹集 2 亿美元融资。科技媒体 The Information 在 2019 年 4 月 15 日曾报道，ConsenSys 公司计划从外部投资者寻求 2 亿美元的融资。该公司高管与香港和韩国的投资者进行了交谈，但该次融资进展不顺。

Roy 作者

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

版权所有 未经允许 严禁转载

☟☟☟