zk-STARKs
A
zéróismeretes bizonyításnak (zero-knowledge (zk) proofs) kettő népszerű típusa van (amelyeket néha a zk-protokollok is névvel illetnek):
a SNARKs és a STARKs. A zéróismeretes bizonyítás egy kriptográfiai hitelesítési módszer, ahol az egyik fél (a bizonyító) anélkül bizonyíthatja a másik fél (a hitelesítő) felé egy adott állítás igaz voltát, hogy bármilyen alátámasztó információt közölne azon a tényen kívül, hogy az állítás valóban igaz.
A zk-STARK a „zero-knowledge scalable transparent argument of knowledge” (zéróismeretes skálázható átlátható tudásérv)j kifejezés rövidítése. A zk-STARKs megoldást Eli-Ben Sasson, a Technion-Israel Institute of Technology professzora dolgozta ki. A zk-SNARKs módszerrel ellentétben – amely egy bizonyító és egy hitelesítő között fennálló kezdeti bizalomtól függ – a zk-STARKs nem igényel kezdeti bizalmat, mivel áramvonalasabb
kriptográfiára támaszkodik a ütközésálló
hash függvények alkalmazásával. Ez a megközelítés megszünteti a zk-SNARKs által használt számelméleti feltételezések iránti igényt, amelyek számítás tekintetében költségigényesek, és elméletileg sérülékenyek a
kvantumszámítógépes támadásokkal szemben.
Egyszerűen szólva, a zk-STARK bizonyítékok egyértelműbb struktúrát kínálnak a kriptográfiai feltételezések tekintetében. Mindazonáltal jelentős hátránya is van: a bizonyítékméret nagy, általában 10-100-szorosa a zk-SNARKs-nál tapasztalható méretnél. Ez az adatméretbeli különbség költségesebbé teszi, és korlátozza a használhatóságát, amikor a technológiát
kriptovaluták átutalásához vagy más felhasználási célokra alkalmazzák.
A zéróismeretes bizonyítások gyakori felhasználási területei azok, ahol az adatvédelem és a biztonság is létfontosságú. Erre példa a személyazonosság hitelesítése. Bizonyos online szolgáltatások használatához szükséges a személyazonosság és a platformhoz tartozó hozzáférési jogosultság igazolása. Ez gyakran személyes adatok – pl. név, e-mail-cím, születési dátum stb. – megadását követeli.
A zéróismeretes bizonyítások képesek mind a platformok, mind a felhasználók számára egyszerűsíteni a hitelesítést. Amint a zk-bizonyítékot létrehozták nyilvános adatokkal (amelyek megerősítik a felhasználó platformtagságát) és privát adatokkal (a felhasználó adataival), a felhasználó egyszerűen bemutathatja azt a személyazonossága hitelesítésére, amikor csak hozzá kell férnie a szolgáltatáshoz. Ez javítja a felhasználói élményt, és felszabadítja a szervezeteket a nagy mennyiségű személyes adat tárolásának kötelezettsége alól.