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

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

• 批准号: 20K11687
• 负责人: 大久保 美也子
• 金额: $ 2.5万
• 依托单位: National Institute of Information and Communications Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K11687/
• 关键词: ゼロ知識証明; ランダムオラクル; 暗号要素技術; プライバシ保護; 暗号; プライバシー保護

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

In recent years, the possibility of quantum コ, ピュ, ピュ, タ, <s:1> realization, に, に, て, て has attracted attention to されて, る. Quantum コ ン ピ ュ ー タ が be presently し た occasions, now make わ れ て い る more く の (especially に く の シ ス テ ム で make わ れ て い る ほ と ん ど の の) public key cipher technology の security は loss な わ れ る. ゼ ロ knowledge proof に つ い て も, exception な く, now society be loaded さ れ て い る ほ と ん ど の ゼ は ロ knowledge proof, そ の against た す べ き requirement を reached す る こ と が で き な く な っ て し ま う. そ こ で, quantum コ ン ピ ュ ー タ が be presently し て も ゼ ロ knowledge proof と し て の requirement を against た す こ と が で き る の design gimmick, compose method に つ い て beg を 検 into め た. 従 to の constitute part と は different な る, quantum コ ン ピ ュ ー タ ー が be presently し た と し て も そ の security が nasty shock に は low し な い cipher technology を constitute part と し て Cha う こ と を し scenarios, existing の constitute a French を Cha う occasions を も contains す る of universal な ゼ の ロ knowledge proof design method に つ い て beg を 検 into め た. ま た, マ ル テ ィ パ ー テ ィ を の technology import し た composition of universal を ベ ー ス と し た モ ジ ュ ー ル な synthesis methods に つ い て も beg し 検 た. 単 pure な synthetic で は security が loss な わ れ る こ と を を し, safety insurance っ た ま ま, モ ジ ュ ー ル な synthetic を may と す る technique proposed を し た. Youdaoplaceholder0, non-conversational type ゼロ, knowledge proof of ゼロ, construction method of に た て て, new たな approach を検 to discuss た. 従 formations to の と し て は, ラ ン ダ ム オ ラ ク ル を with い た constitute が mainstream と さ れ る method で あ っ た. そ こ で, よ り presently be な scenarios の に under loading may be と す る た め に, ラ ン ダ ム オ ラ ク ル を with い な い composition method に つ い て beg し 検, plural の way を proposal し た. Method に こ の make づ き, constitute part に quantum コ ン ピ ュ ー タ ー が be presently し た と し て も そ の security が nasty shock に は low し な い を cipher technology with い る こ と に よ り, quantum コ ン ピ ュ ー タ が be presently し て も security を bartender つ こ と が out る non words seaborne の ゼ が ロ knowledge proof composition may と な る.

项目成果

Non-interactive Composition of Sigma-Protocols via Share-then-Hash

• DOI: 10.1007/978-3-030-64840-4_25
• 发表时间: 2020
• 作者: Masayuki Abe;Miguel Ambrona;Andrej Bogdanov;Miyako Ohkubo;Alon Rosen

Non-Interactive Proof of Knowledge from Fiat-Shamir and Correlation Intractable Hash

来自 Fiat-Shamir 的非交互式知识证明和相关的棘手哈希

• 发表时间: 2023
• 作者: Zehua Shang;Miyako Ohkubo;Mehdi Tibouchi;Masayuki Abe
• 通讯作者: Masayuki Abe

Composition of Zero-knowledge Proof Protocols from MPC-in-the-Head with Pre-processing

通过预处理从 MPC-in-the-Head 构建零知识证明协议

• 发表时间: 2023
• 作者: Zhiyu Peng;Miyako Ohkubo;Mehdi Tibouchi;Masayuki Abe
• 通讯作者: Masayuki Abe

Acyclicity Programming for Sigma-Protocols

• DOI: 10.1007/978-3-030-90459-3_15
• 发表时间: 2021
• 期刊: IACR Cryptol. ePrint Arch.
• 作者: Masayuki Abe;Miguel Ambrona;Andrej Bogdanov;Miyako Ohkubo;Alon Rosen