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

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

圖片來源：pixabay

以太坊L2網絡總鎖倉量為37.4億美元:金色財經消息，據L2BEAT數據顯示，截至目前，以太坊Layer2上總鎖倉量為37.4億美元，近7日下跌8.61%。其中鎖倉量最高的為擴容方案Arbitrum，約19.3億美元，占比51.71%。其次是Optimism，鎖倉量7.15億美元，占比19.08%。dYdX占據第三，鎖倉量6.19億美元，占比16.54%。[2022/7/2 1:46:04]

丹尼·瑞安說道：

分析 | 以太坊30天ROI保持穩定 主流交易所相關交易量表現萎靡 ?:據 TokenGazer 數據分析顯示，截止至 10?月 14?日 11 時，以太坊價格為$182.53，總市值為$19,760.92M，主流交易所24H交易量約為$51.41M，表現較為萎靡；近期以太坊對比特幣匯率保持穩定；基本面方面，以太坊鏈上交易量、鏈上DApp交易量持續下滑、算力穩定波動、新增地址增長速度下滑；以太坊 30 天開發者指數約為 2.24；以太坊與 BTC 180 天關聯度持續下滑，30 天 ROI保持穩定；ERC20 代幣總市值約為以太坊總市值的 58.97%，持續增長。[2019/10/14]

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

動態 | 以太坊總供應的1%被鎖定在MakerDAO智能合約中:據CCN消息，MKR.tools創建者Mike McDonald昨日發推文警示，根據以太坊區塊鏈，大約有一百萬以太坊，或者說以太坊總供應的近1%現在已經被鎖定在了MakerDAO智能合約中。[2018/11/15]

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

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

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

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

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

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

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

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

Tags：以太坊TIMUNTIME怎么得到以太坊幣ShowtimeGreenheart PuntIMEXCOIN

USDT