James Bartusek, UC Berkeley
The study of secure multi-party computation (MPC) has thus far considered either entirely classical participants or entirely quantum participants. This talk will describe (maliciously-secure) protocols for a hybrid notion of MPC, which enables multiple classical parties to enlist the resources of a quantum server in order to compute quantum functionalities over their joint private inputs. The main technical building block is a construction of (constant-round) composable blind classical verification of quantum computation, which is used to construct various flavors of MPC for quantum functionalities with classical communication.
Recording of the talk