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

プライバシー保護とデータ利活用を両立させるモジュール構成可能な暗号技術

模块化可配置加密技术，平衡隐私保护和数据利用

基本信息

批准号：
20K11687
负责人：
大久保美也子
金额：
$ 2.5万
依托单位：
National Institute of Information and Communications Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

近年、量子コンピュータの実現可能性について注目されている。量子コンピュータが実現した場合、現在使われている多くの(特に多くのシステムで使われているほとんどの公開鍵系の)暗号技術の安全性は損なわれる。ゼロ知識証明についても、例外なく、現在社会実装されているほとんどのゼロ知識証明は、その満たすべき要求条件を達成することができなくなってしまう。そこで、量子コンピュータが実現してもゼロ知識証明としての要求条件を満たすことができる方式の設計手法・構成方法について検討を進めた。従来の構成部品とは異なる、量子コンピューターが実現したとしてもその安全性が急激には低下しない暗号技術を構成部品として扱うことを想定し、既存の構成法式を扱う場合をも包含する汎用的なゼロ知識証明の設計方法について検討を進めた。また、マルティパーティの技術を導入した汎用的構成をベースとしたモジュール的な合成方法についても検討した。単純な合成では安全性が損なわれることを示し、安全性を保ったまま、モジュール的な合成を可能とする手法を提案した。さらに、非対話型のゼロ知識証明の構成方法について、新たな手法を検討した。従来の構成方法としては、ランダムオラクルを用いた構成が主流とされる方法であった。そこで、より現実的な想定の下に実装可能とするために、ランダムオラクルを用いない構成方法について検討し、複数の構成方法を提案した。この構成方法に基づき、構成部品に量子コンピューターが実現したとしてもその安全性が急激には低下しない暗号技術を用いることにより、量子コンピュータが実現しても安全性を保つことが出来る非対話型のゼロ知識証明が構成可能となる。

In recent years, quantum technology has become a possibility of realization. The security of quantum cryptography is compromised when quantum cryptography is implemented. The proof of knowledge, exception, and the present society are required to meet the requirements of knowledge proof. For example, the quantum computer can be used to realize the knowledge proof, the design method and the composition method. Future components are different, quantum computing is realized, security is stimulated, code technology is composed of components, existing components are considered, and universal knowledge proof design methods are included. The composition of the composition A proposal for a safe, secure, and synthetic approach The paper discusses the construction method of knowledge proof of non-correspondence type and new method. The method of forming the main stream is to change the composition of the main stream. In this paper, we propose a method of constructing a plurality of components under the condition that they are fixed. The method of construction is based on the principle of quantum computing, the security of the components, and the security of the components.