Hlyam Hamiltonは多くのゲームを発明しましたが、その1つは、十二面体に沿った「世界中を旅する」問題です。その中で、十二面体の頂上には有名な都市の名前があり、それらを結ぶ道路は端でした。プレイヤーは「世界中を旅する」必要があり、すべての山頂を一度だけ通過する道を見つけました。
このような複雑な構造を元の構造と同形の平面グラフに置き換えると、問題が発生します。これは、ゼロナレッジプロトコルのシステムでさらに検討します。
ゼロ知識証明
いくつかの定理と2つの側面があります-証明とチェック。最初の当事者は、他の情報を明らかにすることなく、この声明の真実の2番目を説得する必要があります。このように、実際の定理の証明についての「ゼロ知識」が伝わっていると言えます。
定理が真実であり、証明者がこの非常に証明がゼロ知識証明と呼ばれるインタラクティブな確率的プロトコルによって提供されることを知っているという非常に強力な（しかし絶対的に明確ではない）証拠。
, . : " ", . , ( ).
- ,
, 
. G, .
, 
- , : 
, .
.
, . , , , .
, .
:
, . : 
, 
.
C , .
, , :
1 .
, , , G, , . , , , .
, , " ".
, .
- ?
, , , "" .
, , .
, , , , G , – – .
, , , , , G , , .
.
. , , , . , , " ".
, , . , . , , .
:
Manuel Blum "How to Prove a Theorem So No One Else Can Claim It"
Schneier B. Applied Cryptography、第2版：プロトコル、アルゴリズム、Cのソースコード// PVSemyanovによって編集。M.、トライアンフ。-2002年。