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.

SAZyzz: Scaling AZyzzyva to Meet Blockchain Requirements

Scalable Byzantine Consensus Via Hardware-Assisted Secret Sharing

Making Speculative BFT Resilient with Trusted Monotonic Counters

Enhancing computational scalability in Blockchain by leveraging improvement in consensus algorithm

An Optimized Byzantine Fault Tolerance Algorithm for Consortium Blockchain

ZLB, a Blockchain Tolerating Colluding Majorities

CE-PBFT: A high availability consensus algorithm for large-scale consortium blockchain

Breaking the Blockchain Trilemma: A Comprehensive Consensus Mechanism for Ensuring Security, Scalability, and Decentralization

GT-NRSM: efficient and scalable sharding consensus mechanism for consortium blockchain

An Efficient and Scalable Byzantine Fault-Tolerant Consensus Mechanism Based on Credit Scoring and Aggregated Signatures

Scalable Byzantine Fault Tolerance via Partial Decentralization

Scalable and Probabilistic Leaderless BFT Consensus through Metastability

A Scale-out Decentralized Blockchain Ledger System for Web3.0

VBFT: Veloce Byzantine Fault Tolerant Consensus for Blockchains

Gosig: a scalable and high-performance byzantine consensus for consortium blockchains.

A high-capacity slicing PBFT protocol based on reputation evaluation model

A Proof-of-Weighted-Planned-Behavior Consensus for Efficient and Reliable Cyber-Physical Systems

ResilientDB: Global Scale Resilient Blockchain Fabric

Efficient Byzantine Fault Tolerance using Trusted Execution Environment: Preventing Equivocation is only the Beginning

A Trustworthy Safety Inspection Framework Using Performance-Security Balanced Blockchain

Multi-stage Data Synchronization for Public Blockchain in Complex Network Environment