Perfectly-Secure Synchronous MPC with Asynchronous Fallback Guarantees

DOI10.1145/3519270.3538417arXiv2201.12194OpenAlexW4286501318MaRDI QIDQ6202008FDOQ6202008

Anirudh Chandramouli, Ashish Choudhury, Ananya Appan

Publication date: 26 March 2024

Published in: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Abstract: Secure multi-party computation (MPC) is a fundamental problem in secure distributed computing. An MPC protocol allows a set of $n$ mutually distrusting parties to carry out any joint computation of their private inputs, without disclosing any additional information about their inputs. MPC with information-theoretic security provides the strongest security guarantees and remains secure even against computationally unbounded adversaries. Perfectly-secure MPC protocols is a class of information-theoretically secure MPC protocols, which provides all the security guarantees in an error-free fashion. The focus of this work is perfectly-secure MPC. Known protocols are designed assuming either a synchronous or asynchronous communication network. It is well known that perfectly-secure synchronous MPC protocol is possible as long as adversary can corrupt any $t_s<n/3$ parties. On the other hand, perfectly-secure asynchronous MPC protocol can tolerate up to $t_a<n/4$ corrupt parties. A natural question is does there exist a single MPC protocol for the setting where the parties are not aware of the exact network type and which can tolerate up to $t_s<n/3$ corruptions in a synchronous network and up to $t_a<n/4$ corruptions in an asynchronous network. We design such a best-of-both-worlds perfectly-secure MPC protocol, provided $3t_s+t_a<n$ holds. For designing our protocol, we design two important building blocks, which are of independent interest. The first building block is a best-of-both-worlds Byzantine agreement (BA) protocol tolerating $t<n/3$ corruptions and which remains secure, both in a synchronous as well as asynchronous network. The second building block is a polynomial-based best-of-both-worlds verifiable secret-sharing (VSS) protocol, which can tolerate up to $t_s$ and $t_a$ corruptions in a synchronous and in an asynchronous network respectively.

Full work available at URL: https://arxiv.org/abs/2201.12194

zbMATH Keywords

secret-sharingByzantine agreementunconditional-security

Mathematics Subject Classification ID

Distributed algorithms (68W15) Distributed systems (68M14)

Cited In (4)

• Synchronous perfectly secure message transmission with optimal asynchronous fallback guarantees
• Network agnostic MPC with statistical security
• Network-agnostic multi-party computation revisited (extended abstract)
• Closing the efficiency gap between synchronous and network-agnostic consensus

This page was built for publication: Perfectly-Secure Synchronous MPC with Asynchronous Fallback Guarantees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202008)