ゼロ知識証明：抽象例

だから私はウィキペディアでZKPについて読んでいました、要約の抽象的な例は次のようになります：

ペギーはビクターに秘密の言葉をビクターに明かさずにAとBを接続する洞窟内部のドアの秘密を知っていることをビクターに証明したいと考えています（図を参照）。

• ペギーはビクターに知られていないランダムなエントリを取ります
• ビクターはペギーに叫び、パスAまたはBから出ます（ランダムに選択）
• そのため、ビクターに秘密の言葉を明かさずに、ビクターが選択した経路から抜け出すには、彼女が秘密の言葉を知っている必要があります。これが行われる回数が増えるほど、ビクターは信頼を築きます。

しかし、なぜビクターはペギーがどの道から入ってくるかを見ることができないのですか？これは秘密の言葉が何であるかについての追加情報を明らかにしないので。

どうしてビクターは彼女がどのように入るのかわからず、彼女に4つの可能性を示すように頼むことができません。

• Aから入り、Aを出る
• Aから入り、Bを出る
• Bから入り、Aから出る
• Bから入り、Bを出る

これは2つのことを説明するために行われたと思います。

（i） eggy（ rover）が嘘をついている可能性が 低い確率。彼女は本当に魔法の言葉と認識していない場合は ictor（ erifier）彼女はパス取って見て、彼はいつものパスを経由して戻ってくるために彼女を求めるだろう、のように確率不正行為があるときに、後続。$P$$P$$V$$V$$A$$B$$P$$0$

ただし、は通常、チート中に成功する可能性が少しあります。これは、が魔法のドアにたどり着くまでの経路を見ないことで示されています。$ZKP$$P$$V$$P$

（ii） はその秘密を知りません。場合パスの交差点に立ってとが、彼女の魔法の言葉を言うために魔法のドアに歩くために、それは考えられるかもしれません聞くことができるように彼女の秘密の言葉を述べました。が魔法の言葉を学習しないようにする唯一の方法は、がパスを選択するまで、が洞窟の外で待つことです。$V$$V$$A$$B$$P$$V$$P$$V$$P$

この記事では、知識ゼロの証明は観察者にのみ説得力があるという特性を説明しようとしています。言い換えると、オブザーバーは後で誰かを説得することができません。

これは、コインとビデオカメラの存在を考慮することによって行われます。

さらに、ビクターがカメラ上でコインを裏返すことでAとBを選択した場合、このプロトコルはゼロ知識プロパティを失うことに注意してください。カメラ上のコインフリップは、おそらく後で録画を見る人を納得させるでしょう。

このコインフリップのように、サイドAに入るペギーとサイドBから出るペギーを記録することは、魔法のドアの存在を知っている第三者に説得力があります。これは、確率論的証明ではなく、決定論的証明と見なされます。これはさらに、Riyilの2番目のポイントを示しています。証明者がだまされたようなゼロ以外の確率があります。$P$