A comprehensive review of blockchain consensus mechanisms
Since the advent of distributed ledger technologies, they have provided diverse
opportunities in a wide range of application domains. This article brings a comprehensive …
opportunities in a wide range of application domains. This article brings a comprehensive …
QuePaxa: Esca** the tyranny of timeouts in consensus
Leader-based consensus algorithms are fast and efficient under normal conditions, but lack
robustness to adverse conditions due to their reliance on timeouts for liveness. We present …
robustness to adverse conditions due to their reliance on timeouts for liveness. We present …
State-machine replication for planet-scale systems
Online applications now routinely replicate their data at multiple sites around the world. In
this paper we present Atlas, the first state-machine replication protocol tailored for such …
this paper we present Atlas, the first state-machine replication protocol tailored for such …
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
Distributed algorithms have many mission-critical applications ranging from embedded
systems and replicated databases to cloud computing. Due to asynchronous …
systems and replicated databases to cloud computing. Due to asynchronous …
Speeding up consensus by chasing fast decisions
This paper proposes CAESAR, a novel multi-leader Generalized Consensus protocol for
geographically replicated sites. The main goal of CAESAR is to overcome one of the major …
geographically replicated sites. The main goal of CAESAR is to overcome one of the major …
Rabia: Simplifying state-machine replication through randomization
We introduce Rabia, a simple and high performance framework for implementing state-
machine replication (SMR) within a datacenter. The main innovation of Rabia is in using …
machine replication (SMR) within a datacenter. The main innovation of Rabia is in using …
[PDF][PDF] Towards an Automatic Proof of Lamport's Paxos
Lamport's celebrated Paxos consensus protocol is generally viewed as a complex hard-to-
understand algorithm. Notwithstanding its complexity, in this paper, we take a step towards …
understand algorithm. Notwithstanding its complexity, in this paper, we take a step towards …
WPaxos: Wide area network flexible consensus
WPaxos is a multileader Paxos protocol that provides low-latency and high-throughput
consensus across wide-area network (WAN) deployments. WPaxos uses multileaders, and …
consensus across wide-area network (WAN) deployments. WPaxos uses multileaders, and …
Dissecting the performance of strongly-consistent replication protocols
Many distributed databases employ consensus protocols to ensure that data is replicated in
a strongly-consistent manner on multiple machines despite failures and concurrency …
a strongly-consistent manner on multiple machines despite failures and concurrency …
{SwiftPaxos}: Fast {Geo-Replicated} State Machines
Cloud services improve their availability by replicating data across sites in different
geographical regions. A variety of state-machine replication protocols have been proposed …
geographical regions. A variety of state-machine replication protocols have been proposed …