ZKP

Etymology

略語：Zero-Knowledge Proof（ゼロ知識証明）。暗号プロトコルを表す複合語。

Zero-Knowledge

妥当性以外の情報を一切漏らさない。

Proof

命題が真であることの証明。

Origin

暗号学。Goldwasser, Micali, Rackoff 1985年。

Meaning

命題が真であることを、その妥当性以外の情報を漏らさずに証明するプロトコル。

Earliest use

Goldwasser, Micali, Rackoff 1985年。

Definition

一方が他方に、命題が真であることを、その命題の妥当性以外の情報を一切漏らさずに証明する暗号プロトコル。公理的推論と同様、仮定から証明する点で関連。