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 […] Click here to view full article Tags:ethether