Another step closer, Ethereum 2.0 "channel" is verified

The development of Ethereum 2.0 is constantly achieving new breakthroughs, and one of the most important smart contracts of the network has just been successfully verified.

Technology startup Runtime Verification has successfully completed the formal verification of the Ethereum 2.0 deposit contract.

ethereum

"Although we found several major issues during the verification of the deposit contract form, some of them were caused by hidden Vyper compiler bugs, but in the latest version (v0.10.0), all deposit contract issues Have been properly repaired. "

According to the company's announcement, the deposit contract is a "channel" to participate in Ethereum 2.0. Validators on the new PoS beacon chain need to send transactions to the deposit contract via the Ethereum 1.0 network to deposit ETH.

The deposit contract will record the transaction history and lock these funds on the Ethereum 1.0 chain for future redemption on the beacon chain. This type of smart contract uses a Merkle tree data structure, which can effectively store deposit history.

Ethereum 2.0 coordinator Danny Ryan confirmed that this formal verification is the last obstacle to (Ethereum 2.0), he added:

"This is the main review and verification. This contract and formal verification process is now undergoing public review."

There are currently no other audit plans for this deposit contract, but two audits on the beacon chain are expected in February.

It was reported last week that 22,000 active validators were running the first Ethereum 2.0 client on the test.

1

These client testnets may begin to connect with each other before the genesis block testnet, which heralds the implementation of the first PoS deployment.

Earlier this year, nine independent teams began to deploy the beacon chain of Phase 0, which is expected to be released in the second quarter of this year.

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

Opinion

Former close friend to testify against SBF, list of other witnesses revealed.

SBF's trial started on October 2nd, and his once closest friends will testify in court, becoming his biggest threat. ...

Blockchain

Number said | In the first half of 2019, blockchain private placement financing of 11.851 billion yuan exceeded 60% of funds invested in the US market

As the cryptocurrency undergoes the “Bear Bull” conversion, the blockchain private equity financing mar...

Blockchain

Coinbase's effect on the currency is not strong, mainly because the market is at work.

Coinbase is one of the most influential compliance exchanges in the world, providing multiple French currency channel...

Blockchain

The wave of "absolute deflation" of platform currency is coming. How should the exchange make a choice?

This article Source: Odaily Daily Planet , author: the the Platform currency refers to tokens issued by digital asset...

Blockchain

Bella Fang: The exchange is at the top of the food chain. How can small and medium-sized projects seize this channel?

On the afternoon of the 9th, at the 2nd Global Blockchain Summit·Wuzhen site hosted by Babbitt, Bella Fang, foun...

Market

With the entry of big players and the halving narrative, is now the best time to buy Bitcoin?

Using the term "ups and downs" to describe the trend of BTC since June is not an exaggeration, or more precisely, it ...