Login / Signup
Classical Verification of Quantum Computations in Linear Time.
Jiayu Zhang
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
quantum computation
quantum mechanics
model checking
formal verification
neural network
quantum computing
classical methods
machine learning
face verification
quantum evolutionary algorithm
functional verification
verification method
database
video sequences
database systems
data mining
data sets