ゼロ知識証明はもともと対話証明系というモデルから生まれた。この記事は基礎に立ち返って、対話証明系からゼロ知識証明の歴史を探ってみる。なお、ここで示している対話証明はゼロ知識ではないので、検証者に証拠などを提出してもよい。 NP証明系 対話証明…

以下の記事で紹介した論文に登場したCamenish-Shoup暗号について紹介する記事です。 tenn.hateblo.jp Camenish-Shoup暗号 検証可能な暗号化と復号が行える暗号方式であり、Crammer-Shoup暗号とPailier暗号を合わせたような形をしている。Crammer-Shoup暗号は…