O očekávaném update pro druhou největší kryptoměnu současnosti píšeme stále častěji. Ethereum 2.0 bude znamenat obrovský posun vpřed pro celou síť a ekosystém decentralizovaných aplikací, které na ní fungují. Přechod z klasického způsobu těžby pomocí GPU na staking je o hodný kus blíže poté, co společnost Runtime Verification dokončila formální verifikaci Ethereum 2.0 depozit smart … Pokračování textu Ethereum 2.0 o kus blíže – Depozit smart kontrakt je formálně verifikovaný!