Login / Signup
Succinct Classical Verification of Quantum Computation.
James Bartusek
Yael Tauman Kalai
Alex Lombardi
Fermi Ma
Giulio Malavolta
Vinod Vaikuntanathan
Thomas Vidick
Lisa Yang
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
quantum computation
model checking
face verification
verification method
real time
databases
computational complexity
temporal logic
integrity verification