The ethereum 2.0 deposit contract has passed the last hurdle with an end to end formal verification by the aptly named Runtime Verification. “All the bugs of the deposit contract...The post Ethereum 2.0 Deposit Contract Ready to Go as Formal Verification Passed appeared first on Trustnodes.