ゼロ知識証明(ZKP).

ある命題が真であることを、その真偽以外の情報を検証者に一切漏らさずに示すことができる暗号プロトコル。 サイバーセキュリティの 暗号 カテゴリに属します。

ある命題が真であることを、その真偽以外の情報を検証者に一切漏らさずに示すことができる暗号プロトコル。

ゼロ知識証明(ZKP)は、証明者が秘密の所有や命題の真偽を検証者に納得させつつ、追加情報を一切漏らさない暗号プロトコルです。形式的な ZKP は次の 3 つの性質を満たします:完全性(誠実な証明者は誠実な検証者を必ず説得できる)、健全性(不正な証明者が成功する確率は無視できる)、ゼロ知識性(検証者は命題以外の情報を得られない)。ZKP はプライバシー保護認証、匿名クレデンシャル、ブロックチェーンのスケーリング(ロールアップ)、機密取引などを支えます。zk-SNARK や zk-STARK のような現代の非対話型変種は短い証明をミリ秒単位で検証でき、この 10 年で学術的興味から実運用技術へと移行しました。

ゼロ知識証明(ZKP) に対する防御は通常、上記の定義で述べたとおり、技術的統制と運用上の実践を組み合わせます。

一般的な別名: ZKP, ゼロ知識プロトコル。