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 …

Selective blockchain transaction pruning and state derivability

E Palm, O Schelén, U Bodin - 2018 Crypto Valley Conference …, 2018 - ieeexplore.ieee.org
Distributed ledger technologies, such as blockchain systems, have in recent years emerged
as promising platforms for machine-to-machine commerce and other forms of multi …

Money transfer made simple: a specification, a generic algorithm, and its proof

A Auvolat, D Frey, M Raynal, F Taïani - arxiv preprint arxiv:2006.12276, 2020 - arxiv.org
It has recently been shown that, contrarily to a common belief, money transfer in the
presence of faulty (Byzantine) processes does not require strong agreement such as …

Mastering concurrent computing through sequential thinking

S Rajsbaum, M Raynal - Communications of the ACM, 2019 - dl.acm.org
Mastering concurrent computing through sequential thinking Page 1 78 COMMUNICATIONS OF
THE ACM | JANUARY 2020 | VOL. 63 | NO. 1 review articles ONE OF THE most daunting …

Practical Byzantine reliable broadcast on partially connected networks

S Bonomi, J Decouchant, G Farina… - 2021 IEEE 41st …, 2021 - ieeexplore.ieee.org
In this paper, we consider the Byzantine reliable broadcast problem on authenticated and
partially connected networks. The state-of-the-art method to solve this problem consists in …

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 …

Byzantine-tolerant causal broadcast

A Auvolat, D Frey, M Raynal, F Taïani - Theoretical Computer Science, 2021 - Elsevier
Causal broadcast is a communication abstraction built on top of point-to-point send/receive
networks that ensures that any two messages whose broadcasts are causally related (as …

Babel: A framework for develo** performant and dependable distributed protocols

P Fouto, PÁ Costa, N Preguiça… - 2022 41st International …, 2022 - ieeexplore.ieee.org
Prototy** and implementing distributed algorithms, particularly those that address
challenges related with fault-tolerance and dependability, is a time consuming task. This is …

An in-depth and insightful exploration of failure detection in distributed systems

B Chaurasia, A Verma, P Verma - Computer Networks, 2024 - Elsevier
In today's world, everyone wants a good profit with a tiny investment and distributed
computing is a boon for this purpose. Cloud computing, fog computing, and the Internet of …

Fireledger: A high throughput blockchain consensus protocol

Y Buchnik, R Friedman - arxiv preprint arxiv:1901.03279, 2019 - arxiv.org
Blockchains are distributed secure ledgers to which transactions are issued continuously
and each block of transactions is tightly coupled to its predecessors. Permissioned …