據官方消息，
以太坊基金會宣布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的方法。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
