Louis Salvail: Secure Two-Party Evaluation of Quantum Circuits Against Any Adversary

Abstract

We provide the first two-party protocol allowing Alice and Bob to evaluate privately even against active adversaries a completely positive, trace-preserving map F, given as a quantum circuit, upon their joint quantum input state. Our protocol leaks no more to any active adversary than an ideal functionality for F provided Alice and Bob have the cryptographic resources for active secure two-party classical computation. Our protocol is constructed from the protocol for the same task secure against specious adversaries presented in [DupuisNielsenSalvail10]. We show how to transform it so that it preserves privacy against active adversaries as well.