![区块链交易所](https://175.178.95.144/qu/d/file/exchange/negocie-coins.png alt="Negocie Coins的Logo">)
区块链交易所
![区块链交易所](https://175.178.95.144/qu/d/file/exchange/ripple-china.png alt="Ripple China的Logo">)
以太坊2.0存款合约字节码完成形式化验证
发布：中币网 时间：2020-02-05 13:55:49 加入收藏 打赏
以太坊基金会宣布ETH 2.0存款合约（deposit contract）字节码的审计和形式化验证（formal verification）已经由技术团队Runtime Verification完成。
以太坊基金会宣布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的方法。（链闻）
来源：bitcoin86
来源：中币网 https://www.zhongbi.net/news/shanzhaibi/176122.html 声明：登载此文仅出于分享区块链知识，并不意味着赞同其观点或证实其描述。文章内容仅供参考，不构成投资建议。投资者据此操作，风险自担。 此文如侵犯到您的合法权益，请联系我们3111859717@qq.com，我们将第一时间处理。
