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

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

圖片來源：pixabay

以太坊網絡當前已銷毀超218萬枚ETH:金色財經報道，據Ultrasound數據顯示，截止目前，以太坊網絡總共銷毀2,181,427.53?枚ETH。其中，OpenSea銷毀230,047.27枚ETH，ETHtransfers銷毀205,677.70枚ETH，UniswapV2銷毀131,327.89枚ETH。注：自以太坊倫敦升級引入EIP-1559后，以太坊網絡會根據交易需求和區塊大小動態調整每筆交易的BaseFee，而這部分的費用將直接燃燒銷毀。[2022/5/1 2:42:56]

丹尼·瑞安說道：

數據：以太坊上DeFi協議總鎖倉量約合141.8億美元:據歐科云鏈OKLink數據顯示，截至今日18時，以太坊上DeFi協議總鎖倉量約合141.8億美元。其中排名前三的分別是Uniswap V2 30.3億美元（+3.45%），Maker 21.7億美元（3.42%）以及WBTC 19.1億美元（+7.98%）。以太坊上的DeFi協議總鎖倉量整體依舊保持相對穩定的態勢。[2020/11/6 11:52:07]

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

行情 | 以太坊未確認交易74682筆:根據etherscan.io數據顯示，目前以太坊的網絡未確認交易筆數為74682筆，網絡擁堵嚴重。[2018/11/12]

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

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

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

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

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

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

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

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

Tags：以太坊ETHEVERVER以太坊幣最高價格是多少錢eth官網德國babyeverdoge幣發行量MoonRetriever

萊特幣