Kezdőlap
Szószedet
Zéróismeretes bizonyítás

Zéróismeretes bizonyítás

Haladó

A zéróismeretes bizonyítás, vagy zk-protokoll, egy olyan hitelesítési módszer, amely egy bizonyító és egy hitelesítő között zajlik. A zéróismeretes bizonyítási rendszerben a bizonyító képes bebizonyítani a hitelesítőnek, hogy birtokában van egy adott információnak (például egy matematikai egyenlet megoldásának) anélkül, hogy felfedné magát az információt. Ezeket a bizonyítási rendszereket a modern kriptográfusok felhasználhatják az adatvédelem és a biztonság növelésére.

A zéróismeretes bizonyítás koncepcióját először egy 1985-ös MIT-esszében fogalmazták meg, amelyet Shafi Goldwasser és Silvio Micali publikált. Megmutatták, hogy egy szám bizonyos tulajdonságait be lehet bizonyítani anélkül, hogy felfednénk a számot vagy bármilyen további információt róla. Ez a cikk mutatta be azt a matematikailag jelentős felfedezést is, hogy a bizonyító és a hitelesítő közötti interakció csökkentheti az adott tétel bizonyításához szükséges információ mennyiségét. 

Egy zk-bizonyításnak két alapvető követelménynek kell megfelelnie, a teljességnek és a megbízhatóságnak. A teljesség arra utal, hogy a bizonyító képes-e bizonyítani az adott információ nagy valószínűséggel pontos ismeretét. Ahhoz, hogy a bizonyítás megbízható legyen, a hitelesítőnek képesnek kell lennie megbízhatóan megállapítani, hogy a bizonyító valóban birtokában van-e az információnak vagy sem. Végül ahhoz, hogy a bizonyítás valóban zéróismeretes legyen, a bizonyításnak el kell érnie mind a teljességet, mind a megbízhatóságot anélkül, hogy a kérdéses információ valaha is átadásra kerülne a bizonyító és a hitelesítő között.

A zéróismeretes bizonyítást leginkább olyan alkalmazásokban használják, amelyekben elengedhetetlen az adatvédelem és a biztonság. A hitelesítési rendszerek például zk-bizonyítást használhatnak a hitelesítő adatok vagy személyazonosság ellenőrzésére anélkül, hogy azokat közvetlenül felfednék. Például használható annak ellenőrzésére, hogy egy adott személy rendelkezik-e jelszóval egy számítógépes rendszerhez anélkül, hogy a jelszót fel kellene fedni. 

A zéróismeretes bizonyítás egyik kiemelkedő valós világbeli felhasználása a kriptovaluták és a blokklánc-technológia világában található. A zk-SNARK (Zero-Knowledge Succinct Non-interactive Argument of Knowledge) néven ismert bizonyítási módot használva az olyan, az adatvédelemre összpontosító kriptovaluták, mint a Zcash, képesek nagyobb fokú adatvédelmet biztosító blokklánc-tranzakciókat kínálni a felhasználók számára. Az Ethereum is zk-SNARK bizonyítással dolgozik a 2017-es Byzantium frissítés óta.
Binance Sensei
I am powered by ChatGPT and trained with 1,000+ articles and glossary entries from Binance Academy. My responses are provided on an “as is” basis for general information only, without any representation, warranty or guarantee of completeness or accuracy. See full terms and conditions here