問: デジタル署名はゼロ知識証明か？

そうだとも言えるし説明が循環しているとも言える．

公開鍵を明らかにし，対応する秘密鍵を明かすことなくその公開鍵で検証可能な署名を作成することが出来，ここで「秘密鍵を保持していることを秘密鍵の情報を明かさずに証明することが出来ている」と言うことが出来る．

しかしゼロ知識証明のステップの中にデジタル署名と同じ操作が含まれている．なのでゼロ知識証明はゼロ知識証明を使って実現されるということになる．こうなるのであれば，デジタル署名はゼロ知識証明ではない，もっと低レイヤーの操作である，もっとシンプルな操作である，と考える方が良い気がする．

例えが適切か分からないが「1桁の足し算は3桁の足し算である」という説明の違和感と言える．「3桁の足し算のステップの中には1桁の足し算というよりシンプルな操作を含んでいる．」この説明は納得が行くだろう．しかし「1桁の足し算 1 + 2 = 3 は3桁の足し算 001 + 002 = 003 のことである，よって1桁の足し算は3桁の足し算である．」と言われると「それはどうなん？」となるだろう．

専門で研究している身でもないので，間違っていたらゴメンナサイ．ゼロ知識証明の条件 1. 完全性 2. 健全性 3. ゼロ知識性 に基づいてもっと明確に断言することが出来るんじゃないか？と思ったりしています．これは個人的な感覚のレベルの話なのでアレですが，3 のゼロ知識性の部分に何か反しているような気がします．

---