Corpus ID: 235352465

# From Symmetric to Asymmetric Asynchronous Byzantine Consensus

@inproceedings{Cachin2020FromST,
title={From Symmetric to Asymmetric Asynchronous Byzantine Consensus},
author={Christian Cachin and Luca Zanolini},
year={2020}
}
• Published 18 May 2020
• Computer Science
Consensus is arguably one of the most important notions in distributed computing. Among asynchronous, randomized, and signature-free implementations, the protocols of Mostéfaoui et al. (PODC 2014 and JACM 2015) represent a landmark result, which has been extended later and taken up in practical systems. The protocols achieve optimal resilience and takes, in expectation, only a constant expected number of rounds of quadratic message complexity. Randomization is provided through a common-coin… Expand
2 Citations

#### Figures from this paper

Brief Announcement: Revisiting Signature-Free Asynchronous Byzantine Consensus
• Computer Science
• DISC
• 2021
This work revisits the original protocol of PODC 2014 and points out in detail why it may not progress, and presents a fix for the protocol, which lets it regain the original simplicity in asynchronous networks enhanced with a common-coin protocol. Expand
How to Trust Strangers: Composition of Byzantine Quorum Systems
• Computer Science
• DISC
• 2021
Trust is the basis of any distributed, fault-tolerant, or secure system. A trust assumption specifies the failures that a system, such as a blockchain network, can tolerate and determines theExpand

#### References

SHOWING 1-10 OF 25 REFERENCES
Formal Verification of Blockchain Byzantine Fault Tolerance
• Computer Science
• 2019
It is argued that it has now become both relatively simple and crucial to formally verify the correctness of blockchain consensus protocols. Expand
Signature-Free Asynchronous Binary Byzantine Consensus with t < n/3, O(n2) Messages, and O(1) Expected Time
• Computer Science
• J. ACM
• 2015
Signature-free asynchronous byzantine consensus with t < n/3 and o(n2) messages
• Computer Science
• PODC '14
• 2014
This paper presents a new round-based asynchronous consensus algorithm that copes with up to t<n/3 Byzantine processes, where n is the total number of processes and the main target when designing this algorithm was to obtain a cheap and simple algorithm. Expand
Byzantine quorum systems
• Engineering, Computer Science
• Distributed Computing
• 1998
This paper considers the arbitrary (Byzantine) failure of data repositories and presents the first study of quorum system requirements and constructions that ensure data availability and consistency despite these failures, and demonstrates quorum systems over n servers with a load of O(\frac{1}{\sqrt{n}})\$, thus meeting the lower bound on load for benignly fault-tolerant quorum Systems. Expand
The Honey Badger of BFT Protocols
• Computer Science, Biology
• CCS
• 2016
HoneyBadgerBFT is presented, the first practical asynchronous BFT protocol, which guarantees liveness without making any timing assumptions, and is based on a novel atomic broadcast protocol that achieves optimal asymptotic efficiency. Expand
Fast asynchronous Byzantine agreement with optimal resilience
• Computer Science
• STOC '93
• 1993
Fast Asynchronous Byzantine Agreement with Optimal Resilience is presented, which aims to establish a consensus on the best approach to solve the problem of asynchronous Byzantine communications in the EMM domain. Expand
Randomized byzantine generals
• M. Rabin
• Computer Science
• 24th Annual Symposium on Foundations of Computer Science (sfcs 1983)
• 1983
A randomized solution for the Byzantine Generals Problems that produces Byzantine Agreement within a fixed small expected number of computational rounds, independent of the number n of processes and the bound t on the number of faulty processes. Expand
Asymmetric Distributed Trust
• Computer Science
• OPODIS
• 2019
Asymmetric Byzantine quorum systems that model subjective trust are introduced and protocols that implement abstractions of shared memory and broadcast primitives with processes prone to Byzantine faults and asymmetric trust are presented. Expand
Fast and secure global payments with Stellar
Stellar's model, protocol, and formal verification are presented; the Stellar payment network is described; the network's performance is evaluated empirically through benchmarks and the experience with several years of production use. Expand
Flexible Byzantine Fault Tolerance
• Computer Science
• CCS
• 2019
A synchronous BFT protocol in which only the commit step requires to know the network delay bound and thus replicas execute the protocol without any synchrony assumption is introduced, and a notion called Flexible Byzantine Quorums is introduced by dissecting the roles of different quorums in existing consensus protocols. Expand