Ethereum 2.0 mortgage contract is ready

The ETH 2.0 mortgage contract (deposit contract) has passed the last hurdle and has been formally verified end-to-end called "Runtime Verification". This means that the mortgage contract is now executable and it is unclear whether it will be launched on the testnet first or directly on the mainnet. Earlier, ETH 2.0 coordinator Danny Ryan said last month that Runtime Verificaton will release its full formal verification, analysis and report within one month. Once released, the contract can be deployed.