Spustenie Ironwoodu: Zcash uzamkol sieť Orchard a vynútil migráciu v hodnote 1,8 mld. USD

Aktualizácia NU6.3 bola spustená 28. júla pri výške bloku 3 428 143, čím bol zavedený samostatný chránený pool Ironwood, nový formát transakcií a povinný kontrolný bod pre prostriedky opúšťajúce Orchard. Nové chránené platby sú teraz smerované do Ironwoodu, zatiaľ čo Orchard bol obmedzený len na výbery.

Táto zmena nasleduje po objavení kritickej kryptografickej chyby, ktorá pretrvávala v Orcharde od spustenia bazénu v máji 2022. Nezávislý bezpečnostný výskumník Taylor Hornby túto chybu odhalil 29. mája počas auditu podporovaného umelou inteligenciou (AI), ktorý bol vykonaný na základe zmluvy pre spoločnosť Shielded Labs s využitím modelu Claude Opus 4.8 od spoločnosti Anthropic.

Chyba s dôsledkami pre falšovanie

Táto zraniteľnosť ovplyvňovala komponent skalárneho násobenia na eliptickej krivke v rámci overovacieho systému Halo 2. Neúplné obmedzenia obvodu mohli umožniť zlovolnému používateľovi generovať falošné bankovky Orchard, ktoré vyzerali ako platné a obsahovali jedinečné nulifikátory, ktoré sa nedali odlíšiť od legitímnych transakcií.

Vývojári uviedli, že neexistujú žiadne dôkazy o tom, že by bola táto chyba zneužitá, nebolo zistené žiadne neoprávnené vytvorenie ZEC a nie sú známe žiadne straty finančných prostriedkov ani narušenie súkromia používateľov. Avšak dizajn súkromia v systéme Orchard znamená, že výskumníci nemôžu jednoznačne rekonštruovať jeho vnútornú históriu, aby dokázali, že k zneužitiu nikdy nedošlo.

Existujúca turniketová architektúra Zcashu zabránila tomu, aby celková ponuka prekročila limit protokolu 21 miliónov ZEC. Napriek tomu táto zraniteľnosť oslabila dôveru v to, že každá minca, ktorá súkromne kolovala v rámci Orchardu, bola vytvorená legitímne.

Vývojári Zcashu zareagovali v priebehu niekoľkých dní. Núdzový soft fork dočasne obmedzil činnosť Orchardu, na čo nasledoval hard fork NU6.2, ktorý na začiatku júna opravil obvod a obnovil funkčnosť. Ironwood sa stal dlhodobejším riešením namiesto toho, aby sieť zostala závislá od opraveného vydania toho istého poola.

Ironwood vytvára novú účtovnú hranicu

Ironwood udržiava samostatný strom záväzkov, sadu nullifierov, históriu reťazca a fond hodnôt. Starý fond Orchard nemôže vytvárať nové výstupy ani spracovávať interné prevody, čím sa zostávajúce prostriedky musia vyviesť cez verejný turniket protokolu.

Tento kontrolný bod zabezpečuje, že celková suma opúšťajúca Orchard nemôže prekročiť sumu, ktorá do neho legitímne vstúpila. Akékoľvek hypotetické falošné bankovky vytvorené prostredníctvom starej zraniteľnosti by zostali uväznené, pretože by nemohli prejsť do Ironwoodu bez porušenia verejne vynucovaného účtovného limitu.

Táto konštrukcia umožňuje prevádzkovateľom uzlov overovať obehovú ponuku Zcashu prostredníctvom kontroly zostatkov v systémoch Ironwood, Sapling, Sprout a zostávajúcej auditovanej hodnoty Orchardu. Ako budú legitímni používatelia migrovať, zostatok v Orcharde by mal klesať, čím sa vytvorí čoraz užšia horná hranica pre akékoľvek potenciálne skryté nezrovnalosti.

Orchard údajne pri aktivácii držal približne 3,6 milióna až 3,76 milióna ZEC, čo pri vtedajších cenách predstavovalo hodnotu približne 1,7 miliardy až 1,9 miliardy USD. Ironwood začínal bez zostatku, hoci prvé sledovacie nástroje ukázali, že krátko po aktivácii sa do nového fondu presunuli desiatky tisíc ZEC.

Formálne overenie a kvantová obnova

Projekt Tachyon a ďalší prispievatelia uplatnili formálne overovanie, nezávislé audity a analýzu podporovanú umelou inteligenciou na kritické obvody a podporné knižnice Ironwoodu. Cieľom tejto práce bolo matematicky vylúčiť kategóriu neobmedzených kryptografických operácií, ktoré spôsobili zraniteľnosť Orchardu.

Ironwood tiež implementuje kvantovo obnoviteľné poznámky podľa ZIP 2005. Táto funkcia síce v súčasnosti nezabezpečuje odolnosť Zcash voči kvantovému počítaniu, vytvára však obnovovaciu cestu, ktorá by mohla používateľom umožniť získať späť prostriedky, ak by budúce prelomy ohrozili kryptografiu chrániacu fond.

Poskytovatelia peňaženiek, burzy a prevádzkovatelia uzlov musia aktualizovať svoj softvér, aby podporovali verziu NU6.3. Zodl, Cake Wallet a ďalšie služby už vydali alebo plánujú vydanie migračných nástrojov, zatiaľ čo prevádzkovatelia infraštruktúry boli nasmerovaní na softvérovú sadu Z3 založenú na Zebra, keďže podpora staršieho klienta zcashd bola ukončená.

Cena ZEC klesá, ročné zisky sa však udržujú

ZEC sa po aktivácii obchodoval na úrovni blízkej 466 USD, čo predstavuje pokles o 4,8 % za 24 hodín, 14,1 % za sedem dní a 15,7 % za 14 dní. Kryptomena si však za 30 dní udržala nárast o 19,2 % a za jeden rok o viac ako 1 000 %, čo poukazuje na rozdiel medzi krátkodobým predajom a jej dlhodobým rastom.

Tento pokles stlačil cenu ZEC pod hranicu 500 USD, keďže širší trh s kryptomenami oslabil v očakávaní rozhodnutia Federálneho rezervného systému o menovej politike, ktoré sa uskutoční 29. júla. Objem obchodovania sa udržal na úrovni približne 300 miliónov USD, čo naznačuje skôr aktívne preskupovanie pozícií než kolaps likvidity.

Ironwood nemení model ochrany súkromia ani maximálnu ponuku Zcashu. Jeho bezprostrednou skúškou bude, či peňaženky, burzy a používatelia hladko presunú zostatky v Orcharde pri zachovaní súkromia. Jeho širší význam spočíva v tom, či formálne metódy a verejné účtovníctvo typu „turnstile“ dokážu posilniť dôveru v súkromné digitálne peniaze bez obetovania utajenia, ktoré majú tieto systémy poskytovať.