Optimal Good-case Latency for Byzantine Broadcast and State Machine Replication

03/29/2020
by   Ittai Abraham, et al.
0

This paper investigates Byzantine broadcast (BB) protocols with optimal good-case latency under synchrony and weaker variants of synchrony. One of them most important applications of BB is to implement Byzantine fault-tolerant (BFT) state machine replication (SMR), also known as blockchains recently. The traditional latency metric of BB focuses on the number of lock-step rounds needed in the worst case or expected case. We observe that the traditional latency metric fails to capture what's important in practice for two reasons. First, practical synchronous BFT SMR do not run in lock-step rounds. Second, practical SMR protocols make progress only when an honest leader is in charge. Thus, motivated by recent progress in synchronous BFT SMR, we study the good-case latency of BB, i.e., the precise latency to commit measured in time (as opposed rounds) when the sender is honest. We propose the first synchronous BB protocol with optimal good-case latency. This closes the gap between the upper/lower bounds on good-case latency left open in the previous work by Abraham et al. <cit.>. To make the synchronous model more practical, we extend our protocol to handle two weaker network models, named mobile link failures and mobile sluggish faults. By providing a new lower bound in the mobile link failure model, we show that our protocols in these weak models also achieve optimal good-case latency. Finally, to demonstrate the applicability to the target application, we turn all our BB protocols into BFT SMR protocols with minimum modifications and guarantee the same good-case latency and tolerance to weaker synchrony variants.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/14/2021

Good-case Latency of Byzantine Broadcast: a Complete Categorization

This paper explores the problem good-case latency of Byzantine fault-tol...
research
03/09/2023

Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case (Extended Version)

This paper considers the good-case latency of Byzantine Reliable Broadca...
research
09/25/2021

Good-case and Bad-case Latency of Unauthenticated Byzantine Broadcast: A Complete Categorization

This paper studies the good-case latency of unauthenticated Byzantine fa...
research
05/23/2022

It's not easy to relax: liveness in chained BFT protocols

Modern chained Byzantine Fault Tolerant (BFT) protocols leverage a combi...
research
04/19/2018

Reducing asynchrony to synchronized rounds

Synchronous computation models simplify the design and the verification ...
research
01/04/2022

Quadratic worst-case message complexity for State Machine Replication in the partial synchrony model

We consider the message complexity of State Machine Replication protocol...
research
01/12/2023

Gradient TRIX

Gradient clock synchronization (GCS) algorithms minimize the worst-case ...

Please sign up or login with your details

Forgot password? Click here to reset