圖片來源：pixabay
根據Trustnodes 12月6日報導，以太坊2.0研究員丹尼·瑞安（Danny Ryan）表示，以太坊2.0的儲存合約，似乎還不太可能在本月推出，因為相關報告尚未發布。
Ryan說道：「Runtime Verificaton將在本月內發布其完整的形式驗證、分析和報告。一旦發布，我們就可以部署合約。在我們透過一個公共的多客戶端測試網，來檢查這個過程之前，我有點猶豫要不要部署正式合約。也就是說，我不認為該組件會有什麼特別的問題，因為有許多單客戶端測試網正在按原樣使用存款合約。我知道這個項目對社群來說很重要，它標誌著一切正在向前發展。一旦本月Runtime Verificaton的報告出來，我們就可以討論一個好的啟動日期。」
Runtime Verificaton自稱擁有「形式建模、分析、安全、確認與較證」的經驗，因此他們現在正在進行審計、建模等工作。
「我們與美國國家航空暨太空總署（NASA）、美國國防高等研究計劃署（DARPA）、波音公司（Boeing）和豐田公司（Toyota）合作，對安全和關鍵任務系統進行形式化和驗證。我們還與IOHK和以太坊基金會（Ethereum Foundation）合作，不僅對智慧合約進行形式化建模和驗證，還對協議、編程語言和虛擬機進行形式建模和驗證。」
Ryan表示，所有這些工作，包括這份報告，應該會在一個月內完成。接下來就看他們的結果了。如果有問題需要解決，那就還需要一段時間。根據上述情況我們估計，存款合約最早可能在1月下旬或2月份推出。
在此之前，存款合約自然需要通過一個測試網，目前還不清楚以太坊2.0多客戶端測試網何時推出。
然而，一個針對Prysmatic Labs特定的單客戶端信標鏈（Beacon Chain）測試網的瀏覽器已上線。
Lighthouse最近也發布了他們的單客戶端公共測試網，他們的代碼也正在進行審計。因此，按目前進度估計，以太坊2.0創世區塊，最早將在今年冬季發布測試版，明年春季啟動主網。事情正在發展，所有這一切正在進入最後階段。
本文為巴比特資訊授權刊登，原文標題為「以太坊2.0存儲合約進入形式驗證階段，信標鏈測試網瀏覽器上線」