以太坊2.0存儲合約進入形式驗證階段，信標鏈測試網瀏覽器上線_以太坊:TIME

據Trustnodes12月6日報道，以太坊2.0協調員丹尼·瑞安表示，以太坊2.0的存儲合約似乎還不太可能在本月推出，因為有關報告尚未發布。

圖片來源：pixabay

以太坊L2網絡總鎖倉量為56.5億美元:金色財經報道，L2BEAT數據顯示，截至3月12日，以太坊Layer2上總鎖倉量為56.5億美元。其中鎖倉量最高的為擴容方案Arbitrum，約32億美元，占比56.68%；其次是Optimism，鎖倉量為16.3億美元，占比28.99%；第三為dYdX，鎖倉量為2.88億美元，占比5.1%.[2023/3/12 12:58:08]

丹尼·瑞安說道：

以太坊開發者計劃于Q3進行Eth1和Eth2合并的狀態同步:官方消息，7月1日，以太坊開發者進行Eth1和Eth2合并電話會議，計劃于Q3進行：合并的狀態同步；共識API（執行/共識團隊都在這方面工作）、本季度晚些時候的測試網、在執行客戶端中包括倫敦升級、在共識客戶端包括Altair升級、整合Eth1和Eth2測試。[2021/7/6 0:31:30]

“RuntimeVerificaton將在本月內發布其完整的形式驗證、分析和報告。一旦發布，我們就可以部署合約。

動態 | 以太坊鏈上逾900萬枚USDC被銷毀:據Whale Alert監測， 北京時間9月4日15點03分，以太坊鏈上9,008,180 枚USDC被銷毀。[2019/9/4]

在我們通過一個公共的多客戶端測試網來檢查這個過程之前，我有點猶豫要不要部署正式合約。也就是說，我不認為該組件會有什么特別的問題，因為有許多單客戶端測試網正在按原樣使用存款合約。

我知道這個項目對社區來說很重要，它標志著一切正在向前發展。一旦本月RuntimeVerificaton的報告出來，我們就可以討論一個好的啟動日期。”

RuntimeVerificaton自稱擁有“形式建模、分析、安全、確認與較證”的經驗，因此他們現在正在進行審計、建模等工作。

“我們與美國國家航空航天局、美國國防部高級研究計劃局、波音公司和豐田公司合作，對安全和關鍵任務系統進行形式化和驗證。我們還與IOHK和以太坊基金會合作，不僅對智能合約進行形式化建模和驗證，還對協議、編程語言和虛擬機進行形式建模和驗證。”

瑞安表示，所有這些工作，包括這份報告，應該會在一個月內完成。接下來就看他們的結果了。如果有問題需要解決，那就還需要一段時間。根據上述情況我們估計，存款合約最早可能在1月下旬或2月份推出。

在此之前，存款合約自然需要通過一個測試網，目前還不清楚以太坊2.0多客戶端測試網何時推出。

然而，一個針對PrysmaticLabs特定的單客戶端信標鏈測試網的瀏覽器已上線。

Lighthouse最近也發布了他們的單客戶端公共測試網，他們的代碼也正在進行審計。因此，按目前進度估計，以太坊2.0創世區塊最早將在今年冬季發布測試版，明年春季啟動主網。事情正在發展，所有這一切正在進入最后階段。

Tags：以太坊ETHTIMTIME以太坊價格最新行情分析togetherbnb游戲全攻略第二部分Timo ProtocolsXTIME

聚幣