Ethereum 2.0 Has Made Some Critical Advances

The deposit smart contract for Ethereum 2.0 has completed formal verification and audit of the bytecode. Continued optimizations to ETH 2.0’s beacon chain are also underway.  Ethereum 2.0 is Getting Closer to Reality Formal Verification (FV) is essential to production…