ZKIP(ゼロ知識証明)
知っていることを証明するよ
直接的な内容は一切伝えないよ
「ZKIP」と表現された場合は「Zero-Knowledge Interactive Proof」の略だよ
簡単に書くよ
ZKIP(ゼロ知識証明)(読:ゼロチシキショウメイ 英:zero-knowledge proof)とは
とある秘密があったとして、その秘密の内容を一切しゃべらないで「その秘密を知っているぜー」と証明してみせること
です。
詳しく書くよ
突っ込んで考えると頭が痛くなるかもしれません。
ふわっとした感じで理解してくださいね。
サクっと一言で説明すると
秘密の内容を一切しゃべらないで「秘密を知っているよ~」と証明する
のが「ゼロ知識証明」です。
「ZKIP」と表現されることも あります。
「ZKIP」と表現された場合は「Zero-Knowledge Interactive Proof(ゼロ・ナレッジ・インタラクティブ・プルーフ)」の略です。
気が向いたら、覚えてあげてください。
※「Zero-Knowledge Interactive Proof」を何となく日本語にすると「知識ゼロでやる対話による証明」となります。[詳細]
注意点として、英語では「Zero-Knowledge Proof(ゼロ・ナレッジ・プルーフ)」と表現されるのが一般的みたいです。
なんか微妙に違いますね。
「秘密の内容をしゃべらないで秘密を知っていることを証明するなんて、できるの?」と思うかもしれませんが、頑張ればできます。
例えば、そうですね。
ピヨ子さんは甘いミカンを見分けるコツを知っています。
ピヨ太君は「ホントかな?」と疑いました。
ピヨ子さんはミカン箱に入っているたくさんのミカンの中から1つ取り出してピヨ太君に渡しました。
ピヨ太君はピヨ子さんから渡されたミカンを食べてみました。
とっても甘いです。
ピヨ太君は「偶然じゃないの?」と思いました。
ピヨ子さんは、また1つミカンを取り出してピヨ太君に渡しました。
ピヨ太君はピヨ子さんから渡されたミカンを食べてみました。
とっても甘いです。
ピヨ太君は「もしかして偶然じゃないのかな?」と思いました。
ピヨ子さんは、また1つミカンを取り出してピヨ太君に渡しました。
ピヨ太君はピヨ子さんから渡されたミカンを食べてみました。
とっても甘いです。
……ということを10回くらい繰り返しました。
ピヨ子さんから渡されたミカンは全部、甘かったです。
どうやらピヨ子さんは甘いミカンを見分けるコツを本当に知っているみたいですね。
この話でピヨ子さんがやったのがゼロ知識証明です。
「甘いミカンを見分けるコツ」の内容には一切触れないで「甘いミカンを見分けるコツを知っている」ことを証明しましたよね。
一言でまとめるよ
まぁ「ゼロ知識証明」って単語が出てきたら「内容は一切伝えないで、知っているという事実を証明するんだな~」と お考えください。






