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

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

圖片來源：pixabay

以太坊L2網絡總鎖倉量為62.7億美元:金色財經消息，L2BEAT數據顯示，截至4月30日，以太坊Layer2總鎖倉量為62.7億美元，7天減少3.26%。其中鎖倉量最高的為Arbitrum，約35.6億美元，占比56.76%；其次是dYdX，鎖倉量為9.97億美元，占比15.9%；第三為Optimism，鎖倉量為6.61億美元，占比10.54%。[2022/4/30 2:42:28]

丹尼·瑞安說道：

比特幣和以太坊總鎖倉量突破50億美元:根據DeFiPulse數據，鎖定在去中心化金融協議中以太坊和比特幣（主要是以太坊）總價值已超過50億美元。據悉，本次總鎖倉量的增長主要來自于8月14日這天，當日由于一些DeFi協議在產品路線圖上取得了較大進展（比如穩定幣交換平臺Curve Finance推出CRV代幣和去中心化自治組織CurveDAO，），以及ETH代幣價格超過420美元，導致以太坊和比特幣總鎖倉量增幅超過10%。（decrypto）[2020/8/15]

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

行情 | 以太坊網絡擁堵嚴重:據Etherscan.io數據顯示，以太坊未確認交易筆數為82660。近期以太坊未確認筆數由42118快速上升至82660，上升幅度約為96.26%，當前以太坊網絡擁堵嚴重。[2018/9/1]

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

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

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

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

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

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

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

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

Tags：以太坊TIMRIFIUNT以太坊交易所OPTIMUSAIrifi幣前景BHUNT幣

AAVE