One of the most important smart contracts for the Ethereum 2.0 network has been successfully verified. The Runtime Verification Startup reported the successful completion of the formal verification of the Ethereum 2.0 deposit agreement.
“Although we encountered several critical problems of the deposit contract during the formal verification process, some of them being due to minor bugs of the Vyper compiler, all the problems of the deposit contract were corrected in the latest version (v0.10.0 ) “.
According to the announcement, the smart deposit agreement is an “gateway” to Ethereum 2.0. Validators on the new Beacon Chain, based on the Proof-of-stake algorithm, must submit ETH, sending a transaction through the Ethereum 1.0 network to the deposit agreement.
Smart warehouse contract uses – a big step towards Ethereum 2.0
The deposit agreement records the transaction history and locks these deposits in the ETH 1.0 chain for later request on the Beacon chain. The smart contract uses the Merkle tree data structure to efficiently store the deposit history.
ETH 2.0 coordinator Danny Ryan confirmed that official verification was the last hurdle, adding:
“This is the main audit / verification. The contract and the official verification activity are now for public review. “
There are no other audits planned for the deposit contract, although there are still two expected for Beacon Chain in February, according to Trustnodes.
At the beginning of the year, nine independent teams started working on phase 0 implementation of Beacon Chain. It is expected that it will be released in the second quarter of this year, according to Josh Stark’s annual Ethereum program.
Last week it was reported that 22,000 active validators were running the first Ethereum 2.0 client on the testnet.
Related posts:
GitHub Libra Code draws criticism from users 
Tipping on Reddit and Vimeo in BAT introduced by Brave 
Newcomers to the crypto market have to pay attention to scams and pump and dumps 
Hardly any growth in downloaded crypto apps, despite tripling price bitcoin 
Bloomberg accepts Bitcoin – says cryptomonads are here to stay 
The Central Bank can release their cryptocurrencies earlier than expected
