25 éve Veletek – PC Dome / PlayDome

Logika: Érdekes történetek & okos emberek & problémák, feladványok!



Írd ide hozzászólásod:

szbszig
szbszig [33601]
Mivel az előbbi ilyen sikeres volt, ezért gyorsan egy másik feladat pedig kriptográfiáról, ez egy jó példa az ún. nullaismeretű bizonyításra (zero-knowledge proof), azaz amikor be akarod bizonyítani, hogy te tudsz valami titkot, de úgy, hogy magát a titkot nem árulod el a kérdezőnek:

Adott egy barlang, ami felülnézetben a következő alakú:

ábra

A kettős vonallal jelzett helyen egy számkombinációs ajtó található, amely kezdetben zárva van. A ismeri az ajtót nyitó kódot. B nem ismeri a kódot, de szeretne meggyőződni arról, hogy A ismeri azt. A úgy szeretné ezt B-nek bebizonyítani, hogy közben a kódot nem árulja el, és ezt B tudomásul veszi. Mit javasolhat A, mit tegyenek?


Akinek ez megvan, annak tessék, még lehet bonyolítani a feladatot:

Időközben megjelenik C, aki mindenáron meg akarja tudni, hogy A ismeri-e a kódot. C kijelenti, hogy bármi történjék is, ő nem fog tágítani B mellől a bizonyítás során. A továbbra is bizonyítani szeretné B-nek, hogy ismeri a kódot (úgy, hogy azt magát nem árulja el), de közben C számára még ezt sem szeretné felfedni.
Tehát a feladat olyan módszert kitalálni, amelyben A nem árulja el senkinek a kódot, közben viszont B meggyőződhet róla, hogy A tudja a kódot, C számára pedig semmi sem derül ki. (A és B egyeztethetnek a nagy esemény előtt, hogyan fognak cselekedni, de a barlang közelébe egészen addig nem mehetnek, amíg C nem csatlakozik hozzájuk.)

Serbia is like Nokia: each year a new model, and it's getting smaller.

Vissza