Abstract:SIAM Journal on Computing, Volume 53, Issue 5, Page 1381-1408, October 2024. Fairness is a desirable property in secure computation; informally it means that if one party gets the output of the function, then all parties get the output. Alas, an implication of Cleve's result [18th ACM Symposium on the Theory of Computing, 1986] is that when there is no honest majority, in particular in the important case of the two-party setting, there exist functions that cannot be computed with fairness. In a surprising result, Gordon et al. [18th ACM Symposium on the Theory of Computing, 2008; J. ACM, 58 (2011), 24] showed that some interesting functions can be computed with fairness in the two-party setting and reopened the question of understanding which Boolean functions can be computed with fairness, and which cannot. Our main result in this work is a complete characterization of the (symmetric) Boolean functions that can be computed with fairness in the two-party setting; this settles an open problem of Gordon et al. The statement of the characterization is quite simple: A function can be computed with fairness if and only if the all-one vector or the all-zero vector are in the affine span of either the rows or the columns of the matrix describing the function. This is true for both deterministic and randomized functions. To prove the possibility result, we modify the protocol of Gordon et al.; the resulting protocol computes with full security (and in particular with fairness) all functions that are computable with fairness. Complementing this result, we also show that any function that does not satisfy the aforementioned condition can be reduced to a fair sampling protocol, which, by Agrawal and Prabhakaran [Advances in Cryptology – CRYPTO 2013, 2013], cannot be computed with fairness.

Implementation of Linear Boolean Functions by Self-Correcting Circuits of Unreliable Logic Gates

Implementing Boolean Functions with switching lattice networks

Implementation of a System of Incompletely Specified Boolean Functions in a Circuit of Two-Input Gates by Means of Bi-Decomposition

Local Correction of Linear Functions over the Boolean Cube

On Function-Correcting Codes

A Novel Fault-Tolerant Logic Style with Self-Checking Capability

On linear rewriting systems for Boolean logic and some applications to proof theory

Counterfactual logic gates

Fault-Tolerant Logical Clifford Gates from Code Automorphisms

Boolean Matching Reversible Circuits: Algorithm and Complexity

Boolean Logic as an Error feedback mechanism

Complete Characterization of Fairness in Secure Two-Party Computation of Boolean Functions

Exact Synthesis of Reversible Logic Circuits using Model Checking

A circuit-preserving mapping from multilevel to Boolean dynamics

Lazy Man's Logic Synthesis

Implementation of Fault-tolerant Quantum Logic Gates via Optimal Control

A Logic Programming Framework for Combinational Circuit Synthesis

Synthesis of Fault Tolerant Reversible Logic Circuits

Stability of Linear Boolean Networks

Modelling reliability of reversible circuits with 2D second-order cellular automata

The Binary Linearization Complexity of Pseudo-Boolean Functions