ゼロ知識証明
ある主張が真であることを、なぜ真なのかを明かさずに、証明者が検証者に納得させる暗号プロトコル（例：パスワードを送らずに「パスワードを知っている」ことを示す）。
3つの性質がある。完全性（真の主張は必ず受理される）、健全性（偽の主張が通る確率は無視できるほど小さい）、ゼロ知識性（検証者は「真である」こと以外何も知り得ない）。1985年にGoldwasser、Micali、Rackoffが提案し、Goldwasserは2012年にチューリング賞を受賞した。
実用面では、簡潔で非対話型のzk-SNARKやzk-STARKとして実現されている。用途はzkロールアップ（Polygon、Starknet）、秘匿取引（Zcash）、匿名クレデンシャル、パスワードを送らない認証など。