Domov
Slovn├şk
D├┤kazy s nulovou znalos┼ąou

D├┤kazy s nulovou znalos┼ąou

Roz┼í├şren├ę

D├┤kaz s┬ánulovou znalos┼ąou (niekedy ozna─Źovan├Ż aj ako protokol┬ázk) je met├│da overenia, ktor├ę prebieha medzi dokazovate─żom a┬áoverovate─żom. V┬ásyst├ęme d├┤kazu s┬ánulovou znalos┼ąou je dokazovate─ż schopn├Ż dok├íza┼ą overovate─żovi, ┼że m├í znalos┼ą o┬ákonkr├ętnej inform├ícii (napr. rie┼íenie matematickej rovnice) bez toho, aby odhalil samotn├║ inform├íciu. Tieto syst├ęmy overovania m├┤┼żu pou┼ż├şva┼ą modern├ş kryptografi na zabezpe─Źenie vy┼í┼íej ├║rovne s├║kromia a┬ábezpe─Źnosti.

Koncept d├┤kazu s┬ánulovou znalos┼ąou bol prv├Żkr├ít op├şsan├Ż v┬ádokumente MIT z┬ároku 1985, ktor├Ż publikovali Shafi Goldwasser a┬áSilvio Micali. Predviedli, ┼że je mo┼żn├ę dok├íza┼ą niektor├ę vlastnosti ─Ź├şsla bez zverejnenia tohto ─Ź├şsla alebo ak├Żchko─żvek ─Ćal┼í├şch inform├íci├ş o┬á┼łom. Tento dokument tie┼ż predstavil matematicky v├Żznamn├ę zistenie, ┼że interakcie medzi dokazovate─żom a┬á;overovate─żom m├┤┼żu zn├ş┼żi┼ą mno┼żstvo inform├íci├ş potrebn├Żch na preuk├ízanie danej hypot├ęzy.┬á

D├┤kaz┬ázk mus├ş sp─║┼ła┼ą dve z├íkladn├ę po┼żiadavky: ├║plnos┼ą a┬áspo─żahlivos┼ą. ├Üplnos┼ą ozna─Źuje schopnos┼ą dokazovate─ża preuk├íza┼ą znalos┼ą relevantn├Żch inform├íci├ş s┬ávysokou mierou pravdepodobnosti presnosti. Aby bol d├┤kaz spo─żahliv├Ż, overovate─ż mus├ş by┼ą schopn├Ż spo─żahlivo ur─Źi┼ą, ─Źi dokazovate─ż inform├ície skuto─Źne vlastn├ş alebo nie. Napokon, aby bol d├┤kaz skuto─Źne s┬ánulovou znalos┼ąou, d├┤kaz mus├ş dosiahnu┼ą ├║plnos┼ą aj spo─żahlivos┼ą bez toho, aby sa v├┤bec pr├şslu┼ín├ę inform├ície medzi dokazovate─żom a┬áoverovate─żom komunikovali.

D├┤kazy s┬ánulovou znalos┼ąou sa v├Ą─Ź┼íinou pou┼ż├şvaj├║ pre aplik├ície, v┬áktor├Żch s├║ nevyhnutnos┼ąou s├║kromie a┬ábezpe─Źnos┼ą. Overovacie syst├ęmy m├┤┼żu napr├şklad vyu┼ż├şva┼ą d├┤kazy┬ázk na overenie identifika─Źn├Żch ├║dajov alebo ident├şt bez ich prezradenia. Jednoduch├Żm pr├şkladom pou┼żitia je, ┼że sa m├┤┼żu pou┼żi┼ą na overenie, ┼że osoba m├í heslo do po─Ź├şta─Źov├ęho syst├ęmu bez potreby prezradenia tohto hesla.┬á

Jeden prominentn├Ż pr├şpad pou┼żitia d├┤kazov s┬ánulovou znalos┼ąou v┬áre├ílnom svete mo┼żno n├íjs┼ą vo svete kryptomien a┬átechnol├│gie blockchain. Pomocou typu d├┤kazu zn├ímeho pod n├ízvom ÔÇ×s├║hrnn├Ż neinterakt├şvny d├┤kaz znalosti s┬ánulovou znalos┼ąou (zk-SNARK)ÔÇť s├║ kryptomeny zameran├ę na ochranu s├║kromia (napr├şklad Zcash) schopn├ę svojim pou┼ż├şvate─żom pon├║ka┼ą blockchainov├ę transakcie so zv├Ż┼íenou ├║rov┼łou ochrany s├║kromia. Od aktualiz├ície Byzantion v┬ároku 2017 pou┼ż├şva d├┤kazy zk-SNARK aj Ethereum.
Zdie─ża┼ą pr├şspevky
Zaregistrujte si ├║─Źet
E┼íte dnes vyu┼żite svoje znalosti v┬ápraxi otvoren├şm ├║─Źtu Binance.