Complexity-Theoretic Approach to Revealing the Efficiency Limits in Secure Computation

• Project/Area Number: 25K14992
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60010:Theory of informatics-related
• Research Institution: Mie University
• Principal Investigator: 河内 亮周 三重大学, 工学研究科, 教授 (00397035)
• Project Period (FY): 2025-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000); Fiscal Year 2028: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2027: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2026: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2025: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
• Keywords: 秘密計算 / 秘密同時通信プロトコル / 通信複雑度理論

Outline of Research at the Start

秘密計算は複数の参加者が各自の秘密情報を他の参加者に漏らさずに全体の情報から有益な計算を行う通信プロトコルである．このプロトコルは各参加者が他の参加者と暗号通信を行うことで達成されるが，秘密を漏らしても良い場合と比べて通信量の増加などの余分なコストが不可避なことは容易に想像できる．しかし，そのコストがどの程度必要であるかという解析はまだ十分に進展していない．本研究では，近年の研究で明らかになりつつある秘密計算と計算量理論の関係に着目し，Neciporuk測度や符号化論法など計算量理論の手法によって秘密計算実現に不可避なコストを解析するための計算量理論的アプローチを構築することを目指す．