2022 Fiscal Year Research-status Report
共役化理論に基づくカードベース暗号の数理構造の解明
Project/Area Number |
21K17702
|
Research Institution | Ibaraki University |
Principal Investigator |
品川 和雅 茨城大学, 理工学研究科(工学野), 助教 (20896089)
|
Project Period (FY) |
2021-04-01 – 2026-03-31
|
Keywords | 暗号理論 / カードベース暗号 / 秘密計算 |
Outline of Annual Research Achievements |
本年度に実施した研究の具体的な成果は以下の通りである。 カードベース暗号において、どのようなシャッフルのクラスが効率的に実現できるかを調べることは重要な研究課題である。前年度の成果であるグラフシャッフルの研究を拡張し、グラフシャッフルを実現するプロトコルの効率化とハイパーグラフに対するシャッフルの実現可能性を示した。本成果は査読付き英語論文誌IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciencesに採録された。 カードベース暗号において、具体的な関数に対する効率的なプロトコルを構成することは重要な研究課題である。まず、ソート関数に対するカードベースプロトコルを初めて構成した。本成果は査読付き国際会議IWSEC 2022で発表した。次に、コインというカードに似た物理オブジェクトを用いたコインベースプロトコルの研究を行い、AND関数やXOR関数やコピー関数等の基本的な関数に対するコミット型プロトコルの提案を行った。次に、正多角形カードを用いた投票プロトコルの効率化を行った。本成果は国内研究集会SCIS 2023で発表した。次に、数コロというペンシルパズルに対するゼロ知識証明プロトコルの構成を初めて行った。 カードベース暗号とその他の秘密計算モデルの関係性を調べることは重要な研究課題である。我々は、秘匿同時通信という秘密計算とカードベース暗号との関係性について調べ、任意の有限時間カードベースプロトコルは秘匿同時通信に一般的に変換可能であることを示した。本成果は国内研究集会SCIS 2023で発表した。また、秘匿同時通信自体の通信量の下界についても調べ、具体的な関数に対する非自明な下界を導出した。
|
Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
本年度は、カードベース暗号と秘密計算の関係性に関する、当初は全く予期していなかった知見が得られたため、当初の計画以上に進展したと思われる。
|
Strategy for Future Research Activity |
次年度も本年度と同様に継続して研究に取り組み、国内会議、国際会議、論文誌等に発表していくつもりである。また、本年度はカードベース暗号と秘密計算の関係性に関する新しい発見を行うことができた。次年度は、これまでに発見した事柄をさらに探究することを計画している。
|
Causes of Carryover |
本年度もコロナ禍の余波でオンライン学会が多かったためである。次年度以降は学会出張が増えることが見込まれるため、問題なく使用できる。
|
Research Products
(9 results)