以太坊2.0存款合約完成形式化驗證，ETH轉PoS進入倒計時？_以太坊:Magic Ethereum Money

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解釋稱：

V神等八位以太坊基金會成員確認出席五月在黑山舉辦的以太坊大會EDCON 2023:4月17日消息，以太坊大會EDCON（Community Ethereum Development Conference）將于2023年5月19日至23日在黑山共和國首都波德戈里察舉辦，已確認受邀出席本次會議的演講嘉賓包括V神等八位以太坊基金會成員、Coinbase前CTOBalajiSrinivasan、Gitcoin聯創Scott Moore、Stark Ware聯創EliBen-Sasson、MatterLabs聯創Alex Gluchowski以及Polygonzk EVM技術主管等。這也是自2月12日Vitalik Buterin在丹佛接受彭博社采訪以來，首次公開露面參與活動。EDCON是由Linktime、DeUniversityofEthereum和ETHPlanet組織的非營利性全球年度以太坊會議。自2017年以來，已吸引了超10,000名參會者、2000多名開發人員、300多名演講者、450多個項目、400多個支持者和300,000的在線觀看量。EDCON致力于服務以太坊生態系統，促進全球以太坊社區的互動和交流。[2023/4/17 14:08:19]

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

Nimbus加入以太坊基金會PortalNetwork團隊，研發輕客戶端:以太坊2.0客戶端Nimbus宣布加入以太坊基金會PortalNetwork團隊，研發輕客戶端。目前Nimbus上已開發出一種稱為Fluffy的操作模式，與Ethereum1客戶端并存，Fluffy將使Nimbus-eth1客戶端作為網絡中的一個超輕節點運行。團隊表示下一步將處理由PortalWire協議提供的數據，最終使輕客戶端支持以太坊JSON-RPCAPI，以便錢包與輕客戶端直接整合。[2021/6/23 23:57:56]

V神在日本公開出席官方活動希望以太坊能解決全球不平等問題:3月29日，以太坊開發者V神在東京大學本鄉校區公開出席官方活動，并進行演講，參與人數高達500余人。以太坊基金會的宮口綾表示：希望可以通過以太坊技術解決全球范圍內的不平等問題，并對日本國內培養以太坊工程師和社區運營等事宜給予期望。[2018/3/30]

目前，開發者們正在完成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。