Ethereum 2.0 macht bedeutenden Fortschritt mit formaler Verifikation des Deposit Smart Contracts – Crypto News Flash