Distributed Quantum Interactive Proofs.

François Le Gall Masayuki Miyamoto Harumichi Nishimura

Published in: CoRR (2022)

Keyphrases

distributed systems
distributed environment
peer to peer
user friendly
fault tolerant
real time
neural network
information retrieval
cooperative
distributed network
communication overhead
theorem prover
theorem proving
interactive video
distributed data
computing environments
mobile agents
lightweight
databases