Trebiz: Byzantine Fault Tolerance with Byzantine Merchants.
Xiaohai Dai,Liping Huang,Jiang Xiao,Zhaonan Zhang,Xia Xie,Hai Jin
DOI: https://doi.org/10.1145/3564625.3567976
2022-01-01
Abstract:The popularity of blockchain technology has revived interest in Byzantine Fault Tolerance (BFT) consensus protocols. However, existing protocols suffer from high latency, especially when the system is deployed in a worldwide manner. Taking Practical Byzantine Fault Tolerance (PBFT), the best-known and de-facto standard of BFT consensus protocol, as an example, it requires at least three phases to commit a request. Although some works attempt to shorten the number of phases by proposing a fast-path commitment rule, they either sacrifice resilience or subvert security. In this paper, we propose Trebiz, which also absorbs the fastpath commitment rule to reduce the number of phases from three to two, but maintains optimal resilience and strong security. This is achieved based on a re-understanding of the fault model in the blockchain era. Due to the financial benefits in the blockchain system, a replica may strive to keep the system running if it is impossible to tamper with a committed request. Therefore, we divide Byzantine replicas into two categories: Byzantine General (BG) and Byzantine Merchant (BM). BG replicas will strive to break both safety and liveness as traditional Byzantine ones, while BM replicas will only break safety but maintain liveness. Furthermore, we divide BM replicas into two sub-categories: active (ABM) and passive (PBM), according to whether they will forge and send unreceived data to maintain liveness. Given a system consisting of n-3f-1 replicas, Trebiz enables a request to be committed with 3f+1-n(a) -[n(p)/2] prepare messages in the second phase, where n(a) and n(p) represent the numbers of ABM and PBM replicas. During the view-change process, the leader can expect to receive 2f+1+n(a)+n(p) view-change messages, which guarantees safety and liveness. Since up to.. Byzantine replicas can be tolerated, Trebiz still achieves the optimal resilience of [n/3]-1. Extensive experiments are conducted to demonstrate Trebiz's feasibility and efficiency.