权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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安全な関数型暗号においては、暗号化されたデータが正しく消去されたかを確認することができ、正しく消去された場合にはあとから計算量的な仮定が破れたとしても、将来的に情報が漏洩することはない。

The secret code security unconditional ideal Security is impossible, security is calculated, and security is necessary. The security of the calculation quantity is determined by the calculation quantity. The security of the calculation quantity is determined by the calculation quantity. This research is aimed at introducing Certified Everlasting security and new security. This study was conducted to confirm the safety of Certified Everlasting. The security of the code is established by the calculation of the number of times the code is deleted. The security of the basis of the calculation is determined by the security of the violation, the encryption is determined by the elimination of the confirmation, and the security of the future is determined by the existence of the danger. This study demonstrates that Certified Everlasting security is a key component of QMA. QMA knowledge is necessary to determine the number of passwords The problem of leakage of information exists when the secret code is transmitted and the calculation quantity is determined. This study constitutes Certified Everlasting Security, Certified Everlasting Security.