Nulinio žinojimo (ZK) įrodymas leidžia kriptovaliutų biržai patvirtinti, kad visi klientų likučiai padengti, neatskleidžiant nė vieno individualaus balanso. Ta pati technologija jau veikia ir už finansų ribų – ja galima įrodyti, kad esi vyresnis nei 18 metų, neatskleidžiant tikslios gimimo datos.
Nuo urvo iki biržų skliautų
Šios technologijos esmę iliustruoja klasikinė urvo analogija: vienas asmuo žino slaptažodį, jungiantį du urvo koridorius, bet nori tuo įtikinti stebėtoją, neatskleisdamas žodžio. Pakartotinai įeidamas pro vieną angą ir išeidamas pro kitą, jis įrodo žinią, o slaptažodis lieka paslaptis. Nors pavyzdys supaprastintas, jis tiksliai perteikia ZK idėją – galima patvirtinti faktą, neatskleidžiant jo turinio.
Praktinis lūžis įvyko 2019 m., kai „Halo“ protokolas pašalino patikimąją sąranką – procesą, kai reikėdavo aklai pasitikėti parametrus sugeneravusiu asmeniu. Tai padidino saugumą ir atvėrė kelią platesniam naudojimui. 2023 m. dar klausta, ar ZK-rollups – antrojo sluoksnio tinklai, naudojantys ZK įrodymus – apskritai veiks. 2025 m. diskutuojama, kurią ekosistemą rinktis. Šį pokytį paspartino Ethereum atnaujinimas EIP-4844: anksčiau brangūs duomenys dabar talpinami pigesnėje „blob“ saugykloje, kuri automatiškai išvaloma po maždaug 18 dienų, tačiau to pakanka saugumui užtikrinti. Ethereum bendrasteigėjas Vitalikas Buterinas ne kartą yra sakęs, kad būtent ZK-rollups taps dominuojančiu mastelio sprendimu. Neseniai prie šios krypties prisidėjo ir Polygon, integravęs Hermez technologiją į savo ekosistemą.
Kur čia nauda
Po FTX žlugimo kilo aštrus klausimas: ar centralizuotos biržos tikrai turi klientų lėšas? Atsakymas tapo įmanomas būtent dėl ZK įrodymų. Stipriausias metodas sujungia „Merkle“ medį – struktūrą, sujungiančią visus balansus į vieną kriptografinę šaknį – su ZK įrodymu. Taip birža vienu metu patvirtina, kad visi likučiai sumuojasi į paskelbtą skaičių, nė vienas balansas nėra neigiamas ir kiekviena sąskaita įtraukta. Visa tai atliekama neatskleidžiant individualių likučių.
Paprastas Merkle medis to negali. Būtent ZK sluoksnis paverčia rezervų įrodymą patikimu, nepažeidžiančiu privatumo. Tuo remiasi didžiausios biržos: Binance naudoja zk-SNARK, OKX – zk-STARK. Abu metodai pasiekia tą patį, nors techniniai skirtumai egzistuoja.
Skaičiavimo kaina ir mokymosi kreivė
Tačiau šis patikimumas reikalauja resursų. ZK įrodymo generavimas reikalauja milžiniškų skaičiavimo pajėgumų – dažnai prireikia galingų vaizdo plokščių (GPU) ar net specializuotų lustų (ASIC). Tai sukuria aukštą įėjimo barjerą nepriklausomiems operatoriams.
Suprasti šią kriptografiją taip pat nėra paprasta – reikia specifinių žinių, todėl mokymosi kreivė itin stati.
Čia ir rizika.
Kai įrodymų generavimą kontroliuoja vienas subjektas – pavyzdžiui, pati birža ar centralizuota komanda – atsiranda teorinė cenzūros galimybė: toks subjektas galėtų atsisakyti įtraukti tam tikras operacijas. Be to, rezervų įrodymas tėra momentinė nuotrauka; jis nepasako, ar birža buvo moki likus minutei, neapima neapskaitytų įsipareigojimų ir netikrina, ar platformoje laikomi trečiųjų šalių žetonai tikrai užtikrinti.
Tapatybė – be duomenų
ZK technologija jau peržengė kriptovaliutų ribas. Platformos leidžia asmenims įrodyti specifinius faktus apie save: pavyzdžiui, kad jie yra vyresni nei 18 metų arba turi pakankamai lėšų operacijai. Jokios papildomos informacijos – nei tikslios gimimo datos, nei banko sąskaitos likučio – neatskleidžiama. Tai modelis, galintis iš esmės pakeisti tapatybės patvirtinimą internete, sumažinant duomenų nutekėjimo riziką.
Ar ši technologija išlaikys augimo tempą, priklausys nuo to, kaip pavyks sumažinti resursų poreikį ir paskirstyti įrodymų generavimo galią. Kol kas atsakymo nėra – tik spartėjanti plėtra.
