Arbitrable blind quantum computation

Go Sato, Takeshi Koshiba, Tomoyuki Morimae

研究成果: Article

抄録

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.

元の言語English
記事番号370
ジャーナルQuantum Information Processing
18
発行部数12
DOI
出版物ステータスPublished - 2019 12 1

Fingerprint

Quantum computers
Quantum Computation
quantum computation
Resolve
Servers
Verify
Network protocols
Cryptographic Protocols
Quantum Algorithms
Single Server
Server
output
Output

ASJC Scopus subject areas

  • Electronic, Optical and Magnetic Materials
  • Statistical and Nonlinear Physics
  • Theoretical Computer Science
  • Signal Processing
  • Modelling and Simulation
  • Electrical and Electronic Engineering

これを引用

Arbitrable blind quantum computation. / Sato, Go; Koshiba, Takeshi; Morimae, Tomoyuki.

:: Quantum Information Processing, 巻 18, 番号 12, 370, 01.12.2019.

研究成果: Article

Sato, Go ; Koshiba, Takeshi ; Morimae, Tomoyuki. / Arbitrable blind quantum computation. :: Quantum Information Processing. 2019 ; 巻 18, 番号 12.
@article{211ad7bc395a45299d4e65eabbc1074c,
title = "Arbitrable blind quantum computation",
abstract = "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.",
author = "Go Sato and Takeshi Koshiba and Tomoyuki Morimae",
year = "2019",
month = "12",
day = "1",
doi = "10.1007/s11128-019-2482-4",
language = "English",
volume = "18",
journal = "Quantum Information Processing",
issn = "1570-0755",
publisher = "Springer New York",
number = "12",

}

TY - JOUR

T1 - Arbitrable blind quantum computation

AU - Sato, Go

AU - Koshiba, Takeshi

AU - Morimae, Tomoyuki

PY - 2019/12/1

Y1 - 2019/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85074264001&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85074264001&partnerID=8YFLogxK

U2 - 10.1007/s11128-019-2482-4

DO - 10.1007/s11128-019-2482-4

M3 - Article

AN - SCOPUS:85074264001

VL - 18

JO - Quantum Information Processing

JF - Quantum Information Processing

SN - 1570-0755

IS - 12

M1 - 370

ER -