Everlastingに安全な量子ゼロ知識証明の構築及び安全性証明

永久安全量子零知识证明的构造与安全证明

• 批准号: 22KJ1969
• 负责人: 廣岡 大河
• 金额: $ 0.96万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2023
• 资助国家: 日本
• 起止时间: 2023-03-08 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22KJ1969/
• 关键词: 量子暗号; ゼロ知識証明; 関数型暗号

暗号においては安全性が無条件に成り立つことが理想的である。しかしながら、多くの暗号プリミティブにおいて、仮定なしに安全性が成り立つことは不可能であり、安全性に計算量的な仮定が必要になるということが知られている。一方で、計算量的な仮定に基づいた安全性は、計算量的な仮定が正しいとは限らないので後から仮定が破れた場合、将来的に安全性が破れる問題が存在する。本研究では、Certified Everlasting安全性という新しい安全性を導入を行った。本研究で定式化したCertified Everlasting安全性においては、暗号化されたデータが正しく消去されたか確認することができる。暗号化されたデータが正しく消去された場合には、後から計算量的な仮定が破れたとしても安全性が成り立つ。そのため、これまでの計算量的な仮定に基づいた安全性と違い、暗号化されたデータの消去が確認できた場合には安全性が将来的に破れる危険性が存在しない。次に本研究では、Certified Everlasting安全なQMAに対するゼロ知識証明とCertified Everlasting安全な関数型暗号の構成を行った。QMAに対するゼロ知識証明または関数型暗号を構成するには計算量的な仮定が必要であると考えられている。そのため、暗号化されたデータを送った後に、計算量的な仮定が破れた場合には秘密にしたい情報が漏洩してしまうという問題が存在している。本研究で構成したCertified Everlasting安全なQMAに対するゼロ知識証明またはCertified Everlasting安全な関数型暗号においては、暗号化されたデータが正しく消去されたかを確認することができ、正しく消去された場合にはあとから計算量的な仮定が破れたとしても、将来的に情報が漏洩することはない。

在加密安全性中，理想情况下是无条件的。但是，众所周知，在许多加密原始图中没有假设的情况下，就无法保持安全性，并且安全性需要计算假设。另一方面，基于计算定量假设的安全性并不一定意味着计算定量假设是正确的，并且如果以后违反了假设，则将来存在一个问题，在将来安全。在这项研究中，我们介绍了一项新的安全功能，称为认证的Everlasting Safety。在本研究中提出的经过认证的永恒安全性中，可以确认是否正确删除了加密数据。如果正确删除了加密数据，即使稍后破坏了计算假设，也可以保证安全性。因此，与基于以前的计算假设的安全性不同，如果删除了加密数据，则没有风险将来安全。接下来，在这项研究中，我们为经过认证的安全QMA和经过认证的永恒安全功能密码学构建了零知识证明。人们认为，为QMA构造零知识证明或功能密码需要计算假设。因此，存在一个问题，即如果发送加密数据后，计算假设被损坏，则希望保留秘密的信息将被泄漏。在零知识证明中，用于认证的永久安全QMA或经过认证的永恒的安全功能密码学，这是在本研究中构建的，可以检查是否正确删除了加密数据是否正确删除，即使该数据已正确删除，即使以后不会泄露计算假设，也不会在未来泄漏。

项目成果

Certified Everlasting Functional Encryption

经过认证的永久功能加密

• 发表时间: 2022
• 作者: 〇M. Aoki;Y. Ando;R. Ohshima;E. Shigematsu;T. Shinjo;and M. Shiraishi;Taiga Hiroka;Taiga Hiroka
• 通讯作者: Taiga Hiroka

QMAに対するCertified Everlastingゼロ知識証明

QMA 永久零知识认证

• 发表时间: 2022
• 作者: 〇M. Aoki;Y. Ando;R. Ohshima;E. Shigematsu;T. Shinjo;and M. Shiraishi;Taiga Hiroka
• 通讯作者: Taiga Hiroka