Ironwood hard fork: išsprendžiama Orchard tiekimo neaiškuma

Ironwood hard fork siekia pašalinti Orchard tiekimo neaiškumą

Zcash numatė Ironwood atnaujinimą (NU6.3), kuris aktyvuosis bloke 3,428,143 liepos 28 d. Šis hard fork uždarys dabartinį Orchard apsaugotą baseiną ir įdiegs naują, pataisytą apsaugotą schemą. Pagrindinis tikslas nėra retrospektyviai identifikuoti galimai suklastotus ZEC, o uždaryti seną baseiną ir neleisti jokiam hipotetiniam pertekliniam paslėptam tiekimui išeiti iš apsaugotos aplinkos bei patekti į platesnę apyvartą.

Aktyvavimo detalės ir kas keičiasi

Bloko aktyvacija ir naujas apsaugotas Orchard baseinas

Ironwood bus suaktyvintas bloke 3,428,143. Po aktyvacijos protokolas išjungs siuntimą ir gavimą senojo Orchard baseino viduje ir inicijuos naują apsaugotą baseiną, naudojant pataisytą kriptografinę schemą. Ši migracija užbaigia ankstesnius tinklo kriptografinius pataisymus ir formalizuoja kontrolinį kelią į priekį apsaugotoms operacijoms.

Vartelio mechanizmas ir tiekimo kontrolė

Vietoje to, kad būtų bandoma atsekti ar užšaldyti atskirus žetonus, Ironwood įveda vartelio (turnstile) ribojimą išėmimams iš senojo Orchard baseino. Vartelis leidžia ZEC išeiti iš seno baseino tik iki sumos, kuri teisėtai ten įėjo, tad mazgų operatoriai gali patikrinti, kad apyvartoje esantis ZEC kiekis atitinka protokolo pinigines taisykles. Atnaujinimas todėl orientuojasi į rizikos, kad perteklinė vertė pabėgtų iš privatumo saugančio baseino, suvaržymą, o ne į tai, kad būtų įrodoma, ar praeityje įvyko išnaudojimas.

Techninis kontekstas: Orchard spraga ir ankstesnės priemonės

Saugumo tyrėjas Taylor Hornby atrado Orchard pažeidžiamumą gegužės 29 d. audito metu, tikrindamas Zcash apsaugotą sistemą. Pažeidžiamumas būtų galėjęs suteikti galimybę sukurti suklastotus ZEC Orchard viduje be skaidraus viešo pėdsako, nes Orchard privatumo mechanizmai užstoja sandorių detales.

Po atradimo kūrėjų komanda laikinai apribojo tam tikrą Orchard veiklą ir įdiegė taisomąją kriptografiją NU6.2 atnaujinime. Iki šiol nėra duomenų, kurie patvirtintų neautorizuotą vertės sukūrimą, tačiau apsaugotų baseinų pobūdis reiškia, kad kūrėjai ir naudotojai negali nepriklausomai įrodyti absoliučia užtikrintimi, jog niekada nebuvo sukurta suklastota ZEC. Ironwood skirtas spręsti likusį tiekimo neapibrėžtumą, užantspaudavus seną baseiną ir apribojus išėmimo kelius.

Įtaka piniginėms, biržoms ir naudotojams

Paslaugų pertraukos ir migracijos reikalavimai

Paprastiems naudotojams prieš liepos 28 d. skubiai veikti nereikia. Tačiau biržos, saugančios pinigines ir kiti paslaugų teikėjai greičiausiai laikinai stabdys indėlius, išėmimus ar susijusias paslaugas, kol atnaujins programinę įrangą ir pridės migracijos įrankius. Piniginės reikalaus atnaujinimų, kad palaikytų lėšų perkėlimą į naują apsaugotą baseiną; lėšos, laikomos piniginėse, kurios neintegravo šių migracijos įrankių, gali būti laikinai nepasiekiamos.

Perėjimas nuo senų klientų

Ironwood aktyvacija taip pat seka Zcash nuolatinį perėjimą nuo senosios zcashd kliento bazės. Teikėjams, kurie dar vykdo perėjimą prie palaikomų klientų, gali prireikti daugiau laiko, kad užbaigtų atnaujinimus ir atnaujintų pilną paslaugų funkcionalumą naudotojams.

Saugumo auditas, dirbtiniu intelektu paremta peržiūra ir formali verifikacija

Orchard incidentas paskatino platesnį saugumo sustiprinimą Zcash ekosistemoje. Dirbtiniu intelektu paremta kodo peržiūra, atlikta naudojant Anthropic Mythos sistemą, pranešama, nerado papildomų aukšto sunkumo trūkumų po pirminio atskleidimo. Lygiagrečiai Zcash kūrėjai siekia nepriklausomų auditų ir formalaus pataisytų kriptografinių schemų įrodinėjimo, siekiant sumažinti kitos paslėptos klastojimo rizikos tikimybę ir stiprinti užtikrinimą dėl tiekimo teisingumo.

Ironwood požiūris pabrėžia protokolo lygmens įrodymus ir sistemos patikrinimus, o ne sandorių lygmens atsekamumą. Kūrėjai tikisi, kad formali verifikacija kartu su išoriniais auditais suteiks tvirtesnes garantijas privatumo funkcijoms, tuo pačiu išlaikant piniginės integralumą.

Ką turėtų žinoti naudotojai ir mazgų operatoriai

• Vartotojai: Skubių veiksmų nereikia, bet stebėkite pranešimus iš savo piniginės teikėjo arba biržos ir tikėkitės trumpų priežiūros langų apie liepos 28 d. Jei naudojate apsaugotas adresų sritis, patikrinkite, ar jūsų piniginė palaikys migraciją į naują Orchard baseiną.
• Mazgų operatoriai: Atnaujinkite mazgus ir patvirtinkite naujus kliento leidimus, kad galėtumėte vykdyti vartelio apribojimus ir padėti tinklui patvirtinti, jog apyvartoje esantis ZEC atitinka protokolo taisykles.
• Paslaugų teikėjai: Suderinkite testavimo ir diegimo grafikus, kad sumažintumėte prastovų laiką ir aiškiai komunikuokite su klientais apie indėlių ir išėmimų langus.

Išvada

Ironwood yra kruopščiai nukreiptas hard fork, skirtas neutralizuoti neišspręstą tiekimo riziką, atsiradusią dėl Orchard kriptografijos spragos. Nors jis negali retrospektyviai identifikuoti ar užšaldyti konkrečių suklastotų monetų, atnaujinimas užantspauduoja pažeidžiamą baseiną ir naudoja vartelio mechanizmą, kad užkirstų kelią bet kokiam hipotetiniam pertekliui patekti į apyvartą. Kartu su auditoriais ir formalia verifikacija, Ironwood yra pragmatiškas žingsnis atkuriant didesnį pasitikėjimą Zcash privatumo saugančia apskaita ir tiekimo integralumu.