A Modular Approach to Construct Signature-Free BRB Algorithms under a Message Adversary

TL;DR

This paper introduces a modular, signature-free Byzantine broadcast approach resilient to both process corruption and message loss, using a new communication abstraction to improve efficiency and robustness.

Contribution

It presents a novel $k2\ell$-cast abstraction and reconstructs existing algorithms to tolerate combined Byzantine and message adversaries, enhancing robustness and efficiency.

Findings

The $k2\ell$-cast abstraction simplifies quorum design in adversarial settings.

Reconstructed algorithms tolerate both Byzantine failures and message loss.

The new algorithms outperform previous Byzantine-only solutions in efficiency.

Abstract

This paper explores how reliable broadcast can be implemented without signatures when facing a dual adversary that can both corrupt processes and remove messages. More precisely, we consider an asynchronous $n$-process message-passing system in which up to $t_b$ processes are Byzantine and where, at the network level, for each message broadcast by a correct process, an adversary can prevent up to $t_m$ processes from receiving it (the integer $t_m$ defines the power of the message adversary). So, unlike previous works, this work considers that not only can computing entities be faulty (Byzantine processes), but, in addition, that the network can also lose messages. To this end, the paper adopts a modular strategy and first introduces a new basic communication abstraction denoted $k2\ell$-cast, which simplifies quorum engineering, and studies its properties in this new adversarial context. Then, the paper deconstructs existing signature-free Byzantine-tolerant asynchronous broadcast algorithms and, with the help of the $k2\ell$-cast communication abstraction, reconstructs versions of them that tolerate both Byzantine processes and message adversaries. Interestingly, these reconstructed algorithms are also more efficient than the Byzantine-tolerant-only algorithms from which they originate.