Hlyam Hamilton a inventé de nombreux jeux, dont l'un est le problème du «voyage autour du monde» le long du dodécaèdre. Dans celui-ci, les sommets du dodécaèdre portaient les noms de villes célèbres, et les routes les reliant en étaient les bords. Le joueur devait faire un voyage «autour du monde», trouver une route qui traverse tous les sommets exactement une fois.
En remplaçant une construction aussi complexe par un graphe plan isomorphe à l'original, nous obtenons un problème, que nous considérons plus loin dans le système des protocoles de connaissance zéro.
Preuve de connaissance zéro
Qu'il y ait un théorème et deux côtés - prouver et vérifier. La première partie doit convaincre la seconde de la véracité de cette affirmation, sans révéler aucune autre information. Ainsi, on peut dire qu'une «connaissance nulle» de la preuve réelle du théorème est transmise.
Une preuve très convaincante (mais pas absolument certaine) que le théorème est vrai, et que le prouveur connaît cette preuve même, est fournie par un protocole probabiliste interactif appelé une preuve de connaissance nulle.
, . : " ", . , ( ).
- ,
, 
. G, .
, 
- , : 
, .
.
, . , , , .
, .
:
, . : 
, 
.
C , .
, , :
1 .
, , , G, , . , , , .
, , " ".
, .
- ?
, , , "" .
, , .
, , , , G , – – .
, , , , , G , , .
.
. , , , . , , " ".
, , . , . , , .
:
Manuel Blum "How to Prove a Theorem So No One Else Can Claim It"
Schneier B. Applied Cryptography, 2nd Edition: Protocols, Algorithms, Source Texts in C // Edité par PV Semyanov. M., Triomphe. - 2002.