A Study on Breaking and Avoiding Relativization Barriers against Constructing One-Way Functions

Research Project

Project/Area Number	23K19957
Research Category	Grant-in-Aid for Research Activity Start-up
Allocation Type	Multi-year Fund
Review Section	1001:Information science, computer engineering, and related fields
Research Institution	Tokyo Institute of Technology
Principal Investigator	七島幹人東京工業大学, 情報理工学院, 助教 (90855222)
Project Period (FY)	2023-08-31 – 2025-03-31
Project Status	Granted (Fiscal Year 2023)
Budget Amount *help	¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000) Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000) Fiscal Year 2023: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords	一方向性関数 / 証明系 / 計算複雑さ理論
Outline of Research at the Start	暗号技術の核となる要素である一方向性関数をNP問題の困難性から構成するという重要未解決問題の解決に向けて，現在知られている課題解決に関する証明手法の障壁である，相対化の障壁の突破と回避を目指した研究を行う．障壁の突破に関しては従来の研究に証明系の観点を加え，証明系にまつわる相対化しない手法を証明中に組み込むことを目指す．障壁の回避に関しては，多項式時間困難性仮定の代わりにNPの準指数時間困難性仮定を適用し，従来の相対化の障壁の構成が成立しない領域においての一方向性関数の構成アプローチを試みる．