ゼロ知識証明

ゼロ知識証明とは、自分が持っている秘密の情報を相手に一切教えることなく、その情報が正しいということだけを証明する暗号の技術だよ。
たとえば、合い言葉そのものを相手に言わずに、自分が合い言葉を知っていることだけを相手に信じてもらうような仕組みなんだ。

ざっくり言うと、質問に対して正しい答えを何度も出してみせることで、秘密を見せずに本物だと証明するんだよ。
これは「対話型」と呼ばれる、ゼロ知識証明の基本的なやり方なんだ。
たとえば、奥に同じ鍵付きの扉があり通り抜けられる二股の洞窟をイメージしてみるんだ。
証明者が奥に進んだあと、検証者はどちらに入ったか知らないまま、ランダムに「右から出てきて」と指定するんだよ。
鍵を持っている本物なら必ず指定通りの道から戻れるが、偽物は五分五分の運頼みになるんだ。
この勝負を何度も繰り返すと偽物が当て続けられる確率は下がるため、鍵を見せずに持っていることを確実に証明できるんだね。

この技術は、プライバシーを守りながらデータを検証したい様々な場面で使われているよ。
ただ、何度もやり取りする対話型は使いにくいため、1回の計算で証明データを作れる「非対話型」がよく使われるんだ。
証明データを1個公開すれば、検証者はやり取り不要で後から自分のタイミングで検証できるよ。
たとえば、生年月日を明かさずに年齢の条件を満たしていることを証明したり、ブロックチェーンで大量の取引をまとめて計算した結果が正しいことを検証したりする場面で使われているんだ。
投票システムでも、暗号化された投票が不正でないことや集計の正しさを証明する役割を受け持っているよ。
秘密を明かさずに正しさだけを確認できる、プライバシーとセキュリティを両立させる証明の手段なんだよ。