A Zk-SNARK egy mozaikszó, amely a „zéró tudást tömörítő, tömör, nem-interaktív tudásérv” rövidítése. A zk-SNARK egy kriptográfiai bizonyíték, amely lehetővé teszi az egyik fél számára, hogy bebizonyítsa, hogy rendelkezik bizonyos információkkal anélkül, hogy felfedné azokat. Ezt a bizonyítást a tranzakció előtt létrehozott titkos kulcs segítségével teszi lehetővé. A Zcash kriptovaluta protokolljának részeként használják.
Főbb jellemzők:
- A Zk-SNARK egy nulla tudásbiztos protokoll, amelyet a titkosításban használnak, és a „Zero-Knowledge Succinct Non-Interactive Argument of Knowledge” rövidítése.
- Ezt a bizonyítást először az 1980-as évek végén fejlesztették ki és vezették be, és most többek közt a Zcash kriptovaluta alkalmazza, hogy megoldja a Bitcoin típusú blokkláncokkal kapcsolatos névtelenségi problémát.
- A Zk-SNARK bizonyítékok egy kezdeti “bizalmi rendszer” beállításon alapulnak, amelyet belső biztonsági hibaként kritizáltak.