研究課題/領域番号 |
21K17702
|
研究種目 |
若手研究
|
配分区分 | 基金 |
審査区分 |
小区分60010:情報学基礎論関連
|
研究機関 | 茨城大学 |
研究代表者 |
品川 和雅 茨城大学, 理工学研究科(工学野), 助教 (20896089)
|
研究期間 (年度) |
2021-04-01 – 2026-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
2025年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2024年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
キーワード | 暗号理論 / カードベース暗号 / 秘密計算 |
研究開始時の研究の概要 |
秘密計算とは、各参加者の入力情報を隠したまま全員の入力に関するある計算を行う暗号技術である。通常、秘密計算プロトコルはコンピュータ上に実装されるが、物理的なカード組を用いても秘密計算を実現できることが知られている(カードベース暗号)。カードベース暗号にはいくつかの未解決問題があるが、アドホックな手法では解決することが難しいように思われる。そのため、本研究ではカードベース暗号の背後に潜む数理構造を明らかにすることを試みる。特に本研究では、申請者が最近提案した概念である文字列の共役化問題の考察に取り組み、その理論を深めることでカードベース暗号の数理を解き明かすことを目指す。
|
研究実績の概要 |
本年度に実施した研究の具体的な成果は以下の通りである。 カードベース暗号において、どのようなシャッフルのクラスが効率的に実現できるかを調べることは重要な研究課題である。前年度の成果であるグラフシャッフルの研究を拡張し、グラフシャッフルを実現するプロトコルの効率化とハイパーグラフに対するシャッフルの実現可能性を示した。本成果は査読付き英語論文誌IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciencesに採録された。 カードベース暗号において、具体的な関数に対する効率的なプロトコルを構成することは重要な研究課題である。まず、ソート関数に対するカードベースプロトコルを初めて構成した。本成果は査読付き国際会議IWSEC 2022で発表した。次に、コインというカードに似た物理オブジェクトを用いたコインベースプロトコルの研究を行い、AND関数やXOR関数やコピー関数等の基本的な関数に対するコミット型プロトコルの提案を行った。次に、正多角形カードを用いた投票プロトコルの効率化を行った。本成果は国内研究集会SCIS 2023で発表した。次に、数コロというペンシルパズルに対するゼロ知識証明プロトコルの構成を初めて行った。 カードベース暗号とその他の秘密計算モデルの関係性を調べることは重要な研究課題である。我々は、秘匿同時通信という秘密計算とカードベース暗号との関係性について調べ、任意の有限時間カードベースプロトコルは秘匿同時通信に一般的に変換可能であることを示した。本成果は国内研究集会SCIS 2023で発表した。また、秘匿同時通信自体の通信量の下界についても調べ、具体的な関数に対する非自明な下界を導出した。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
本年度は、カードベース暗号と秘密計算の関係性に関する、当初は全く予期していなかった知見が得られたため、当初の計画以上に進展したと思われる。
|
今後の研究の推進方策 |
次年度も本年度と同様に継続して研究に取り組み、国内会議、国際会議、論文誌等に発表していくつもりである。また、本年度はカードベース暗号と秘密計算の関係性に関する新しい発見を行うことができた。次年度は、これまでに発見した事柄をさらに探究することを計画している。
|