「ゼロ知識証明（ZKP）」とは？

ゼロ知識証明とは、ある主張が真であることを、それを真にしている情報を明かさずに証明する仕組みのこと。定番の例が、パスワードを一度も口にせずに「パスワードを知っている」と証明することだ。

検証側はランダムな課題を次々に投げる。どの課題も、本物の秘密を持つ者だけが答え続けられるように設計されていて、どの回答も秘密そのものについては何も明かさない。偽者もまぐれで1問は通せる。コイントスを一度当てるのと同じだ。ところが20問連続となると話が変わり、まぐれの確率はおよそ100万分の1まで落ちるので、連続正解そのものが証明になる。検証側は「主張は真である」という以外に何も知らないまま終わる。応用もそこから出てくる。パスワードを通信に流さずログインする、金額を明かさず取引の正当性を証明する、生年月日を出さず18歳以上だと証明する。難点は計算負荷の重さと、実装が壊れやすい暗号だ。

ウォーリーを見つけたことを、居場所を教えずに証明する方法だ。大きな厚紙にウォーリーの大きさの穴を開け、ページの上に重ねて彼だけが見えるようにする。友達には確かに見えるので主張は証明されるが、厚紙が周囲を全部隠しているので、ページのどこにいるのかは依然として分からない。