ETH2.0 Deposit Contract successfully passes Formal Verification

  tokenhell.com 24 January 2020 11:57, UTC