非対話ゼロ知識証明の言語拡張可能性に関する研究

• 研究課題/領域番号: 23K16881
• 研究種目: 若手研究
• 配分区分: 基金
• 審査区分: 小区分60070:情報セキュリティ関連
• 研究機関: 大阪大学
• 研究代表者: 山下 恭佑 大阪大学, 大学院情報科学研究科, 助教 (90935743)
• 研究期間 (年度): 2023-04-01 – 2026-03-31
• 研究課題ステータス: 交付 (2023年度)
• 配分額: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円); 2025年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2024年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2023年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
• キーワード: ゼロ知識証明 / ブラックボックス帰着 / 暗号理論

研究開始時の研究の概要

本研究課題は非対話ゼロ知識証明（NIZK）という暗号技術を改良する手法が存在するかを理論的に明らかにする．NIZKとは解くことが難しいとされるNP言語の答えをある人が知っていることを，答えそのものを明かさず他人に証明する技術である．異なるNP言語に対するNIZKが与えられたときに，それらを用いて“等式言語”と呼ばれる特殊な形をした言語を証明するNIZKが一般に構成可能かを，与えられるNIZKの特徴やその証明するNP言語の観点から検討する．等式言語を証明するNIZKはAIなどの豊富なアプリケーションを持つ．このような研究は今後のNIZKの研究開発に大いに影響を与えると期待される．