论文标题

在消息对手下构建无签名BRB算法的模块化方法

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

论文作者

Albouy, Timothé, Frey, Davide, Raynal, Michel, Taïani, François

论文摘要

本文探讨了如何在面对既可以损坏过程又删除消息的双重对手时无需签名就可以实现可靠的广播。更确切地说,我们考虑了一个异步$ n $ - 程序通讯系统,其中最多$ t_b $流程是拜占庭式的,在网络级别上,对于通过正确的过程广播的每个消息,对手可以防止收到多达$ t_m $的过程(integer $ $ t_m $ t_m $ t_m $ t_m $ t_m $ defines of Message Advers of Message Adversy)。因此,与以前的工作不同,这项工作认为计算实体不仅可能是错误的(拜占庭流程),而且还可以丢失信息。为此,本文采用了模块化策略,并首先引入了一种新的基本通信抽象,表示$ k2 \ ell $ - cast,该抽象简化了Quorum Engineering,并在这种新的对抗性环境中研究了其属性。然后,纸张解构了现有的无签名拜占庭式异步广播算法,并在$ k2 \ ell $ cast的通信抽象的帮助下,重建了它们的版本,这些版本均能容忍拜占庭流程和消息对手。有趣的是,这些重建算法也比它们起源的仅拜占庭式算法更有效。

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.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源