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.

ethereum-3660218_960_720

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!

Share:

Was this article helpful?

93 out of 132 found this helpful

Discover more

Bitcoin

The Ripple case: Over or Underdog Victory?

Missed the latest in crypto this weekend? Catch up on the top stories here!

Blockchain

Bakkt also can't impact traditional cryptocurrency futures trading? - Coin, OKex, Matcha, and the same station

Text | Mutual Chain Pulse · Liang Shan Hua Rong Mutual chain pulse: Although Bakkt has not been able to detonate...

Blockchain

PAData: FCoin potential victims or more than 2000 people, per capita loss or more than 25 BTC

Analyst | Carol Editor | Bi Tongtong Production | PANews Data Partner | Chain.info On February 17, the FCoin, which w...

Blockchain

DeSpread Research Data Analysis of Centralized Exchanges and Investor Behavior in South Korea

According to a survey by the Korea Financial Intelligence Unit (KoFIU), it is expected that the number of cryptocurre...

Blockchain

The Bitcoin exchange is very hot, but the soil of the economics is very thin.

According to the coinmarketcap market data, the trading volume of Bitcoin in the past month exceeded the intra-month ...