Revisiting Fast Practical Byzantine Fault Tolerance
Distributed, Parallel, and Cluster Computing
2017-12-06 v1
Authors:
Ittai Abraham
, Guy Gueta
, Dahlia Malkhi
, Lorenzo Alvisi
, Rama Kotla
, Jean-Philippe Martin
Abstract
In this note, we observe a safety violation in Zyzzyva and a liveness violation in FaB. To demonstrate these issues, we require relatively simple scenarios, involving only four replicas, and one or two view changes. In all of them, the problem is manifested already in the first log slot.
Cite
@article{arxiv.1712.01367,
title = {Revisiting Fast Practical Byzantine Fault Tolerance},
author = {Ittai Abraham and Guy Gueta and Dahlia Malkhi and Lorenzo Alvisi and Rama Kotla and Jean-Philippe Martin},
journal= {arXiv preprint arXiv:1712.01367},
year = {2017}
}
Related papers
View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma, and Zelma
Ittai Abraham, Guy Gueta, Dahlia Malkhi, Jean-Philippe Martin
2018-01-31
Distributed, Parallel, and Cluster Computing · Computer Science
Revisiting EZBFT: A Decentralized Byzantine Fault Tolerant Protocol with Speculation
Nibesh Shrestha, Mohan Kumar
2019-09-10
Distributed, Parallel, and Cluster Computing · Computer Science
Revisiting hBFT: Speculative Byzantine Fault Tolerance with Minimum Cost
Nibesh Shrestha, Mohan Kumar, SiSi Duan
2019-04-30
Distributed, Parallel, and Cluster Computing · Computer Science
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance
Joel Wanner, Laurent Chuat, Adrian Perrig
2020-09-23
Distributed, Parallel, and Cluster Computing · Computer Science
Making Reads in BFT State Machine Replication Fast, Linearizable, and Live
Christian Berger, Hans P. Reiser, Alysson Bessani
2021-07-26
Cryptography and Security · Computer Science
Flexible Byzantine Fault Tolerance
Dahlia Malkhi, Kartik Nayak, Ling Ren
2019-06-03
Cryptography and Security · Computer Science
Making Speculative BFT Resilient with Trusted Monotonic Counters
Lachlan J. Gunn, Jian Liu, Bruno Vavala, N. Asokan
2019-10-15
Distributed, Parallel, and Cluster Computing · Computer Science
Integrity-Enhancing Replica Coordination for Byzantine Fault Tolerant Systems
Wenbing Zhao
2008-03-12
Distributed, Parallel, and Cluster Computing · Computer Science
On the Practicality of `Practical' Byzantine Fault Tolerance
Nikos Chondros, Konstantinos Kokordelis, Mema Roussopoulos
2011-10-24
Distributed, Parallel, and Cluster Computing · Computer Science
Hamster: A Fast Synchronous Byzantine Fault Tolerance Protocol
Ximing Fu, Mo Li, Qingming Zeng, Tianyang Li +3
2024-10-01
Distributed, Parallel, and Cluster Computing · Computer Science
Byzantine Fault Tolerance for Nondeterministic Applications
Wenbing Zhao
2016-11-15
Distributed, Parallel, and Cluster Computing · Computer Science
ZLB, a Blockchain Tolerating Colluding Majorities
Alejandro Ranchal-Pedrosa, Vincent Gramoli
2023-05-05
Distributed, Parallel, and Cluster Computing · Computer Science
Liveness Checking of the HotStuff Protocol Family
Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou
2023-10-16
Distributed, Parallel, and Cluster Computing · Computer Science
A Byzantine Fault Tolerance Approach towards AI Safety
John deVadoss, Matthias Artzt
2026-04-30
Distributed, Parallel, and Cluster Computing · Computer Science
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer
Shir Cohen, Idit Keidar
2024-06-06
Distributed, Parallel, and Cluster Computing · Computer Science
Fast B4B: Fast BFT for Blockchains
Mohammad M. Jalalzai, Chen Feng, Victoria Lemieux
2021-10-12
Logic in Computer Science · Computer Science
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2016-11-10
Distributed, Parallel, and Cluster Computing · Computer Science
On Probabilistic Byzantine Fault Tolerance
Quan Nguyen, Andre Cronje
2020-02-11
Distributed, Parallel, and Cluster Computing · Computer Science
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
Shlomi Dolev, Amit Hendin, Maurice Herlihy, Maria Potop Butucaru +1
2025-06-17
Distributed, Parallel, and Cluster Computing · Computer Science
Efficient Byzantine Fault Tolerance using Trusted Execution Environment: Preventing Equivocation is only the Beginning
Jiashuo Zhang, Jianbo Gao, Ke Wang, Zhenhao Wu +3
2021-07-07
Machine Learning · Computer Science
Byzantine-Tolerant Methods for Distributed Variational Inequalities
Nazarii Tupitsa, Abdulla Jasem Almansoori, Yanlin Wu, Martin Takáč +3
2023-11-09
Distributed, Parallel, and Cluster Computing · Computer Science
Formal Verification of Blockchain Byzantine Fault Tolerance
Pierre Tholoniat, Vincent Gramoli
2019-10-16
Distributed, Parallel, and Cluster Computing · Computer Science
Resilient Byzantine Agreement with Predictions
Julien Dallot, Darya Melnyk, Tijana Milentijevic, Stefan Schmid +1
2026-05-20
Distributed, Parallel, and Cluster Computing · Computer Science
Revisiting Optimal Resilience of Fast Byzantine Consensus (Extended Version)
Petr Kuznetsov, Andrei Tonkikh, Yan X Zhang
2021-07-28
Distributed, Parallel, and Cluster Computing · Computer Science
MiB: Asynchronous BFT with More Replicas
Chao Liu, Sisi Duan, Haibin Zhang
2021-08-24