Unconditionally Secure MPC for Boolean Circuits with Constant Online Communication

  • Zhenkai Hu
  • , Kang Yang*
  • , Yu Yu
  • *Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Through tremendous efforts, the communication cost of secure multi-party computation (MPC) in the honest-majority setting has been significantly improved. In particular, the state-of-the-art honest-majority MPC protocol by Escudero et al. (CCS'22) takes 12 field elements in total per multiplication gate for arithmetic circuits in the online phase. However, it still requires $12 log (5n/4$) bits of online communication per AND gate for Boolean circuits. That is, for Boolean circuits, no MPC protocol with constant online communication is known. In this paper, we present an unconditionally secure MPC protocol for Boolean circuits in the honest-majority setting, which has constant online communication complexity and the offline communication complexity linear to the number $n$ of parties. We first describe the semi-honest MPC protocol and then show how to extend it to achieve malicious security, where the maliciously secure protocol has the same communication cost as the semi-honest protocol. In particular, our protocol achieves the amortized communication cost 36 bits per AND gate in the online phase and 30n + 24 bits per AND gate in the offline phase.

Original languageEnglish
Title of host publicationProceedings - 2024 IEEE 37th Computer Security Foundations Symposium, CSF 2024
PublisherIEEE Computer Society
Pages557-572
Number of pages16
ISBN (Electronic)9798350362039
DOIs
StatePublished - 2024
Externally publishedYes
Event37th IEEE Computer Security Foundations Symposium, CSF 2024 - Enschede, Netherlands
Duration: 8 Jul 202412 Jul 2024

Publication series

NameProceedings - IEEE Computer Security Foundations Symposium
ISSN (Print)1940-1434

Conference

Conference37th IEEE Computer Security Foundations Symposium, CSF 2024
Country/TerritoryNetherlands
CityEnschede
Period8/07/2412/07/24

Keywords

  • Secure multi-party computation
  • honest majority
  • information-theoretic security

Fingerprint

Dive into the research topics of 'Unconditionally Secure MPC for Boolean Circuits with Constant Online Communication'. Together they form a unique fingerprint.

Cite this