相手に自分の持っている情報そのもの自体を教えずに、そのものを持っていることを証明する技術。

結構分かりやすかったサイト

イメージで理解できる-ゼロ知識証明|S ⚡️|note

完全性、健全性、ゼロ知識性の3つの特性を備えておく必要がある。

アリス(証明者:prover)がボブ(検証者:verifier)とした場合

アリスは情報Xを持っている

ボブはアリスが”情報Xを持っている”ことだけを知りたい