はてなブックマーク

内容紹介 ゼロ知識証明は，1985年に提案された証明方法であり，暗号理論における重要なツールの1つである．「証明」というと，ある命題に対する紙に書いた証明を連想する場合が多い．しかし，ゼロ知識証明はこのような通常の証明とはいくつかの点で異なる．具体的には対話証明であること，確率的証明であること，検証者に知識を漏らさないことである．不思議に思えるかもしれないが，例えば，証明者は解を知っていることを解そのものを検証者に示すことなく証明できる． この入門講義では，ゼロ知識証明とはどんな技術か，そのからくりはどうなっているか，またなぜ知識を示さないのに証明といえるのか，解説したい． 暗号，セキュリティの分野で利用できる効率のよいゼロ知識証明では，数学の一分野である整数論が利用される場合が多い．ここでは例として整数のべき乗演算と密接に関係がある離散対数問題を取り上げて，幾つかの性質を紹介する．そして