相手に自分の持っている情報そのもの自体を教えずに、そのものを持っていることを証明する技術。
結構分かりやすかったサイト
イメージで理解できる-ゼロ知識証明|S ⚡️|note
完全性、健全性、ゼロ知識性の3つの特性を備えておく必要がある。
アリス(証明者:prover)がボブ(検証者:verifier)とした場合
アリスは情報Xを持っている
ボブはアリスが”情報Xを持っている”ことだけを知りたい