「ゼロ知識証明」とは、ある人が特定の事柄を証明したいときに、機密情報を明かさずに証明する技術の総称。次世代のプライバシー強化技術として注目されている技術である。本連載はデロイト トーマツのコンサルタントによる『ゼロ知識証明入門』（翔泳社）の内容を踏まえくわしく紹介する。今回は第4回目で、ゼロ知識証明の特性の直感的な理解やゼロ知識証明の例（シュノアプロトコル）について解説する。
3-1 ゼロ知識証明の特性の直感的な理解
ゼロ知識証明には、一般に、完全性、健全性、ゼロ知識性の3つの特性を備えていることが求められる。本節では、第1章で紹介したワインの例を題材に、それぞれの特性がどのようなことを意味しているか例示する（図表3-1）。
完全性とは、命題が正しいことを確認する側（検証者）は、証明者が持っている命題が正しい（真である）場合、それが真であることが必ずわかることである。これにより、証明者が持っている命題が正しいのに、正しくないと判断されることはなく、正しい命題を持つ証明者は必ず保護され、取引の安定が保護される。ワインの例に当てはめると、「検証者は、証明者がワインを見分ける方法を知っている場合、証明者がワインを見分ける方法を知っていることがわかる（証明者がワインを見分ける方法を知っているのに、検証者は証明者が見分ける方法を知らないと判断してしまうことがない）」ことが完全性である。
健全性とは、証明者が持っている命題が誤っている（偽である）場合、検証者は高い確率でそれが偽であると見抜けることである。ワインの例では、「検証者は、証明者がワインを見分ける方法を知らない場合、高い確率で証明者は見分ける方法を知らないと見抜ける（試行回数が多い時、証明者がワインを見分ける方法を知らないのにすべて正答する確率は無視できるほど小さい）」ことが健全性である。
健全性の定義によれば、証明者が持っている命題が誤っていても、検証者がそれを正しいと判断してしまう可能性は残っている。しかし、実用時にはこの確率が無視できるほど小さくなるように構成する（ワインの例であれば試行回数を増やす）ことができ、また、現在使用されている暗号技術も解読される可能性がゼロではないことも考慮すれば、このことは直ちには問題にならない。
ゼロ知識性とは、証明者の持つ命題が真であるなら、検証者が証明者から知識を盗もうとしても、「命題が真である」こと以外の何の知識も得ることができないことである。ワインの例に当てはめると、「検証者は、証明者が用いているワインを見分ける方法を知ることができない（検証者は入れ替えたか入れ替えていないかを証明者に質問するだけなので、どうやって見分けたかはわからない）」ことがゼロ知識性である。これがゼロ知識証明の特徴とも言えるもので、まさに流出する知識がゼロであるから「ゼロ知識」ということになる。
この記事は参考になりましたか？
- 翔泳社の本：『ゼロ知識証明入門』連載記事一覧
- この記事の著者
-
清藤 武暢（セイトウ タケノブ）
有限責任監査法人トーマツ リスクアドバイザリー事業本部
ファイナンシャルインダストリ― マネジャー日本銀行にて新たな情報技術（暗号技術や機械学習等）に関する調査・研究業務に従事した後、有限責任監査法人トーマツ入社。金融サービスにおける暗号技術（秘匿計算やゼロ知識証明等）の利活用にかかる研究やアセット開発...※プロフィールは、執筆時点、または直近の記事の寄稿時点での内容です
-
岸 純也（キシ ジュンヤ）
有限責任監査法人トーマツ デロイトアナリティクス暗号技術や統計分析、機械学習等に関する研究開発に従事。
暗号技術・ブロックチェーンに関連したサービス開発や、暗号資産取引分析システムの開発、デリバティブの公正価値評価、定量的リスク評価に関する数理統計分析を行なった経験を有する。※プロフィールは、執筆時点、または直近の記事の寄稿時点での内容です
この記事は参考になりましたか？
この記事をシェア
