以太坊 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 的方法。