Hlyam Hamilton inventou muitos jogos, um dos quais é o problema da "viagem ao redor do mundo" ao longo do dodecaedro. Nele, os topos do dodecaedro traziam nomes de cidades famosas, e as estradas que as ligavam eram as bordas. O jogador teve que fazer uma viagem "ao redor do mundo", encontrando uma estrada que passa por todos os picos exatamente uma vez.
Substituindo uma construção tão complexa por um grafo plano isomórfico ao original, obtemos um problema, que consideramos mais adiante no sistema de protocolos de conhecimento zero.
Prova de conhecimento zero
Deixe haver algum teorema e dois lados - prova e verificação. A primeira parte precisa convencer a segunda da veracidade dessa afirmação, sem revelar nenhuma outra informação. Assim, pode-se dizer que "conhecimento zero" da prova real do teorema é transmitido.
Evidências muito fortes (mas não absolutamente definitivas) de que o teorema é verdadeiro e de que o provador conhece essa prova são fornecidas por um protocolo probabilístico interativo chamado de prova de conhecimento zero.
, . : " ", . , ( ).
- ,
, 
. 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 // Editado por PV Semyanov. M., Triumph. - 2002.