zk-STARK
Existujú dva obľúbené typy
dôkazov s nulovou znalosťou (zero-knowledge proofs, zk) –
SNARK a STARK. Niekedy sa označujú aj ako protokoly zk. Dôkaz s nulovou znalosťou je metóda kryptografického overenia, pri ktorom môže jedna strana (dokazovateľ) dokázať druhej strane (overovateľovi), že dané vyhlásenie je pravdivé bez toho, aby bolo potrebné poskytnúť akékoľvek podporné informácie okrem skutočnosti, že vyhlásenie je skutočne pravdivé.
zk-STARK je skratka anglického výrazu „zero-knowledge scalable transparent argument of knowledge (škálovateľný transparentný dôkaz znalosti s nulovou znalosťou“. zk-STARK vytvoril Eli-Ben Sasson, profesor na Technion-Israel Institute of Technology. Na rozdiel od zk-SNARK, ktoré sú závislé od počiatočného dôveryhodného nastavenia medzi dokazovateľom a overovateľom, zk-STARK nevyžadujú počiatočné dôveryhodné nastavenie, pretože sa spoliehajú na štíhlejšiu
kryptografiu prostredníctvom
hašovacích funkcií odolných proti kolízii. Tento prístup tiež eliminuje číselné teoretické predpoklady zk-SNARK, ktoré sú výpočtovo drahé a teoreticky môžu byť náchylné na útok
kvantovými počítačmi.
Zjednodušene povedané, dôkazy zk-STARK predstavujú z hľadiska kryptografických predpokladov priamočiarejšiu štruktúru. S tým sa však spája aj významná nevýhoda: značná veľkosť dôkazov (zvyčajne 10 až 100-krát väčšia ako zk-SNARK). Kvôli tomuto rozdielu vo veľkosti údajov sú drahšie a to môže predstavovať obmedzenia pri využívaní technológie na posielanie
kryptomien a iných aplikácií.
Štandardnými prípadmi použitia dôkazov s nulovou znalosťou sú prípady, keď je nevyhnutné súkromie aj bezpečnosť. Príkladom je overenie identity. Používanie určitých online služieb vyžaduje preukázanie totožnosti a práva na prístup k týmto platformám. To často vyžaduje poskytnutie osobných údajov, ako napríklad meno, e-mail, dátum narodenia a ďalšie.
Dôkazy s nulovou znalosťou môžu zjednodušiť autentifikáciu pre platformy aj používateľov. Po vygenerovaní dôkazu s nulovou znalosťou pomocou verejných vstupov (údaje potvrdzujúce členstvo používateľa na platforme) a súkromných vstupov (údaje o používateľovi) ho môže používateľ jednoducho predložiť na overenie svojej identity vždy, keď potrebuje prístup k službe. To zvyšuje pohodlie používateľov a oslobodzuje organizácie od povinnosti uchovávať obrovské množstvo osobných údajov.