Ethereum 2.0 storage contract enters formal verification phase, beacon chain testnet browser goes online

According to Trustnodes reported on December 6, Ethereum 2.0 coordinator Danny Ryan said that it seems unlikely that Ethereum 2.0's storage contract will be launched this month because the report has not yet been released.


Image source: pixabay

Danny Ryan says:

"Runtime Verificaton will release its full formal verification, analysis and report within this month. Once released, we can deploy the contract.

Before we check this process through a public multi-client testnet, I was a bit hesitant to deploy a formal contract. That said, I don't think there will be any particular problems with this component, as there are many single-client testnets that are using deposit contracts as is.

I know this project is important to the community and it signals that everything is moving forward. Once this month's Runtime Verificaton report comes out, we can discuss a good launch date. "

Runtime Verificaton claims to have "formal modeling, analysis, security, validation, and verification" experience, so they are now working on auditing, modeling, and more.

"We work with NASA, the Defense Advanced Research Projects Agency (DARPA), Boeing, and Toyota to formalize and validate safety and mission-critical systems. We also In cooperation with IOHK and the Ethereum Foundation, not only formal modeling and verification of smart contracts, but also formal modeling and verification of protocols, programming languages ​​and virtual machines. "

Ryan said all of this work, including this report, should be completed within a month. It depends on their results. If problems need to be resolved, it will take some time. Based on the above, we estimate that the deposit contract may be launched as early as late January or February.

Prior to this, the deposit contract naturally needed to pass a testnet, and it is unclear when the Ethereum 2.0 multi-client testnet will be launched.

However, a browser for the Prysmatic Labs specific single-client Beacon Chain testnet is live.

Lighthouse also recently released their single-client public testnet, and their code is undergoing audits. Therefore, according to the current progress estimate, the Ethereum 2.0 genesis block will be released as soon as this winter, and the mainnet will be launched next spring. Things are moving and all of this is entering its final stages.

We will continue to update Blocking; if you have any questions or suggestions, please contact us!


Was this article helpful?

93 out of 132 found this helpful

Discover more


Cardano (ADA) Faces Price Dip Amid Crypto Sell-Off and Macro Headwinds

On Wednesday, Cardano (ADA) experienced a decrease of 7.5% in value. This cryptocurrency is the driving force behind ...


Emerging economies in Africa, South Asia, and Southeast Asia are leading the global trend of cryptocurrencies.

Emerging markets offer unique opportunities for the development of cryptocurrencies and blockchain technology.


Cardano Price Analysis: Expert Predicts a Strong Bull Run

According to respected crypto analyst Ali Martinez, Cardano (ADA) is expected to see a strong long-term price growth,...


Cardano (ADA) Price Breakout: History May Repeat Itself 🚀📈

According to an analyst, Cardano's price has the potential to surpass $8 based on historical patterns. This suggests ...


Bitcoin Price Analysis: Bulls and Bears Battle for Control

Bitcoin's quick rebound to $42,000 may indicate a resurgence of bullish activity, boosting optimism and potential for...


From EOS, Sun Yuchen and Ownen Cong, ADA founder Charles Hoskinson took turns to diss it again.

The dilemma of EOS seems to be far from cooling.'s June conference did not release "disruptive&qu...