• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 22KJ1969
補助金の研究課題番号 22J21864 (2022)
研究種目

特別研究員奨励費

配分区分基金 (2023)
補助金 (2022)
応募区分国内
審査区分 小区分60010:情報学基礎論関連
研究機関京都大学

研究代表者

廣岡 大河  京都大学, 理学研究科, 特別研究員(DC1)

研究期間 (年度) 2023-03-08 – 2025-03-31
研究課題ステータス 交付 (2023年度)
配分額 *注記
1,500千円 (直接経費: 1,500千円)
2024年度: 500千円 (直接経費: 500千円)
2023年度: 500千円 (直接経費: 500千円)
2022年度: 500千円 (直接経費: 500千円)
キーワード量子暗号 / ゼロ知識証明 / 関数型暗号
研究開始時の研究の概要

暗号においては仮定を必要としない安全性(情報理論的安全)が理想的である。しかしながら、多くの暗号機能において、情報理論的安全は不可能であり、計算量的な仮定を必要とする安全性(計算量的安全性)しか達成できない。一方で、計算量的安全性は、計算量的な仮定が正しいとは限らないので、後から仮定が破れた場合、将来的に安全性が破れる問題が存在する。
本研究では、Certified Everlasting安全性という新しい安全性の概念を導入し、この安全性を満たす暗号を構成する。新たに導入する安全性において、暗号化されたデータが正しく消去されたか確認することができ、正しく消去された場合に無条件に安全性が成り立つ。

研究実績の概要

本年度の研究は大きく分けて二つに分けられる。
一つ目は、Certified Everlasting安全な関数型暗号の構成である。Certified Everlasting安全性においては、暗号化されたデータが正しく消去されたか確認することができる。暗号化されたデータが正しく消去された場合には、後から計算量的な仮定が破れたとしても安全性が成り立つ。昨年度の研究において、鍵クエリ回数が限定されているCertified Everlasting安全な関数型暗号を構成した。本年度はその構成方法をさらに吟味することにより、何回も鍵クエリーできる安全性を持った構成方法を構成した。

二つ目は、量子暗号に対するUniversal Constructionに関する研究である。
Universal Constructionとは、暗号が存在するという仮定が成り立つ限り、安全な暗号方式のことである。多くの量子暗号方式の安全性は仮定に基づいており、仮定が破れては安全性が成り立たないため、できるだけ弱い仮定に基づいた方式を構成することが重要である。Universal Constructionは、暗号の存在性という最も弱い仮定に基づいた暗号方式であるため、この構成方法を示すことは安全性にとって重要である。これまでの研究では、量子暗号においてはUniversal Constructionは構成されてこなかった。本研究では、量子暗号に対するUniversalConstructionを構成することに初めて成功した。

現在までの達成度 (区分)
現在までの達成度 (区分)

1: 当初の計画以上に進展している

理由

採用期間中にCeritifed Everlasting安全なQMAに対するゼロ知識証明を構成することが当初の計画であったが、これを達成したため。
また、関数型暗号等の発展的な暗号についても、Certified Everlasting安全性を達成したため。

今後の研究の推進方策

より高機能な量子暗号について、Certified Everlasting安全性を達成することに取り組む。また、最新の量子暗号の研究で一方向性関数を仮定しない量子暗号が注目を集めている。次年度は、一方向性関数を仮定しない量子暗号の計算複雑性について取り組む。

報告書

(2件)
  • 2023 実施状況報告書
  • 2022 実績報告書
  • 研究成果

    (6件)

すべて 2024 2022

すべて 雑誌論文 (1件) (うち査読あり 1件、 オープンアクセス 1件) 学会発表 (5件) (うち国際学会 3件)

  • [雑誌論文] Certified Everlasting Zero-Knowledge Proof for QMA2022

    • 著者名/発表者名
      Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
    • 雑誌名

      Crypto 2022, Lecture Notes in Computer Science

      巻: 13507 ページ: 239-268

    • DOI

      10.1007/978-3-031-15802-5_9

    • ISBN
      9783031158018, 9783031158025
    • 関連する報告書
      2022 実績報告書
    • 査読あり / オープンアクセス
  • [学会発表] Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More2024

    • 著者名/発表者名
      Taiga Hiroka, Fuyuki Kitagawa, Tomoyuki Morimae, Ryo Nishimaki, Tapas Pal, Takashi Yamakawa
    • 学会等名
      Eurocrypt2024
    • 関連する報告書
      2023 実施状況報告書
    • 国際学会
  • [学会発表] Certified Everlasting Zero-Knowledge Proof for QMA2022

    • 著者名/発表者名
      Taiga Hiroka
    • 学会等名
      Crypto2022
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] Certified Everlasting Zero-Knowledge Proof for QMA2022

    • 著者名/発表者名
      Taiga Hiroka
    • 学会等名
      QCrypt2022
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] QMAに対するCertified Everlastingゼロ知識証明2022

    • 著者名/発表者名
      Taiga Hiroka
    • 学会等名
      QIT46
    • 関連する報告書
      2022 実績報告書
  • [学会発表] Certified Everlasting Functional Encryption2022

    • 著者名/発表者名
      Taiga Hiroka
    • 学会等名
      QIT47
    • 関連する報告書
      2022 実績報告書

URL: 

公開日: 2022-04-28   更新日: 2024-12-25  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi