Hlyam Hamilton hat viele Spiele erfunden, von denen eines das Problem „Reisen um die Welt“ entlang des Dodekaeders ist. Darin trugen die Spitzen des Dodekaeders die Namen berühmter Städte, und die Straßen, die sie verbanden, waren die Ränder. Der Spieler musste „um die Welt“ reisen und eine Straße finden, die genau einmal durch alle Gipfel führt.
Wenn wir eine solch komplexe Konstruktion durch einen ebenen Graphen ersetzen, der isomorph zum ursprünglichen ist, erhalten wir ein Problem, das wir im System der Null-Wissensprotokolle weiter betrachten.
Kein Wissensnachweis
Es gebe einen Satz und zwei Seiten - Beweisen und Prüfen. Die erste Partei muss die zweite von der Wahrheit dieser Aussage überzeugen, ohne andere Informationen preiszugeben. Man kann also sagen, dass "Null Wissen" über den tatsächlichen Beweis des Satzes übertragen wird.
Sehr starke (aber nicht absolut eindeutige) Beweise dafür, dass der Satz wahr ist und dass der Prüfer genau diesen Beweis kennt, liefern ein interaktives probabilistisches Protokoll, das als Null-Wissensbeweis bezeichnet wird.
, . : " ", . , ( ).
- ,
, 
. G, .
, 
- , : 
, .
.
, . , , , .
, .
:
, . : 
, 
.
C , .
, , :
1 .
, , , G, , . , , , .
, , " ".
, .
- ?
, , , "" .
, , .
, , , , G , – – .
, , , , , G , , .
.
. , , , . , , " ".
, , . , . , , .
:
Manuel Blum "How to Prove a Theorem So No One Else Can Claim It"
Schneier B. Angewandte Kryptographie, 2. Auflage: Protokolle, Algorithmen, Quellcode in C // Herausgegeben von PV Semyanov. M., Triumph. - 2002.