Login / Signup
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