A Survey of Noninteractive Zero Knowledge Proof System and Its Applications
https://pmc.ncbi.nlm.nih.gov/articles/PMC4032740
これ結構良さそうYudai.icon
1985年GoldwasserらがThe Knowledge Complexity of Interactive Proof-Systemsにより相互作業的証明システムの概念を提唱し、知識複雑度がゼロである相互作用的証明システムを分析した
魅力的な特徴は、証明者が検証者に対して主張の正当性を証明しつつ、情報を漏らさないという一見矛盾した独自性に存する
ゼロ知識証明システムの特徴
Completeness
主張が正しい場合検証者は常に受理する
$ Pr[(P, V)(x) =1 \ge 1 - \frac{1}{p(|x|)}
Soundness
主張が誤っている場合、検証者は常に拒否する
Zero Knowledge
いかなる検証者も主張の正しさ以外の余分な情報を証明手続きから得られない