programmingmemes

Nulles zināšanu pierādījums: grupas čata traģēdija

Scenārijs: Alise, Bobs un Kerola atrodas grupas čatā. Viņi jau 45 minūtes strīdas par to, kur ēst. Alise piedāvā vietu. Bobs to nekavējoties noraida, apgalvojot, ka zina labāku vietu.

Kriptogrāfiskais problēma: Bobs apgalvo, ka viņam ir slepena, perfekta restorāna ieteikuma. Alise neuzticas Boba gaumei. Viņa vēlas, lai Bobs pierāda, ka zina slepeno vietu, nepateicoties, kur tā atrodas (jo tad viņa vienkārši dotos bez viņa).

Risinājums: "Kur ir Voldis?" protokols

Iedomājieties, ka Bobs ir atradis milzīgu "Kur ir Voldis?" puzli. Viņš apgalvo, ka ir atradis Voldi.

1. Izteikums (prasība):
· Bobs: "Es zinu, kur ir Voldis. Pierādi, ka esi nepareizs."
· Alise: "Tu melots. Parādi man."
· Bobs: "Ja es norādu uz viņu, tu redzēsi, kur viņš ir. Tas sabojās spēli.

2. Nulles zināšanu pierādījums (metode "Es nemeloju, uzticies man"):
· Bobs paņem milzīgu kartona gabalu (lielāku par visu puzli) un izgriež nelielu Voldim atbilstošu caurumu tajā.
· Viņš pārklāj visu "Kur ir Voldis?" puzli ar kartonu.
· Viņš saka Alisei: "Paskaties caur caurumu."

3. Pārbaude:
· Alise ielūkojas caur caurumu.
· Viņa redz Voldi. Sarkano un baltu svītru krekls, brilles, viss puisis. Viņš ir tieši tur.
· Bet viņai nav ne mazākās nojausmas, kur kartē atrodas Voldis. Viņa neredz fonu, apkārtējo haosu vai jebkādus orientierus. Viņa redz tikai Voldi, izolētu pret kartona tukšo tumsu.

Rezultāts:
Alise tagad ir 100% pārliecināta, ka Bobs ir atradis Voldi. Viņa redzēja viņu ar savām acīm. Bet viņa uzzināja nulles zināšanas par viņa faktisko atrašanās vietu. Bobs saglabāja savu noslēpumu.

Moralitāte stāstam (grupas čatam):
Bobs ir veiksmīgi pierādījis, ka viņam ir labāks restorāns, neizpaudams nosaukumu. Alise ir apbēdināta, bet viņa vairs nevar viņu nosaukt par melotāju. Grupas čats paliek kriptogrāfiskā strupceļā.

#cryptohumor #digital #blockchaincomedy #programmingmemes #cryptography

Verifikācija

Alise izskaidro Garijam:

Garij, lai to pārbaudītu, es ņemu e-pastu, ko saņēmu, un palaidu to cauri tai pašai hashēšanas mašīnai. Ko es iegūstu?

Garijs: "Uh... ZIRGS_TAP_DEJA_123?"

Alise: "Pareizi. Tagad es ņemu vasku, ko Bobs pievienoja, un turu to pie Publiskā Stikla Izstādes Kastes Bobu publiskās atslēgas. Izstādes kastei ir īpaša īpašība: tā var pateikt, vai vasks tika radīts no tieši tā Mr. Whiskers zīmoga, kas atbilst fotogrāfijai, un tā parādīs man pirkstu nospiedumu, kas atradās vaskā."

(Alise veic kriptogrāfisko verifikāciju: Viņa izmanto Boba publisko atslēgu, lai atšifrētu parakstu, atklājot hashu, ko Bobs sākotnēji parakstījis.)

Alise: "Skatieties! Izstādes kaste atklāj, ka vasks saturēja pirkstu nospiedumu ZIRGS_TAP_DEJA_123. Tas perfekti atbilst."

Lielā Atklāšana

Alise: "Garij, visā visumā ir tikai viens Mr. Whiskers zīmogs. Tas ir Boba kabatā. Fakts, ka šis vasks atbilst e-pastam un iztur publiskās izstādes kastes testu, pierāda ar matemātikas spēku, ka Bobs fiziski nospieda savu īpašo kaķa zīmogu uz šī tieši e-pasta. Viņš to ne tikai uzrakstīja; viņš to apstiprināja ar sava kaķa seju."

Garijs: "Bobs... tu nospiedi sava kaķa seju uz meliem?"

Bobs: "Es... es izmantoju piekto."

Garijs: "Piektais nestrādā matemātikā, Bob. Tu pērk Alisei pusdienas nedēļai."

Stāsta Morāle:

· Privātā Atslēga: Tavs slepenais vaska zīmogs (Nezaudē to).

· Publiskā Atslēga: Izstādes kaste, ko visi var apskatīt.

· Paraksts: Vasks, kas pierāda, ka tu pieskāries dokumentam.

· Neatgriezeniskums: Nespēja teikt "Es to neizdarīju", kad tavam kaķa sejai ir pierādījumi.

Kriptogrāfija: Jo 'Viņš teica, Viņa teica' nav salīdzināms ar 'Matemātika teica.'

#cryptohumor #digital #blockchaincomedy #programmingmemes #cryptography