Constant-round Blind Classical Verification of Quantum Sampling.

Kai-Min Chung Yi Lee Han-Hsuan Lin Xiaodi Wu

Published in: CoRR (2020)

Keyphrases

quantum computation
quantum mechanics
model checking
quantum probability
sampling strategy
random sampling
signature verification
logic circuits
temporal logic
decision trees
sampling algorithm
sampling rate
formal methods
verification method
monte carlo
sample size
model selection
active learning
lower bound