Bitcoinist.net:

ethereum 2.0 verified

Development on Ethereum 2.0 is continuing to break new grounds as one of the most important smart contracts for the network has just been successfully verified.

Ethereum 2.0 Deposit Contract Ready
Tech startup Runtime Verification has reported the successful completion of formal verification of the Ethereum 2.0 deposit contract.
“Although we found several critical issues of the deposit contract during the formal verification process, some of which were due to subtle hidden Vyper compiler bugs, all of the issues of the deposit contract have been properly fixed in the latest version (v0.10.0),”
According to the announcement, the deposit contract is a ‘gateway’ to join Ethereum 2.0. Validators on the new proof of stake Beacon Chain need to deposit some ETH by sending a transaction over the Ethereum 1 network to the deposit…

Click to continue reading on its source location…

Source: https://bitcoinist.com/ethereum-2-0-gateway-successfully-verified/