発表のポイント：

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

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

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


[画像1]https://digitalpr.jp/simg/2341/95212/600_241_2024091816440366ea84c316066.png


2．本研究の成果および技術のポイント
　今回、証拠暗号を使わずにリセット可能統計的ゼロ知識アーギュメントを実現することは不可能ということを証明し、上記の未解決問題を解決しました。特に、リセット可能統計的ゼロ知識アーギュメントを用いると証拠暗号を構築できることを示し、それによりリセット可能統計的ゼロ知識アーギュメントを実現することは証拠暗号を実現することと等価であることを示しました（図２）。
　技術的ポイントとして、本研究ではリセット可能統計的ゼロ知識アーギュメントの安全性を直接的に証拠暗号の実現に利用する代わりに、以下の２ステップによりリセット可能統計的ゼロ知識アーギュメントの安全性を間接的に利用することで証拠暗号を実現しました。

まずリセット可能統計的ゼロ知識アーギュメントが（その安全性がゆえに）ある性質を必ず満たすことを示す。
次に当該性質を利用すると証拠暗号を実現できることを示す。

　具体的には、まずリセット可能統計的ゼロ知識アーギュメントの高い安全性は証明者が送信するメッセージに大きな制約をかけることに着目し、ある特定の場合では証明者が送るメッセージが秘密情報に依存せず証明者が用いる乱数のみで定まらなければならないことを示しました。次に、この性質が比較的簡単に証拠暗号の実現へ利用できるものであることに着目し、それによりリセット可能統計的ゼロ知識アーギュメントから証拠暗号を実現しました（図３）。


[画像2]https://digitalpr.jp/simg/2341/95212/600_134_2024091816441566ea84cf0a1fc.png



[画像3]https://digitalpr.jp/simg/2341/95212/600_239_2024091816442666ea84dabc0fb.png


３．今後の展開
　今後もゼロ知識証明の研究開発を推進し、IOWN PETsの一技術として、データが生成されてから消滅するまでの全ての期間において、データ所有者のポリシーの範囲内でのみ利用されることを技術的に保証し、安全なデータ流通を可能とする「平文のない世界」をめざすことに貢献して参ります。また、将来的にはNTTが研究するLLM tsuzumiのセキュアな学習への適用やNTTが推進するIOWN PETs機能として実用化することをめざします。

【用語解説】
※１．ゼロ知識証明 (zero-knowledge proof)
ゼロ知識証明は証明者と検証者と呼ばれる二者の間で行われる暗号プロトコルです。大まかには、ゼロ知識証明では証明者による検証者に対する証明が以下の形で行われます。証明開始時には、証明者と検証者の両者は証明される命題を公開情報として持ち、更に証明者は命題が成り立つことの証拠を秘密情報として持っています。そして、検証者による質疑に証明者が回答するという質疑応答形式の対話を行うことにより証明者は命題が真であることの証明を行い、検証者は証明者による応答内容をチェックすることで証明を検証します。ゼロ知識証明が保証する安全性には、完全性（適切な証拠を持つ証明者が真の命題を証明できること）、健全性（悪意のある証明者が偽の命題を証明できないこと）、およびゼロ知識性（証明者の持つ証拠について命題の真偽以上の情報が悪意のある検証者に対して漏れないこと）の三つがあります。

※２．統計的ゼロ知識アーギュメント (statistical zero-knowledge argument)
ゼロ知識証明は、ゼロ知識性をどのような計算能力の攻撃者に対して保証するかに応じて計算量的（computational）と統計的（statistical）の二つに大別されるとともに、健全性をどのような計算能力の攻撃者に対して保証するかに応じて証明（proof）とアーギュメント（argument）の二つに大別されます。ゼロ知識性が無限の計算能力を持つ攻撃者に対して保証され、健全性が現実的な上限付きの計算能力を持つ攻撃者（具体的には多項式時間攻撃者と呼ばれるもの）に対してのみ保証される場合のゼロ知識証明を、統計的ゼロ知識アーギュメント（statistical zero-knowledge argument）と呼びます。

※３．リセット可能統計的ゼロ知識アーギュメント (resettable statistical zero-knowledge argument)
リセット可能統計的ゼロ知識アーギュメント（resettable statistical zero-knowledge argument）は、複数の証明が同じ乱数を用いて生成された場合でもゼロ知識性を保証する統計的ゼロ知識アーギュメントです。乱数の使用はゼロ知識証明を含む多くの暗号技術に不可欠であることが知られていますが、暗号技術に必要となる真の乱数の生成には物理現象の利用などが必要となるため生成コストが高いことが問題となります。リセット可能統計的ゼロ知識アーギュメントは乱数を再利用してもゼロ知識性を保証するため、真の乱数を事前に一度だけ生成しておけば証明生成時の乱数生成が不要になり、真の乱数の生成が難しい環境でも使用できるというメリットがあります。

※４．証拠暗号 (witness encryption)
証拠暗号（witness encryption）は公開鍵暗号の一般化として提案された暗号技術です。通常の公開鍵暗号では公開鍵で暗号化を行い対応する秘密鍵で復号を行いますが、証拠暗号では任意のNPインスタンス（NP instance、問題例 [例えば数学の定理など]）を用いて暗号化を行い対応する証拠（witness、問題例に対する効率的に検証可能な答え [例えば定理に対する証明など]）を用いて復号を行います。

※５．IOWN PETs： https://www.rd.ntt/sil/project/iown-pets/iown-pets.html



プレスリリース詳細へ https://digitalpr.jp/r/95212