以太坊基金會:ETH2.0存款合約字節碼的審計和形式化驗證已完成

以太坊基金會:ETH2.0存款合約字節碼的審計和形式化驗證已完成

免責聲明:本文旨在傳遞更多市場信息,不構成任何投資建議。文章僅代表作者觀點,不代表火星財經官方立場。

以太坊基金会:ETH2.0存款合约字节码的审计和形式化验证已完成

文 | 梁雨山

火星財經APP(微信:hxcj24h)一線報道,2月5日,據以太坊基金會官方消息,以太坊2.0存款合約字節碼的審計和形式化驗證已經完成。(注:以太坊2.0存款智能合約通過Vyper語言編寫,可記錄交易歷史並將資金鎖定在以太坊1.0鏈上,以便未來在信標鏈上進行贖回)

以太坊基金会:ETH2.0存款合约字节码的审计和形式化验证已完成

以太坊基金會指出,這是重要的里程碑,使項目可以更接近ETH 2.0主網的第0階段。目前這項工作已經完成,我們希望社區進行評論及審查,如果正式規範中有缺陷或錯誤,可在eth2 specs repo中提交。

此前,技術初創公司Runtime Verification於1月24日宣佈成功完成以太坊2.0存款合約的形式驗證。當時,該公司透露,“雖然我們在存款合約形式驗證的過程中發現幾個重大問題,其中部分問題是由隱藏的Vyper編譯器bug引起,但是在最新的版本(v0.10.0)中,所有的存款合約問題都得到了適當修復。”

根據trustnodes日前發佈消息,以太坊2.0協調員Danny Ryan曾透露,以太坊2.0審計報告下週公佈,“一旦存款合約發佈,我們就能知道新的區塊鏈將存入多少ETH。”

據瞭解,自進入2020以來,除技術方面的進展外,以太坊在二級市場方面的表現同樣引人關注。1月14日,ETH快速上漲,價格自143美元升至170美元上方,日內漲超15%。在接下來的交易日內,ETH價格逐步回升,重回去年11月水平。另據數據顯示,年初至今,ETH平均交易規模增長122%,大型交易數量增長169%。IntoTheBlock數據顯示,自年初以來,以太坊網絡上平均交易規模增長122%以上,以太坊網絡上大型交易數量從1月1日的130個增至2月2日的350個,漲幅高達169%。

截至發稿,ETH報價191美元,24小時上漲1.73%。


分享到:


相關文章: