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

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

基本信息

项目摘要

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

项目成果

期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Non-interactive Composition of Sigma-Protocols via Share-then-Hash
  • DOI:
    10.1007/978-3-030-64840-4_25
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Masayuki Abe;Miguel Ambrona;Andrej Bogdanov;Miyako Ohkubo;Alon Rosen
  • 通讯作者:
    Masayuki Abe;Miguel Ambrona;Andrej Bogdanov;Miyako Ohkubo;Alon Rosen
Non-Interactive Proof of Knowledge from Fiat-Shamir and Correlation Intractable Hash
来自 Fiat-Shamir 的非交互式知识证明和相关的棘手哈希
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    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 构建零知识证明协议
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    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
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Masayuki Abe;Miguel Ambrona;Andrej Bogdanov;Miyako Ohkubo;Alon Rosen
  • 通讯作者:
    Masayuki Abe;Miguel Ambrona;Andrej Bogdanov;Miyako Ohkubo;Alon Rosen
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

大久保 美也子其他文献

大久保 美也子的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似海外基金

A Development of Signature Schemes Optimized to Blockchains and IoT Devices
针对区块链和物联网设备优化的签名方案的开发
  • 批准号:
    19K20272
  • 财政年份:
    2019
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
公開鍵暗号における安全性証明理論に関する研究
公钥密码技术中的安全证明理论研究
  • 批准号:
    03J50991
  • 财政年份:
    2003
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了