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

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

圖片來源：pixabay

以太坊基金會分配94.8萬美元獎勵給Layer2社區的22個項目:金色財經報道，以太坊基金會隱私與擴展探索團隊公布2022年Layer2社區受贈項目名單，Candidelabs、Quantstamp、Spiro、SoulWallet等22個項目共分配94.8萬美元的總獎金。

據悉，Layer 2 Community Grants輪次于2022年10月24日開始，為期6周，共收到130多個提案。由于提案質量較高，以太坊基金會將預算從最初的75萬美元提高到了94.8萬美元。[2023/2/15 12:07:45]

丹尼·瑞安說道：

Premia上線Arbitrum 48小時內TVL超過其以太坊主網:12月2日消息，據分析師Krugman援引數據顯示，去中心化期權協議Premia上線Arbitrum兩天內TVL達到779萬美元，超過其在以太坊主網的TVL（650萬美元）。目前Premia在多條鏈上的TVL總和達到1430萬美元，已逼近鏈上期權協議Hegic（1705萬美元）。[2021/12/2 12:46:58]

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

以太坊2.0開發團隊正式發布ETH 2.0主網配置測試網:4月15日，以太坊2.0構建團隊Prysmatic Labs發布以太坊2.0主網配置測試網Topaz。據官方介紹，Topaz測試網是唯一的完整的ETH 2.0主網配置測試網；實現32ETH存款驗證機制（驗證者必須將全部32枚ETH放在Goerli ETH1測試網上才能參與驗證）；此外，Prysmatic Labs官方表示，將于北京時間4月16日8:00關閉Sapphire驗證器，并開啟Topaz創始存款，并將開啟大規模發送交易已啟動測試網絡。對此，V神發推提醒稱，Topaz還并非“多客戶端測試網”，同時官方將很快重啟測試網一兩次，以便更多地測試創始機制。[2020/4/15]

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

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

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

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

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

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

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

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

Tags：以太坊ETHABSPAZ以太坊交易所app下載togetherbnb游戲截圖LABS幣PAZZI價格

BNB