Interactive Proofs for Quantum Black-Box Computations.

Jiang Zhang Yu Yu Dengguo Feng Shuqin Fan Zhenfeng Zhang Kang Yang

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

black box
black boxes
white box
hybrid systems
user interaction
computer graphics
integration testing
rule extraction
theorem proving
white box testing
state transition
neural network
open source
database systems
multimedia
quantum computation
data sets