Formal verification of the Ethereum 2.0 deposit contract, ETH to PoS into the countdown?

According to the agenda of the Devcon 5 conference held in Osaka, Japan from October 8th to October 11th, “Ethereum 2.0” became the main topic of this developer conference.

And there are indications that the Ethereum 2.0 platform is expected to go live in the first quarter of next year.

According to Ethanfang 2.0 developer Danny Ryan, the ETF 2.0 deposit contract has been “formalized”.

It is reported that Etherfang 2.0's deposit intelligence contract is written in Vyper language, and Vyper is a smart contract programming language similar to Solidity, but it is more like python in syntax, Ryan explained:

"After identifying and fixing a Vyper compiler vulnerability, the deposit contract has been formally verified, and when the (BLS) standardization work is completed, the contract can be started."


Currently, developers are completing the standardization of the BLS signature scheme, and this cryptography scheme has been adopted by some new blockchain projects.

In this regard, Ben Edgington, developer of Ethereum 2.0 client PegaSys, said:

“It makes sense to adopt a common approach to facilitate future interoperability.”

Ryan added:

“Although the BLS signature standardization work is nearing completion, we can't deploy the contract until the signature scheme is considered stable.”

Last month, Edgington said that changes to the BLS should take weeks to complete, and the deposit contract is likely to be available shortly after the start of the Ethereum Devcon conference.

Ethereum 2.0 also needs to go through a test period of about 3 months before upgrading

In fact, the launch time of Ethereum 2.0 will depend more on the speed at which users deposit ETH into the deposit contract, and the start of the beacon chain requires ETH in the deposit contract to reach 3 million.

In the early days, this transfer was only one-way, which meant that the coins on the beacon chain could not be transferred back to the Ethereum 1.0 PoW chain.

In addition, Ethereum co-founder Vitalik Buterin presented the ETS 2.0 chain related benefits last month, which helps participants better understand Ethereum 2.0.



Since 2.0 is a brand new blockchain, this means there will be new founding blocks. Before it was founded, we still had to wait for test networks from multiple clients, and developers are expected to release them soon.

Assuming everything goes well, the test network should be enough after three months of public testing.

Then, the Ethereum 2.0 beacon chain was officially launched.