A comprehensive review of blockchain consensus mechanisms

B Lashkari, P Musilek - IEEE access, 2021 - ieeexplore.ieee.org
Since the advent of distributed ledger technologies, they have provided diverse
opportunities in a wide range of application domains. This article brings a comprehensive …

QuePaxa: Esca** the tyranny of timeouts in consensus

P Tennage, C Basescu, L Kokoris-Kogias… - Proceedings of the 29th …, 2023 - dl.acm.org
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 …

State-machine replication for planet-scale systems

V Enes, C Baquero, TF Rezende, A Gotsman… - Proceedings of the …, 2020 - dl.acm.org
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 …

A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms

I Konnov, M Lazić, H Veith, J Widder - Proceedings of the 44th ACM …, 2017 - dl.acm.org
Distributed algorithms have many mission-critical applications ranging from embedded
systems and replicated databases to cloud computing. Due to asynchronous …

Speeding up consensus by chasing fast decisions

B Arun, S Peluso, R Palmieri, G Losa… - 2017 47th Annual …, 2017 - ieeexplore.ieee.org
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 …

Rabia: Simplifying state-machine replication through randomization

H Pan, J Tuglu, N Zhou, T Wang, Y Shen… - Proceedings of the …, 2021 - dl.acm.org
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 …

[PDF][PDF] Towards an Automatic Proof of Lamport's Paxos

A Goel, K Sakallah - # …, 2021 - library.oapen.org
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 …

WPaxos: Wide area network flexible consensus

A Ailijiang, A Charapko, M Demirbas… - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
WPaxos is a multileader Paxos protocol that provides low-latency and high-throughput
consensus across wide-area network (WAN) deployments. WPaxos uses multileaders, and …

Dissecting the performance of strongly-consistent replication protocols

A Ailijiang, A Charapko, M Demirbas - Proceedings of the 2019 …, 2019 - dl.acm.org
Many distributed databases employ consensus protocols to ensure that data is replicated in
a strongly-consistent manner on multiple machines despite failures and concurrency …

{SwiftPaxos}: Fast {Geo-Replicated} State Machines

F Ryabinin, A Gotsman, P Sutra - 21st USENIX Symposium on …, 2024 - usenix.org
Cloud services improve their availability by replicating data across sites in different
geographical regions. A variety of state-machine replication protocols have been proposed …