以太坊 2.0 又一里程碑，存款合約字節碼完成形式化驗證_以太坊:ETH2價格

以太坊基金會昨日宣布ETH2.0存款合約字節碼的審計和形式化驗證已經由技術團隊RuntimeVerification完成。以太坊基金會表示，這是一個重要的里程碑，使得項目更接近ETH2.0主網的第0階段，但以太坊基金會依舊希望其他專業人士或者社區可以對于形式化驗證提供更多反饋，可以在代碼庫提交相關問題。除此之外，以太坊基金會表示雖然ETH2.0的第2階段核心原則已經被定義清楚，但其具體設計還是相對開放的，Quilt和eWASM在最近一年里已經花了非常多的精力研究，而新成立的TXRX會將一部分精力投入到第2階段的研發中，最初的重點將會放在更好地了解跨分片交易的復雜性，以及研究和原型化將ETH1.0集成到ETH2.0的方法。

以太坊2023年學術資助計劃共向43個項目分配超200萬美元:6月29日消息，以太坊基金會公布2023年學術資助受贈項目及分配信息，共收到250多份申請，并向多個類別的來自21個國家的43個項目提供了超過200萬美元的資助。受贈類別分為密碼學、經濟與MEV、執行層、形式驗證、P2P網絡、安全、社會與監管，獲贈項目包括ZK-Harness、Ethereum Postdoctoral Scholar（Legal）等。[2023/6/29 22:07:30]

Mark Cuban一個以太坊錢包中超一半資產為USDC:金色財經消息，EtherScan數據顯示，NBA達拉斯獨行俠隊老板馬克·庫班Mark Cuban之前公開的一個以太坊錢包中擁有約45.55萬美元的資產，其中持有價值最多的資產是USDC，約為260629.77枚，價值占其投資組合的57%。（TheDailyHodl）[2022/4/26 5:11:36]

數據：以太坊鯨魚在過去24小時內增持1899990枚MATIC，價值逾440萬美元:12月8日消息，據加密鯨魚追蹤器WhaleStats稱，在過去24小時內，兩位以太坊鯨魚增持了1,899,990枚MATIC（價值約4,417,976美元）。在WhaleStats跟蹤的最大的1000個以太坊錢包中，有兩個剛剛購買了90萬和999,990枚MATIC代幣，分別價值2087,999美元和2329,977美元。（U.Today）[2021/12/8 12:59:23]

Tags：以太坊ETHETH2ETH2.0怎么得到以太坊幣呢EthereumPoWETH2價格eth2.0幣價

芝麻開門交易所下載