O očakávanom update pre druhú najväčšiu kryptomenu súčasnosti píšeme stále častejšie. Ethereum 2.0 bude znamenať obrovský posun vpred pre celú sieť a ekosystém decentralizovaných aplikácií, ktoré na nej fungujú. Prechod z klasického spôsobu ťažby pomocou GPU na staking je o hodný kusisko bližšie po tom, čo spoločnosť Runtime Verification dokončila formálnu verifikáciu Ethereum 2.0 depozit … Čítať ďalej Ethereum 2.0 o kusisko bližšie – Depozit smart kontrakt je formálne verifikovaný!