ゼロ知識証明について
概要
- P(Prover)とV(Verifier)の二人がいる
- VがPから情報を引き出そうとするとき、Pが(パスワードの平文などの)重要な情報を伝えず検証証明すること
条件
- 完全性(completeness)
- Pの命題をVが必ずわかること
- 健全性(soundness)
- Pの命題が偽であるとき、Vが高い確率で見抜けること
- ゼロ知識性(zero-knowledge)
- 命題があってるかどうかしかVがわからないこと
具体例
- インターネットサービスのパスワードのハッシュ管理
- 簡略化したゼロ知識証明
- open sshの暗号方式