secure cloud quantum computing based on local Hamiltonian

2020 Fiscal Year Final Research Report

• Project/Area Number: 17K12637
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Theory of informatics
• Research Institution: Kyoto University
• Principal Investigator: Tomoyuki Morimae 京都大学, 基礎物理学研究所, 准教授 (50708302)
• Project Period (FY): 2017-04-01 – 2021-03-31
• Keywords: 量子暗号

Outline of Final Research Achievements

We constructed non-interactive proof for QMA and non-interactive zero-knowledge proof (with information theoretical zero-knolwdge) based on the local Hamiltonian technique and the recent construction of zero-knolwedge for QMA by Broadbent and Grilo.

Free Research Field

量子計算

Academic Significance and Societal Importance of the Research Achievements

量子計算が将来普及した際に、クラウド量子計算が正しい計算を行っているかどうかを簡単に確認することができる。また、悪意のある利用者がクラウドの秘密を盗み見ようとする場合でも、それを防ぐような暗号プロトコルが実現できる。これらの安全性は量子の性質を使うことにより、情報理論的安全なものになっており、非常に強力な安全性が達成されている。