LOADING...
LOADING...
LOADING...
當前位置: 玩幣族首頁 > 區塊鏈資產 > 以太坊2.0存儲合約進入形式驗證階段,信標鏈測試網瀏覽器上線

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

2019-12-06 Libert 來源:區塊鏈網絡

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

ethereum-3660218_960_720

圖片來源:pixabay

丹尼·瑞安說道: “Runtime Verificaton將在本月內發布其完整的形式驗證、分析和報告。一旦發布,我們就可以部署合約。

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

我知道這個項目對社區來說很重要,它標志著一切正在向前發展。一旦本月Runtime Verificaton的報告出來,我們就可以討論一個好的啟動日期。” Runtime Verificaton自稱擁有“形式建模、分析、安全、確認與較證”的經驗,因此他們現在正在進行審計、建模等工作。 “我們與美國國家航空航天局(NASA)、美國國防部高級研究計劃局(DARPA)、波音公司(Boeing)和豐田公司(Toyota)合作,對安全和關鍵任務系統進行形式化和驗證。我們還與IOHK和以太坊基金會(Ethereum Foundation)合作,不僅對智能合約進行形式化建模和驗證,還對協議、編程語言和虛擬機進行形式建模和驗證。” 瑞安表示,所有這些工作,包括這份報告,應該會在一個月內完成。接下來就看他們的結果了。如果有問題需要解決,那就還需要一段時間。根據上述情況我們估計,存款合約最早可能在1月下旬或2月份推出。

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

然而,一個針對Prysmatic Labs特定的單客戶端信標鏈(Beacon Chain)測試網的瀏覽器已上線。

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

—-

編譯者/作者:Libert

玩幣族申明:我們將尊重作者/譯者/網站的版權,促進行業健康發展,如有錯誤或不完整之處請與我們聯系。

LOADING...
LOADING...
新快3