Hlyam Hamilton menciptakan banyak permainan, salah satunya adalah masalah "keliling dunia" di sepanjang dodecahedron. Di dalamnya, bagian atas dodecahedron bertuliskan nama kota-kota terkenal, dan jalan yang menghubungkannya adalah tepinya. Pemain harus melakukan perjalanan "keliling dunia", menemukan jalan yang melewati semua puncak tepat sekali.
Mengganti konstruksi kompleks seperti itu dengan grafik bidang isomorfik ke yang asli, kami memperoleh masalah, yang kami pertimbangkan lebih lanjut dalam sistem protokol pengetahuan nol.
Bukti pengetahuan nol
Biarlah ada beberapa teorema dan dua sisi - membuktikan dan memeriksa. Pihak pertama perlu meyakinkan pihak kedua tentang kebenaran pernyataan ini, tanpa mengungkapkan informasi lainnya. Dengan demikian, dapat dikatakan bahwa "nol pengetahuan" dari bukti teorema yang sebenarnya ditransmisikan.
Bukti yang sangat meyakinkan (tetapi tidak sepenuhnya pasti) bahwa teorema itu benar dan bahwa pembuktian mengetahui bukti ini disediakan oleh protokol probabilistik interaktif yang disebut bukti pengetahuan nol.
, . : " ", . , ( ).
- ,
, 
. G, .
, 
- , : 
, .
.
, . , , , .
, .
:
, . : 
, 
.
C , .
, , :
1 .
, , , G, , . , , , .
, , " ".
, .
- ?
, , , "" .
, , .
, , , , G , – – .
, , , , , G , , .
.
. , , , . , , " ".
, , . , . , , .
:
Manuel Blum "How to Prove a Theorem So No One Else Can Claim It"
Schneier B. Terapan Kriptografi, Edisi ke-2: Protokol, Algoritma, Kode Sumber dalam C // Diedit oleh PV Semyanov. M., Kemenangan. - 2002.