Ethereum 2.0 continues to make great progress. Runtime Verification Inc. has successfully completed the formal verification of the Ethereum 2.0 deposit contract. The user interface for the deposit […] Click here to view full article Tags:ethetherethereum blockchain