Arbitrable blind quantum computation

Go Sato, Takeshi Koshiba*, Tomoyuki Morimae


研究成果: Article査読

2 被引用数 (Scopus)


Blind quantum computation (of a single-server case) is a two-party cryptographic protocol which involves a quantum computation server Bob and a client Alice who wants to delegate her quantum computation to Bob without revealing her quantum algorithms and her input to and output from the algorithms. Since Bob may be truant and pretend to execute some computation, Alice wants to verify Bob’s honesty on computation. To resolve this problem, the notion of the verifiability has been considered in the literature and several protocols of verifiable blind computation have been developed. Verifiable blind quantum computation enables Alice to check whether Bob is cheating or not. In addition to the above problem, another problem could arise. If Alice pretends to be a client and is actually a competitor against Bob, then she might slander Bob by fabricating his dishonesty. Therefore, if either Alice or Bob is cheating, then a “neutral” referee other than Alice and Bob should judge which is honest. The standard definition of the verifiability guarantees that only Alice can verify Bob’s computation, and thus, it should be called private verifiability. If Bob claims his innocence though he is actually cheating, then Alice cannot persuade any others that Bob is really cheating while Alice can recognize Bob’s cheating. In this paper, we incorporate arbitrators as the third party into blind quantum computation to resolve the above problems and give an arbitrable blind quantum computation scheme, which provides public verifiability in some sense.

ジャーナルQuantum Information Processing
出版ステータスPublished - 2019 12月 1

ASJC Scopus subject areas

  • 電子材料、光学材料、および磁性材料
  • 統計物理学および非線形物理学
  • 理論的コンピュータサイエンス
  • 信号処理
  • モデリングとシミュレーション
  • 電子工学および電気工学


「Arbitrable blind quantum computation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。