以太坊2.0存款合約完成形式化驗證，ETH轉PoS進入倒計時？_區塊鏈

Author：

Time：1900/1/1 0:00:00

據10月8日-10月11日在日本大阪舉行的Devcon5會議的議程顯示，“以太坊2.0”成為了這屆開發者大會的主要話題。

而種種跡象表明，以太坊2.0平臺有望在明年第一季度上線。

據以太坊2.0開發者DannyRyan表示，以太坊2.0的存款合約已完成“形式化驗證”。

據悉，以太坊2.0的存款智能合約是通過Vyper語言編寫的，而Vyper是一種類似于Solidity的智能合約編程語言，但它在語法上更像是python，對此，Ryan解釋稱：

富蘭克林鄧普頓：像比特幣和以太坊只是這個數字生態系統發展的開始:金色財經報道，富蘭克林鄧普頓數字資產主管 Roger Bayston 強調，像比特幣和以太坊這樣的加密貨幣只是這個數字生態系統發展的開始。鑒于區塊鏈在推動這種增長中發揮的重要作用，沒有區塊鏈的數字時代似乎是一個挑戰。因此，未來似乎將區塊鏈技術嵌入其網絡，在數字經濟的進步與穩定之間保持著關鍵的平衡。[2023/6/21 21:51:05]

“在識別并修復了一個Vyper編譯器漏洞之后，存款合約已完成形式化驗證，而當標準化工作完成之后，合約就可以啟動了。”

聲音 | 外媒：以太坊2.0代碼審計工作將在明年2月完成:據Trustnodes報道，以太坊基金會核心研究員Danny Ryan在最新的以太坊2.0進展報告中公開表示：“一切正在成為現實。” 他說安全審計公司Least Authority將對“以太坊2.0核心客戶端階段0的各項規范進行全面的安全審計，重點關注一些關鍵項目，如拒絕服務（DoS）攻擊、可能導致意外分叉/對抗鏈的資源濫用攻擊、網絡相關攻擊、任何影響資金的攻擊等等”。 Danny Ryan表示，審計的初步報告預計“將于2月初公布”，目前已接近最后階段。[2019/12/22]

動態 | FOMO智能合約使以太坊交易費用大幅增加:據CCN消息，FOMO游戲智能合約再次占據以太坊網絡，造成大面積擁堵。截止今天凌晨，FOMO推出的新游戲LastWinner占據了以太坊網絡20%的gas消耗，三小時后上漲到36.41%以上。網絡擁堵將ETH交易費用推高至0.50美元以上，而在此之前只有0.01美元。[2018/8/17]

目前，開發者們正在完成BLS簽名方案的標準化工作，而這種密碼學方案已得到了一些新區塊鏈項目的采用。

對此，以太坊2.0客戶端PegaSys的開發者BenEdgington表示：

“采用一種通用的方法來促進未來的互操作是有意義的。”

Ryan則補充說：

“盡管BLS簽名標準化工作已接近完成，但在簽名方案被認定為穩定之前，我們還不能部署合約。”

上個月，Edgington表示BLS的更變應該需要幾個星期就可以完成，而存款合約很可能會在以太坊Devcon大會開始后不久便可以推出。

以太坊2.0升級前還需要經歷大約3個月的測試期

實際上，以太坊2.0的推出時間，更多地會取決于用戶將ETH存入到存款合約中的速度，而信標鏈的啟動就需要存款合約中的ETH達到300萬。

而在初期，這種轉移只是單向的，這意味著信標鏈上的幣無法轉回到以太坊1.0PoW鏈。

另外，以太坊聯合創始人VitalikButerin在上個月提出了以太坊2.0鏈的相關收益情況，這有助于參與者更好地了解以太坊2.0。