暗号理論における重要な概念で、情報を明らかにすることなく、ある主張が真であることを証明する方法を指します。
ゼロ知識証明の基本的なプロパティは以下の3つです：
- 完全性（Completeness）：主張が真である場合、証明者（Prover）は検証者（Verifier）を納得させることができます。
- 健全性（Soundness）：主張が偽である場合、証明者は検証者を誤って納得させることはできません。
- ゼロ知識性（Zero-knowledge）：主張が真である場合でも、証明者がその証明によって他の情報（つまり、主張以外の情報）を明らかにすることはありません。
たとえば、証明者が何らかの秘密情報を知っていることを証明したいとします。しかし、証明者はその秘密情報自体を明らかにしたくありません。ゼロ知識証明を使えば、証明者は秘密情報を知っていることを証明でき、しかもその情報自体を明らかにすることなく検証者を納得させることができます。
ブロックチェーン技術やデジタルアイデンティティの領域では、ゼロ知識証明はプライバシーの保護と信頼性の確保に非常に重要な役割を果たしています。