研究課題/領域番号 |
19J21153
|
研究種目 |
特別研究員奨励費
|
配分区分 | 補助金 |
応募区分 | 国内 |
審査区分 |
小区分60070:情報セキュリティ関連
|
研究機関 | 電気通信大学 (2021) 東北大学 (2019-2020) |
研究代表者 |
宮原 大輝 電気通信大学, 大学院情報理工学研究科, 助教
|
研究期間 (年度) |
2019-04-25 – 2022-03-31
|
研究課題ステータス |
完了 (2021年度)
|
配分額 *注記 |
2,500千円 (直接経費: 2,500千円)
2021年度: 800千円 (直接経費: 800千円)
2020年度: 800千円 (直接経費: 800千円)
2019年度: 900千円 (直接経費: 900千円)
|
キーワード | 理論計算機科学 / 情報セキュリティ / 暗号理論 / 秘密計算 / カードベース暗号 / ゼロ知識証明 / ペンシルパズル / セキュリティ / 暗号 / 物理暗号 / 暗号プロトコル |
研究開始時の研究の概要 |
秘密計算とは、入力に関する情報を一切漏らすことなく、入力に関する何らかの計算を行うことである。例えば、遺伝子データに関する情報を秘密にしたまま、統計処理等を行うことができる。しかし、計算速度による効率性の観点から、実用化・普及には至っていない。 本研究は、その秘密計算を効率的に行うことが可能な方式の開発を目的としている。その達成のために本研究では、物理的なカード組を用いて秘密計算を実現するカードベース暗号に注目する。手軽に計算可能なカードベース暗号の方式をコンピュータ上での暗号方式として応用することで、計算速度の観点から効率的な秘密計算方式の開発を目指す。
|
研究実績の概要 |
秘密計算の一種であるゼロ知識証明に関する成果を、著名な国際論文誌Theoretical Computer Science誌で公表できた。この成果は、ペンシルパズルの解に対するゼロ知識証明プロトコルに関するものであり、本研究課題が推進してきた研究分野の1つである。本論文では、世界的に有名なペンシルパズルであるSlitherlinkの「1つの輪っかを作る」という制約に注目し、そのような制約を持つパズルに対する一般的なゼロ知識証明プロトコルの構成を示した。その構成は、予め証明者が準備した解を検証者が検証するという従来通りの方式ではなく、盤面と同じ大きさの輪っかの面積を証明者が輪っかの外側から1マスずつ減らすことによって、輪っかの性質が保証された解を証明者に作って貰うというアイデアに基づいている。この構成に加えて、本論文では同じ制約を持つペンシルパズルであるMasyuに対する具体的なゼロ知識証明プロトコルを構築した。以上の成果は、フランス共和国Clermont Auvergne大のLafourcade准教授及びRobert氏との共同成果である。このように本研究課題の一部を国際共同研究として推進できたのは、ひとえに本科学研究費助成事業のおかげである。 本年度は上述したペンシルパズルに加え、3彩色問題と同型問題にも取り組み、それらに対するゼロ知識証明プロトコルを査読付き国際会議ProvSec 2021で代表者が発表した。この研究成果の背景には、Goldreichらによって1991年に示された古典的な成果がある。彼らは成果を分かりやすく示すために、物理的な金庫を用いるゼロ知識証明プロトコルを記述している。本研究では、その既存プロトコルに対して代表者らがこれまで培ってきたゼロ知識証明に関するテクニックを動員し、効率化を行った。その結果、健全性エラーが存在しない効率的なプロトコルを構築できた。
|
現在までの達成度 (段落) |
令和3年度が最終年度であるため、記入しない。
|
今後の研究の推進方策 |
令和3年度が最終年度であるため、記入しない。
|