Synchronous Perfectly Secure Message Transmission with Optimal Asynchronous Fallback Guarantees
Giovanni Deligios and Chen-Da Liu Zhang
Secure message transmission (SMT) constitutes a fundamental network-layer building block for distributed protocols over incomplete networks. More specifically, a sender $\mathbf{S}$ and a receiver $\mathbf{R}$ are connected via $\ell$ disjoint paths, a subset of which are controlled by the adversary.
Perfectly-secure SMT protocols in synchronous and asynchronous networks are resilient up to $\ell/2$ and $\ell/3$ corruptions respectively. In this work, we ask whether it is possible to achieve a perfect SMT protocol that simultaneously tolerates $t_s < \ell/2$ corruptions when the network is synchronous, and $t_a < \ell/3$ when the network is asynchronous.
We completely resolve this question by showing that perfect SMT is possible if and only if $2t_a + t_s < \ell$. In addition, we provide a concretely round-efficient solution for the (slightly worse) trade-off $t_a + 2t_s < \ell$.
As a direct application of our results, following the recent work by Appan, Chandramouli, and Choudhury [PODC'22], we obtain an $n$-party perfectly-secure synchronous multi-party computation protocol with asynchronous fallback over any network with connectivity $\ell$, as long as $t_a + 3t_s
BibTeX Citation
@inproceedings{DeLi23,
author = {Giovanni Deligios and {Chen-Da} {Liu Zhang}},
title = {Synchronous Perfectly Secure Message Transmission with Optimal Asynchronous Fallback Guarantees},
editor = {Baldimtsi, Foteini and Cachin, Christian},
booktitle = {Financial Cryptography and Data Security},
pages = {77--93},
year = {2023},
month = {5},
address = {Cham},
publisher = {Springer Nature Switzerland},
}