Table of Contents
Fetching ...

Near-Optimal Communication Byzantine Reliable Broadcast under a Message Adversary

Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas

TL;DR

This work presents a Message-Adversary-Tolerant Byzantine Reliable Broadcast (MBRB) algorithm that allows at least $\ell = n - t - (1 + \epsilon)d$ (for any arbitrarily low $\epsilon>0$) correct nodes to reconstruct $m$ despite missing fragments caused by the malicious nodes and the message adversary.

Abstract

We address the problem of Reliable Broadcast in asynchronous message-passing systems with $n$ nodes, of which up to $t$ are malicious (faulty), in addition to a message adversary that can drop some of the messages sent by correct (non-faulty) nodes. We present a Message-Adversary-Tolerant Byzantine Reliable Broadcast (MBRB) algorithm that communicates ${\cal O}(|m|+nκ)$ bits per node, where $|m|$ represents the length of the application message and $κ=Ω(\log n)$ is a security parameter. This communication complexity is optimal up to the parameter $κ$. This significantly improves upon the state-of-the-art MBRB solution (Albouy, Frey, Raynal, and Taïani, TCS 2023), which incurs communication of ${\cal O}(n|m|+n^2κ)$ bits per node. Our solution sends at most $4n^2$ messages overall, which is asymptotically optimal. Reduced communication is achieved by employing coding techniques that replace the need for all nodes to (re-)broadcast the entire application message $m$. Instead, nodes forward authenticated fragments of the encoding of $m$ using an erasure-correcting code. Under the cryptographic assumptions of threshold signatures and vector commitments, and assuming $n > 3t+2d$, where the adversary drops at most $d$ messages per broadcast, our algorithm allows at least $\ell = n - t - (1 + ε)d$ (for any arbitrarily low $ε> 0$) correct nodes to reconstruct $m$, despite missing fragments caused by the malicious nodes and the message adversary.

Near-Optimal Communication Byzantine Reliable Broadcast under a Message Adversary

TL;DR

This work presents a Message-Adversary-Tolerant Byzantine Reliable Broadcast (MBRB) algorithm that allows at least (for any arbitrarily low ) correct nodes to reconstruct despite missing fragments caused by the malicious nodes and the message adversary.

Abstract

We address the problem of Reliable Broadcast in asynchronous message-passing systems with nodes, of which up to are malicious (faulty), in addition to a message adversary that can drop some of the messages sent by correct (non-faulty) nodes. We present a Message-Adversary-Tolerant Byzantine Reliable Broadcast (MBRB) algorithm that communicates bits per node, where represents the length of the application message and is a security parameter. This communication complexity is optimal up to the parameter . This significantly improves upon the state-of-the-art MBRB solution (Albouy, Frey, Raynal, and Taïani, TCS 2023), which incurs communication of bits per node. Our solution sends at most messages overall, which is asymptotically optimal. Reduced communication is achieved by employing coding techniques that replace the need for all nodes to (re-)broadcast the entire application message . Instead, nodes forward authenticated fragments of the encoding of using an erasure-correcting code. Under the cryptographic assumptions of threshold signatures and vector commitments, and assuming , where the adversary drops at most messages per broadcast, our algorithm allows at least (for any arbitrarily low ) correct nodes to reconstruct , despite missing fragments caused by the malicious nodes and the message adversary.
Paper Structure (3 sections, 4 theorems, 1 table, 2 algorithms)

This paper contains 3 sections, 4 theorems, 1 table, 2 algorithms.

Key Result

Theorem 1

For any $\varepsilon>0$, there exists an efficient MBRB algorithm, such that every message $m$ broadcast via this scheme is delivered by at least $\ell = n-t-(1+\varepsilon)d$ correct nodes under the assumption $n>3t+2d$. Each correct node communicates no more than $4n$ messages and $\mathcal{O}\tex

Theorems & Definitions (5)

  • Theorem 1: Main, informal
  • Definition 1.3
  • Theorem 2.1: main
  • Lemma 2.2: MBRB-Global-delivery
  • Lemma 2.3