Ironwood začel delovati, medtem ko je Zcash zaprl omrežje Orchard in prisilil k migraciji v vrednosti 1,8 milijarde dolarjev

Nadgradnja NU6.3 je začela veljati 28. julija pri višini bloka 3.428.143, s čimer so bili uvedeni ločen zaščiten bazen Ironwood, nov format transakcij in obvezna kontrolna točka za sredstva, ki zapuščajo Orchard. Nova zaščitena plačila se zdaj usmerjajo v Ironwood, medtem ko je delovanje platforme Orchard omejeno na izplačila.

Sprememba sledi odkritju kritične kriptografske ranljivosti, ki je ostala v platformi Orchard od njene uvedbe maja 2022. Neodvisni raziskovalec varnosti Taylor Hornby je pomanjkljivost odkril 29. maja med revizijo, pri kateri je pomagala umetna inteligenca (AI) in ki je bila izvedena v okviru pogodbe za podjetje Shielded Labs z uporabo modela Claude Opus 4.8 podjetja Anthropic.

Slabost z posledicami za ponarejanje

Ranljivost je vplivala na komponento skalarne množitve z eliptično krivuljo znotraj sistema potrjevanja Halo 2. Nepopolne omejitve vezja bi lahko zlonamernemu uporabniku omogočile ustvarjanje ponarejenih bankovcev Orchard, ki bi izgledali veljavni in bi vsebovali edinstvene razveljavitvene kode, ki jih ni mogoče razlikovati od legitimnih transakcij.

Razvijalci so navedli, da ni dokazov, da bi bila ranljivost izkoriščena, da ni bilo zaznano nepooblaščeno ustvarjanje ZEC-jev in da ni znane izgube sredstev ali kršitve zasebnosti uporabnikov. Vendar zasnova zasebnosti sistema Orchard pomeni, da raziskovalci ne morejo dokončno rekonstruirati njegove notranje zgodovine, da bi dokazali, da do izkoriščanja nikoli ni prišlo.

Obstoječa arhitektura »turnstile« v Zcashu je preprečila, da bi globalna ponudba presegla zgornjo mejo protokola, ki znaša 21 milijonov ZEC. Kljub temu je ta ranljivost oslabila zaupanje, da so bili vsi kovanci, ki so zasebno krožili znotraj sistema Orchard, ustvarjeni na zakonit način.

Razvijalci Zcasha so se odzvali v nekaj dneh. Nujni »soft fork« je začasno omejil dejavnost sistema Orchard, čemur je sledil »hard fork« NU6.2, ki je popravil vezje in v začetku junija ponovno vzpostavil delovanje. Ironwood je postal dolgoročnejša rešitev, namesto da bi omrežje ostalo odvisno od popravljene različice istega bazena.

Ironwood ustvarja novo računovodsko mejo

Ironwood vzdržuje ločeno drevo obveznosti bankovcev, niz razveljaviteljev, zgodovino verige in sklad vrednosti. Stari sklad Orchard ne more ustvarjati novih izhodov ali obdelovati notranjih prenosov, zato morajo preostala sredstva izstopiti skozi javni turniket protokola.

Ta kontrolna točka zagotavlja, da skupni znesek, ki zapusti Orchard, ne more presegati zneska, ki je vanj zakonito vstopil. Vse hipotetične ponarejene bankovce, ustvarjene prek stare ranljivosti, bi ostali ujeti, saj ne bi mogli preiti v Ironwood, ne da bi kršili javno uveljavljeno računovodsko omejitev.

Ta zasnova omogoča upravljavcem vozlišč, da preverijo ponudbo Zcash v obtoku s pregledom stanja v sistemih Ironwood, Sapling, Sprout ter preostale revidirane vrednosti v sistemu Orchard. S selitvijo legitimnih uporabnikov naj bi se stanje v sistemu Orchard zmanjševalo, kar ustvarja vse ožjo zgornjo mejo za morebitne skrite nepravilnosti.

Orchard je ob aktivaciji po poročanju imel v lasti približno 3,6 milijona do 3,76 milijona ZEC, kar je po takratnih cenah znašalo približno 1,7 milijarde do 1,9 milijarde dolarjev. Ironwood je začel brez stanja, čeprav so zgodnji sledilci pokazali, da se je kmalu po aktivaciji v nov sklad preneslo več deset tisoč ZEC.

Formalno preverjanje in kvantno obnovitev

Projekt Tachyon in drugi sodelavci so na kritičnih vezjih in podpornih knjižnicah Ironwooda izvedli formalno preverjanje, neodvisne revizije ter analizo s pomočjo umetne inteligence. Cilj tega dela je bil matematično izključiti kategorijo neomejenih kriptografskih operacij, ki so povzročile ranljivost v Orchardu.

Ironwood v skladu s standardom ZIP 2005 uvaja tudi bankovce, ki jih je mogoče obnoviti v primeru kvantnega napada. Ta funkcija danes še ne naredi Zcasha odpornega proti kvantnemu računalništvu, vendar ustvarja pot za obnovo, ki bi uporabnikom omogočila ponovno pridobitev sredstev, če bi prihodnji preboji ogrozili kriptografijo, ki ščiti sklad.

Ponudniki denarnic, borze in upravljavci vozlišč morajo posodobiti svojo programsko opremo, da bodo podpirali NU6.3. Zodl, Cake Wallet in druge storitve so že izdali ali načrtujejo izdajo orodij za migracijo, medtem ko so bili upravljavci infrastrukture usmerjeni k programskemu sklopu Z3, ki temelji na Zebri, saj se je podpora za starejši odjemalec zcashd končala.

ZEC se umika, letni dobički pa ostajajo nespremenjeni

ZEC se je po aktivaciji trgoval blizu 466 USD, kar pomeni padec za 4,8 % v zadnjih 24 urah, 14,1 % v zadnjih sedmih dneh in 15,7 % v zadnjih 14 dneh. Kriptovaluta je v zadnjih 30 dneh ostala višja za 19,2 % in v zadnjem letu za več kot 1.000 %, kar poudarja razliko med kratkoročnim prodajanjem in njenim dolgoročnim napredkom.

Padec je potisnil ZEC pod 500 dolarjev, saj se je širši trg kriptovalut oslabil pred odločitvijo Federalne rezerve o monetarni politiki 29. julija. Obseg trgovanja je ostal blizu 300 milijonov dolarjev, kar kaže na aktivno preusmerjanje pozicij in ne na propad likvidnosti.

Ironwood ne spreminja modela zasebnosti Zcasha niti njegove največje ponudbe. Njegov neposredni preizkus bo, ali bodo denarnice, borze in uporabniki nemoteno prenesli stanja iz sistema Orchard, hkrati pa ohranili zasebnost. Njegov širši pomen temelji na tem, ali lahko formalne metode in javno obračunavanje okrepijo zaupanje v zasebni digitalni denar, ne da bi pri tem žrtvovali tajnost, ki jo ti sistemi zagotavljajo.