講演抄録/キーワード |
講演名 |
2021-08-25 16:30
量子計算を古典委託するための合理的なサムチェックプロトコル ○竹内勇貴(NTT)・森前智行(京大)・谷 誠一郎(NTT) COMP2021-11 |
抄録 |
(和) |
近年,合理的な委託量子計算という新しい委託量子計算モデルが提案された。
このモデルでは,クライアントがサーバに量子計算を委託した後,クライアントからサーバに報酬を支払う。
本発表で,我々は1ラウンドの合理的な委託量子計算プロトコルを提案する。
従来のプロトコルの構成は量子ゲートセットに依存していたが,我々が用いるサムチェックプロトコルは任意のローカルなゲートセットに簡単に適用可能である。
さらに,我々は,ある条件のもとで,合理的な委託量子計算と通常の委託量子計算が等価になることも示す。 |
(英) |
Recently, a new model of delegated quantum computing has been proposed, namely, rational delegated quantum computing.
In this model, after a client delegates quantum computing to a server, the client pays a reward to the server.
In this talk, we propose novel one-round rational delegated quantum computing protocols.
The construction of the previous rational protocols depends on gate sets, while our sumcheck technique can be easily realized with any local gate set.
Furthermore, we show, under a certain condition, the equivalence between rational and ordinary delegated quantum computing protocols.
These results are published in Ref. [1]. |
キーワード |
(和) |
量子計算 / 合理的な対話型証明 / ゲーム理論 / / / / / |
(英) |
Quantum computing / Rational interactive proof / Game theory / / / / / |
文献情報 |
信学技報, vol. 121, no. 149, COMP2021-11, pp. 10-13, 2021年8月. |
資料番号 |
COMP2021-11 |
発行日 |
2021-08-18 (COMP) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2021-11 |