安全な代理量子計算

摘要

本稿では，安全な代理量子計算について紹介をする。観測ベース量子計算の基本事項を解説し，まず，代理量子計算を行う方法を示し，それを安全にする方法について言及する。その後，代表的なプロトコルであるBroadbent-Fitzsimons-Kashefiのプロトコルの基本的な考え方を紹介し，その非対話版のMorimae-Fujiiプロトコルについて言及する。安全性はクライアントのプライバシーの観点から定義されているが，サーバーの不正に対応する検証可能性の観点からの解説をする。