zk-STARK

Roz┼í├şren├ę
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.