Aarhus University Seal

Phoenix: Secure Computation in an Unstable Network with Dropouts and Comebacks

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Ivan Damgård
  • Daniel Escudero, J.P. Morgan Chase & Co.
  • ,
  • Antigoni Polychroniadou, J.P. Morgan Chase & Co.

We consider the task of designing secure computation protocols in an unstable network where honest parties can drop out at any time, according to a schedule provided by the adversary. This type of setting, where even honest parties are prone to failures, is more realistic than traditional models, and has therefore gained a lot of attention recently. Our model, Phoenix, enables a new approach to secure multiparty computation with dropouts, allowing parties to drop out and re-enter the computation on an adversarially-chosen schedule and without assuming that these parties receive the messages that were sent to them while being offline - features that are not available in the existing models of Sleepy MPC (Guo et al., CRYPTO'19), Fluid MPC (Choudhuri et al., CRYPTO'21) and YOSO (Gentry et al. CRYPTO'21). Phoenix does assume an upper bound on the number of rounds that an honest party can be off-line - otherwise protocols in this setting cannot guarantee termination within a bounded number of rounds; however, if one settles for a weaker notion, namely guaranteed output delivery only for honest parties who stay on-line long enough, this requirement is not necessary. In this work, we study the settings of perfect, statistical and computational security and design MPC protocols in each of these scenarios. We assume that the intersection of online-and-honest parties from one round to the next is at least 2t + 1, t + 1 and 1 respectively, where t is the number of (actively) corrupt parties. We show the intersection requirements to be optimal. Our (positive) results are obtained in a way that may be of independent interest: we implement a traditional stable network on top of the unstable one, which allows us to plug in any MPC protocol on top. This approach adds a necessary overhead to the round count of the protocols, which is related to the maximal number of rounds an honest party can be offline. We also present a novel, perfectly secure MPC protocol in the preprocessing model that avoids this overhead by following a more “direct” approach rather than first building a stable network and then using existing protocols. We introduce our network model in the UC-framework, show that the composition theorem still holds, and prove the security of our protocols within this setting.

Original languageEnglish
Title of host publication4th Conference on Information-Theoretic Cryptography, ITC 2023
EditorsKai-Min Chung
PublisherSchloss Dagstuhl--Leibniz-Zentrum für Informatik
Publication yearJul 2023
Pages7:1--7:21
Article number7
ISBN (electronic)9783959772716
DOIs
Publication statusPublished - Jul 2023
Event4th Conference on Information-Theoretic Cryptography, ITC 2023 - Aarhus, Denmark
Duration: 6 Jun 20238 Jun 2023

Conference

Conference4th Conference on Information-Theoretic Cryptography, ITC 2023
LandDenmark
ByAarhus
Periode06/06/202308/06/2023
SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume267
ISSN1868-8969

Bibliographical note

Publisher Copyright:
© Ivan Damgård, Daniel Escudero, and Antigoni Polychroniadou; licensed under Creative Commons License CC-BY 4.0 4th Conference on Information-Theoretic Cryptography (ITC 2023)

    Research areas

  • Secure Multiparty Computation, Unstable Networks

See relations at Aarhus University Citationformats

ID: 341329980