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 kontraktu. -oznámení-
„Během kontroly jsme u depozit smart kontraktu narazili na několik kritických problémů, […] všechny však byly úspěšně opraveny v nejnovější verzi (v0.10.0).“
Jde o klíčový kousek kódu, který umožní výměnu starých ETH 1.0 tokenů za ty nové na Proof of Stake Beacon blockchainu. Jde tedy o jakousi bránu, která spojuje současnou síť s tou novou.
Nový Ethereum blockchain se pouze před dvěma týdny dostal do fáze testování. Testnet zatím slaví velké úspěchy. Nedávno jsme informovali, že je na něm již 22 000 validátorů.
>>>Nový Ethereum 2.0 testnet má úspěch! – Přitáhl už 22 000 validátorů<<<
Jak funguje Depozit kontrakt?
Depozit kontrakt je jedním z nejdůležitějších Ethereum smart kontraktů tohoto roku. Je určen na jednosměrný přenos tokenů z 1.X na nový Beacon chain. Pokud chcete být validátorem na tomto novém Proof od Stake Chaine, musíte přes 1.X síť poslat ETH na depozit kontrakt. Ten je následně uzamkne jako stake a vy si můžete vyzvednout ETH 2.0 tokeny.
Problémy při programovaní
Depozit smart kontrakt je napsaný v programovacím jazyce Vyper (jazyk, který se používá při programování na Ethereu). Společnost Runtime Verification však netestovala program ve Vyperu, ale přeložený zdrojový kód, protože nechtěla věřit překladači.
To se ukázalo jako dobrý krok, protože během formální verifikace se narazilo na několik kritických chyb právě v překladači.
Merkle Tree
Na ukládání historie depozitů používá smart kontrakt datovou strukturu Merkle Tree, která umožňuje efektivnější řazení dat. Tento Merkle Tree je s výškou 32 relativně velký a dokáže uschovat až 2 na 32 (tedy 4 294 967 296) transakcí.
Naivní implementace by však vzhledem k potenciální velikosti celé struktury nebyla vhodná, neboť vyžaduje přepočítání celého stromu po vložení každé nové transakce. Aby se ušetřil čas a prostor (a hlavně gas), vývojáři implementovali inkrementální Merkle Tree algoritmus, který na rekonstrukci stromu vyžaduje pouze O (h) operací a prostoru (h je výška stromu). Pro srovnání, naivní Merkle Tree potřebuje O (2^h) času nebo prostoru.
A přesně to byl největší zádrhel, který museli Ethereum vývojáři při programování depozit kontraktu překonat. Není to však jediná překážka, která zdržuje spuštění nové sítě.
Co číst dál?
Přijde breakout ETH z 2letého bear marketu? Toto jsou důvody, proč ano!
Zdroj:
runtimeverification.com