以太坊基金会昨日宣布ETH2.0存款合约字节码的审计和形式化验证已经由技术团队RuntimeVerification完成。以太坊基金会表示，这是一个重要的里程碑，使得项目更接近ETH2.0主网的第0阶段，但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈，可以在代码库提交相关问题。除此之外，以太坊基金会表示虽然ETH2.0的第2阶段核心原则已经被定义清楚，但其具体设计还是相对开放的，Quilt和eWASM在最近一年里已经花了非常多的精力研究，而新成立的TXRX会将一部分精力投入到第2阶段的研发中，最初的重点将会放在更好地了解跨分片交易的复杂性，以及研究和原型化将ETH1.0集成到ETH2.0的方法。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。