Abstract
AbstractRecent works have made exciting progress on the construction of round optimal, two-round, Multi-Party Computation (MPC) protocols. However, most proposals so far are still complex and inefficient. In this work, we improve the simplicity and efficiency of two-round MPC in the setting with dishonest majority and malicious security. Our protocols make use of the Random Oracle (\({\textsf{RO}}\)) and a generalization of the Oblivious Linear Evaluation (\(\textsf{OLE}\)) correlated randomness, called tensor \(\textsf{OLE}\), over a finite field \(\mathbb {F}\), and achieve the following: MPC for Boolean Circuits: Our two-round, maliciously secure MPC protocols for computing Boolean circuits, has overall (asymptotic) computational cost \(O(S\cdot n^3 \cdot \log |\mathbb {F}|)\), where S is the size of the circuit computed, n the number of parties, and \(\mathbb {F}\) a field of characteristic two. The protocols also make black-box calls to a Pseudo-Random Function (PRF). MPC for Arithmetic Branching Programs (ABPs): Our two-round, information theoretically and maliciously secure protocols for computing ABPs over a general field \(\mathbb {F}\) has overall computational cost \(O(S^{1.5}\cdot n^3\cdot \log |\mathbb {F}|)\), where S is the size of ABP computed. Both protocols achieve security levels inverse proportional to the size of the field \(|\mathbb {F}|\).Our construction is built upon the simple two-round MPC protocols of [Lin-Liu-Wee TCC’20], which are only semi-honest secure. Our main technical contribution lies in ensuring malicious security using simple and lightweight checks, which incur only a constant overhead over the complexity of the protocols by Lin, Liu, and Wee. In particular, in the case of computing Boolean circuits, our malicious MPC protocols have the same complexity (up to a constant overhead) as (insecurely) computing Yao’s garbled circuits in a distributed fashion.Finally, as an additional contribution, we show how to efficiently generate tensor \(\textsf{OLE}\) correlation in fields of characteristic two using OT.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.