追加情報を漏らさずに真実性保証ができる「ゼロ知識証明」における未解決問題を解決 ～証明生成時に乱数を再利用しても秘密情報が漏れないゼロ知識アーギュメントの実現方針を確立～

発表のポイント：

ゼロ知識証明（※１）の中でも高い安全性をもつリセット可能統計的ゼロ知識アーギュメント（※２、※３）について、その実現には証拠暗号（※４）の利用が不可欠であることを世界で初めて証明しました。
「平文のない世界」をめざすIOWN PETs（※５）の一技術として金融や医療/ヘルスケアなど様々な分野での利用が期待されるゼロ知識証明の実用化に貢献する成果です。

　日本電信電話株式会社（本社：東京都千代田区、代表取締役社長：島田　明、以下「NTT」）は、高い安全性を持つゼロ知識証明であるリセット可能統計的ゼロ知識アーギュメントの実現には、実質的に証拠暗号の利用が不可欠であることを世界で初めて厳密に証明しました。ゼロ知識証明は、相手に追加情報を与えることなく主張の真実性だけを証明する暗号プロトコルの一つであり、例えばパスワードを開示せずに正しいパスワードを持っていることを証明することができる画期的な技術です。本成果は、リセット可能統計的ゼロ知識アーギュメントと呼ばれる非常に安全性が高いゼロ知識証明の構成方針を確立することで、今後、金融や医療/ヘルスケアなど様々な分野での利用が期待されるゼロ知識証明の実用化に大きく貢献するものです。なお、本成果は暗号理論における最高峰国際会議である the 44th Annual International Cryptology Conference (CRYPTO 2024) において発表されました。　　

1．背景
　ゼロ知識証明はある命題（主張）が正しいことを一切の追加情報を開示することなく証明する暗号プロトコルの一つです。例えば、パスワードを開示せずに正しいパスワードを持っていることを証明する認証技術として使用できるほか、個人情報を相手に提示することなく年齢確認が可能となるためプライバシー保護の観点からも画期的な技術です（図１）。近年では、暗号通貨において取引内容を秘匿したまま取引が正しく実行されたことを証明するためにも利用されており、注目されています。
　ゼロ知識証明の中で非常に安全性の高いものとしてリセット可能統計的ゼロ知識アーギュメントがあり、これは証拠暗号と呼ばれる暗号技術を用いることで実現できることが知られています。しかし、証拠暗号を使わずにリセット可能統計的ゼロ知識アーギュメントが実現できるかは未解決問題となっていました。