鏈聞消息，以太坊基金會宣佈 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 的方法。

來源鏈接