Abstract:The problem of Byzantine consensus has been key to designing secure distributed systems. However, it is particularly difficult, mainly due to the presence of Byzantine processes that act arbitrarily and the unknown message delays in general networks. Although it is well known that both safety and liveness are at risk as soon as n/3 Byzantine processes fail, very few works attempted to characterize precisely the faults that produce safety violations from the faults that produce termination violations. In this paper, we present a new lower bound on the solvability of the consensus problem by distinguishing deceitful faults violating safety and benign faults violating termination from the more general Byzantine faults, in what we call the Byzantine-deceitful-benign fault model. We show that one cannot solve consensus if $n \leq 3t + d + 2q$ with t, d, and q are Byzantine, deceitful, and benign processes. We show that this bound is tight by presenting the Basilic class of consensus protocols that solve consensus when $n > 3t + d + 2q$. These protocols differ in the number of processes from which they wait to receive messages before progressing. Then, we build upon the Basilic class in order to present Zero-Loss Blockchain (ZLB), the first blockchain that tolerates an adversary controlling more than half of the system, with up to less than a third of them Byzantine. ZLB is an open blockchain that combines recent theoretical advances in accountable Byzantine agreement to exclude undeniably faulty processes. Interestingly, ZLB does not need a known bound on the delay of messages but progressively reduces the portion of faulty processes below 13 , and reaches consensus. Geo-distributed experiments show that ZLB outperforms HotStuff and is almost as fast as the scalable Red Belly Blockchain that cannot tolerate n/3 faults.

Reconfigurable Heterogeneous Quorum Systems

Asymmetric distributed trust

Design and Optimization of Heterogeneous Blockchain Network Model Based on Relay Chain

Quorum Tree Abstractions of Consensus Protocols

Survey of Fault Tolerant Technology Based on Quorum Systems

Performance Evaluation of the Quorum Blockchain Platform

SybilQuorum: Open Distributed Ledgers Through Trust Networks

ZLB, a Blockchain Tolerating Colluding Majorities

Non-Stop Internet Model Based On Circle Quorum System

AVA: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous Clusters

Beating the fault-tolerance bound and security loopholes for Byzantine agreement with a quantum solution

Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report]

Q-PnV: A Quantum Consensus Mechanism for Security Consortium Blockchains

Quantum-Error-Mitigated Detectable Byzantine Agreement with Dynamical Decoupling for Distributed Quantum Computing

Scalable Byzantine Fault Tolerance via Partial Decentralization

An Efficient Read Dominant Data Replication Protocol under Serial Isolation using Quorum Consensus Approach

Towards Reconfigurable Linearizable Reads

Reconfigurable State Machine Replication from Non-Reconfigurable Building Blocks

An Interleaving Hybrid Consensus Protocol

Efficient Synchronous Byzantine Consensus

Bipartite Byzantine‐resilient event‐triggered consensus control of heterogeneous multi‐agent systems