Characterization of Secure Multiparty Computation Without Broadcast. (2016)
Ran Cohen, Iftach Haitner, Eran Omri, Lior Rotem.
TCC 2016 (to appear)
Full version draft PDF | FOCS version
Abstract
A major challenge in the study of cryptography is characterizing the necessary and sucient assumptions required to carry out a given cryptographic task. The focus of this work is the necessity of a broadcast channel for securely computing symmetric functionalities (where all the parties receive the same output) when one third of the parties, or more, might be corrupted. Assuming all parties are connected via a peer-to-peer network, but no broadcast channel (nor a secure setup phase) is available, we prove the following characterization:
A symmetric n-party functionality can be securely computed facing n=3 t < n=2 corruptions (i.e., honest majority), if and only if it is (n 2t)-dominated; a functionality is k-dominated, if any k-size subset of its input variables can be set to determine its output. A symmetric n-party functionality can be securely computed facing t n=2 corruptions
(i.e., no honest majority), if and only if it is 1-dominated and can be securely computed with broadcast.
It follows that, in case a third of the parties might be corrupted, broadcast is necessary for securely computing non-dominated functionalities (in which \small" subsets of the inputs cannot determine the output), including, as interesting special cases, the Boolean XOR and coin-flipping functionalities.