暗号応用技術

ゼロ知識証明

ゼロ知識対話証明

1985年にGoldwasser,Micali,Rackoffによりゼロ知識証明の概念が発表された. 証明者 $P$ (Prover)と検証者 $V$ (Verifier) が対話しながら,証明者 $P$ が秘密情報を漏らすことなく,その情報を知っていることを検証者 $V$ に納得させる方式である.

ゼロ知識対話証明の例

知識の署名 (SPK)

inserted by FC2 system