We provide the first two-party protocol allowing Alice and Bob to evaluate privately even against active adversaries any completely positive, trace-preserving map F ∈ L(A_(in) directX B_(in)) → L(A_(out) directX B_(out)), given as a quantum circuit, upon their joint quantum input state ρ_(in) ∈ D(A_(in) directX B_(in)). 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 [4].
展开▼
