| 研究課題/領域番号 |
23K13007
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分12030:数学基礎関連
|
|---|
| 研究機関 | 熊本大学 |
|---|
研究代表者 |
佐竹 翔平 熊本大学, 半導体・デジタル研究教育機構, 准教授 (30914204)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2025年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2024年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2023年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | エクスパンダーグラフ / 暗号学的ハッシュ関数 / スペクトラルグラフ理論 / 代数的グラフ理論 / 暗号数理 |
|---|
| 研究開始時の研究の概要 |
エクスパンダーは, 高い連結性をもつスパースなグラフであり, その明示的構成にはグラフの不変量評価などへの数学的応用や, (暗号学的)ハッシュ関数に基づく(耐量子計算機)暗号方式の設計などへの理論的応用がある. 一方, グラフ上のハッシュ関数の衝突困難性, 混合性などの性質は, グラフのエクスパンダーとしての性質を示唆する.
本研究では新しいエクスパンダーの明示的構成を与える. 実際には代数的手法で構成したグラフからハッシュ関数を構成し, その衝突困難性や混合性を解析することで, エクスパンダー性を調べる. 本研究により, (耐量子計算機)暗号の新たな方式の設計などへの貢献も期待される.
|
| 研究実績の概要 |
本年度の成果として, 推移的グラフ, 特にCayleyグラフ上のハッシュ関数の一種の高次元化を与えた. 具体的には, 相川 勇輔 氏 (東京大学), Hyungrok Jo 特任助教 (横浜国立大学)との共同研究で, Cayleyグラフの2次元化である左右Cayley複体上でランダムウォークモデルを定義し, その上で新たなハッシュ関数 (左右Cayleyハッシュ関数)を提案した. さらに, 複体のスケルトンをなす2つのCayley graphのspectral gapの議論から左右Cayleyハッシュ関数の一様性を証明した. 安全性に関しては, 左右Cayleyハッシュ関数の衝突困難性と一方向性を群のワード問題の形で定式化し, 特に一方向性に関しては従来のCayleyグラフベースのハッシュ関数との違いを議論した. 以上の成果は, エクスパンダーグラフ上のハッシュ関数の高次元化の方向性を示唆しており, 今後の研究の進展が期待される.
一方で, 一般的な次数に対して, ほぼ最適なスペクトラルギャップをもつグラフ (near-Ramanujanグラフ)の構成研究も行い, 一部の次数に対しては, 知られている中で最良のスペクトラルギャップを実現するグラフの無限系列も得ることができた. これらのグラフは有限体上の2次特殊線形群の上で定義される推移的グラフでもあり, ハッシュ関数への応用と安全性解析の議論を現在行っているところである.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
一部の次数に対しては, 知られている中で最良のスペクトラルギャップを実現するグラフの無限系列の構成にも成功した上, 左右Cayleyハッシュ関数という新たなハッシュ関数の構成も行うことで, エクスパンダーグラフ上のハッシュ関数の高次元化という新しい方向性を提案することができたため, 当初の計画以上に本研究は進展していると考えられる.
|
| 今後の研究の推進方策 |
一般的な次数に対するnear-Ramanujanグラフの構成とそのハッシュ関数への応用について, 引き続き検討を進めていく. 特にハッシュ関数への応用を考える上では, 内周などのグラフの閉路に関する情報を精密に評価する必要があり, ここでは四元数代数や保形形式などの手法が有効であると考えられるため, 専門家の意見も仰ぎながら議論を進めていく.
一方で, 左右Cayleyハッシュ関数のさらなる高次元も目指し, 有限群から構成される高次元エクスパンダーなどにも着目し, その上でのランダムウォークとハッシュ関数の定式化を検討する予定である.
さらに, 得られている推移的グラフからCGLハッシュ関数を構成して一様性などのシミュレーションも引き続き行っていく.
|
