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,Read More The post appeared first on Bitcoinist.com.