ゼロ知識証明

概要

• P(Prover)とV(Verifier)の二人がいる
• VがPから情報を引き出そうとするとき、Pが(パスワードの平文などの)重要な情報を伝えず検証証明すること

条件

• 完全性(completeness)
  • Pの命題をVが必ずわかること
• 健全性(soundness)
  • Pの命題が偽であるとき、Vが高い確率で見抜けること
• ゼロ知識性(zero-knowledge)
  • 命題があってるかどうかしかVがわからないこと

具体例

• インターネットサービスのパスワードのハッシュ管理
  • 簡略化したゼロ知識証明
• open sshの暗号方式

参考

• ゼロ知識証明/Wikipedia