Důkaz bez znalosti: Tragédie skupinového chatu
Scénář: Alice, Bob a Carol jsou v skupinovém chatu. Už 45 minut se hádají, kde jíst. Alice navrhuje místo. Bob ho okamžitě odmítá a tvrdí, že zná lepší místo.
Kryptografický problém: Bob tvrdí, že má tajné, dokonalé doporučení na restauraci. Alice Bobovu chuť nevěří. Chce, aby Bob prokázal, že zná tajné místo, aniž by jí skutečně řekl, kde to je (protože by tam šla bez něj).
Řešení: Protokol "Kde je Waldo?"
Představte si, že Bob má obrovský puzzle "Kde je Waldo?". Tvrdí, že našel Walda.
1. Prohlášení (Nárok):
· Bob: "Vím, kde je Waldo. Prokaž mi, že se mýlím."
· Alice: "Lžeš. Ukáž mi."
· Bob: "Pokud na něj ukážu, uvidíš, kde je. To zkazí hru.
2. Důkaz bez znalosti (Metoda "Nelžu, důvěřuj mi"):
· Bob vezme obrovský kus kartonu (větší než celé puzzle) a vyřízne do něj malou díru velikosti Walda.
· Přikryje celé puzzle "Kde je Waldo?" kartonem.
· Říká Alici: "Podívej se skrz díru."
3. Ověření:
· Alice nakoukne skrz díru.
· Vidí Walda. Červenobílé pruhované tričko, brýle, celého chlapa. Je tam.
· Ale nemá absolutně žádnou představu, kde na mapě se Waldo nachází. Nevidí pozadí, okolní chaos ani žádné orientační body. Vidí jen Walda, izolovaného proti prázdné ploše kartonu.
Výsledek:
Alice je nyní 100% přesvědčená, že Bob našel Walda. Viděla ho na vlastní oči. Ale nenaučila se žádné informace o jeho skutečné poloze. Bob si udržel své tajemství.
Moralita příběhu (pro skupinový chat):
Bob úspěšně prokázal, že má lepší restauraci, aniž by odhalil název. Alice je frustrovaná, ale už ho nemůže nazvat lhářem. Skupinový chat zůstává v kryptografickém patu.
#cryptohumor #digital #blockchaincomedy #programmingmemes #cryptography