Zdroj: kryptoguru.cz
Kryptoměna Zcash zaznamenala v úterý výrazný růst. Cena nativního tokenu ZEC během dne posílila o více než 12 % a krátce se dostala nad hranici 500 USD. Šlo o nejvyšší úroveň od začátku června, kdy cenu zasáhlo zveřejnění kritické bezpečnostní chyby v privátním poolu Orchard.
Za aktuálním růstem stojí především oznámení projektu Tachyon. Jeho vývojáři se podle zveřejněných informací blíží k dokončení matematického důkazu, který má potvrdit, že připravovaný privátní pool Ironwood neobsahuje chybu umožňující skryté vytváření falešných ZEC.
Právě možnost neodhalitelného padělání představuje u privátních kryptoměn mimořádně vážné riziko. Zcash totiž využívá zero-knowledge důkazy, díky kterým mohou zůstat částky i účastníci transakcí skrytí. Případné neoprávněné vytvoření nových mincí tak nemusí být z veřejných dat blockchainu okamžitě patrné.
Chyba v Orchardu umožňovala skryté vytváření ZEC
Současné ověřování bezpečnosti navazuje na zranitelnost, kterou výzkumníci objevili na konci května v poolu Orchard. Chyba v kryptografickém obvodu mohla teoreticky umožnit vytvoření neomezeného množství ZEC, aniž by síť dokázala podvod spolehlivě odhalit.
Vývojáři problém během několika dnů opravili prostřednictvím nouzové aktualizace. Podle dostupných informací nic nenasvědčuje tomu, že by někdo zranitelnost skutečně zneužil. Kvůli soukromé povaze transakcí však není možné s absolutní jistotou kryptograficky prokázat, že k vytvoření falešných mincí nikdy nedošlo.
V tom se Zcash liší například od Bitcoinu, jehož transakce jsou veřejné. Bitcoin se s podobnou inflační chybou setkal už v roce 2010, kdy útočník vytvořil přibližně 184 miliard BTC. Neobvyklá transakce však byla na transparentním blockchainu okamžitě viditelná a síť ji následně odstranila.
U Zcash by podobná chyba mohla zůstat dlouhou dobu skrytá. Vývojáři proto připravují nový pool Ironwood, který má Orchard postupně nahradit a výrazně omezit riziko neodhalitelného padělání.
Matematický důkaz má obnovit důvěru v síť
Projekt Tachyon se nesoustředí pouze na běžnou kontrolu programovacího kódu. Jeho cílem je matematicky ověřit samotnou specifikaci systému a dokázat, že Ironwood neumožňuje vytvoření ZEC bez odpovídajícího vstupu.
Tým k tomu využívá nástroj Lean, který dokáže matematické důkazy strojově kontrolovat. Při jejich přípravě pomáhají také jazykové modely, které pracují pod dohledem odborníků. Podle vývojářů se tím podařilo zkrátit práci, která by dříve mohla trvat několik let, na pouhé týdny.
Vývojáři chtějí důkaz dokončit ještě před spuštěním Ironwoodu. Součástí přechodu bude také mechanismus, který bude veřejně sledovat množství ZEC vstupující do jednotlivých privátních poolů a vystupující z nich. Ze starého Orchardu tak nebude možné převést více mincí, než do něj prokazatelně vstoupilo.
Matematické ověření sice nedokáže určit, zda někdo v minulosti využil chybu Orchardu, mohlo by ale výrazně zvýšit důvěru v budoucí fungování Zcash. Růst ceny ZEC naznačuje, že investoři zveřejněný pokrok vnímají jako důležitý krok k odstranění jednoho z největších rizik privátního blockchainu.
Ke kryptoměnám jsem se dostal na konci roku 2020 a rychle jsem překonvertoval k bitcoin maximalismu. Zajímám se o dění na finančních trzích a ve volném čase cestuji, nejčastěji po jihovýchodní asii.
