ETH2.0 Deposit Contract successfully passes Formal Verification
23 Jan 2020 1 minute read 0 comments Tokenhell.com
The formal verification of the Ethereum 2.0 deposit contract has been passed successfully. Now Ethereum deposit contract is ready to go. Ethereum 2.0 deposit contract is considered one of the most important smart contracts for the network and now it...