Existing committee-based Byzantine state machine replication (SMR) protocols, typically deployed in production blockchains, face a clear trade-off: (1) they either achieve linear communication cost in the happy path, but sacrifice liveness during periods of asynchrony, or (2) they are robust (progress with probability one) but pay quadratic communication cost. We believe this trade-off is unwarranted since existing linear protocols still have asymptotic quadratic cost in the worst case. We design Ditto, a Byzantine SMR protocol that enjoys the best of both worlds: optimal communication on and off the happy path (linear and quadratic, respectively) and progress guarantee under asynchrony and DDoS attacks. We achieve this by replacing the view-synchronization of partially synchronous protocols with an asynchronous fallback mechanism at no extra asymptotic cost. Specifically, we start from HotStuff, a state-of-the-art linear protocol, and gradually build Ditto. As a separate contribution and an intermediate step, we design a 2-chain version of HotStuff, Jolteon, which leverages a quadratic view-change mechanism to reduce the latency of the standard 3-chain HotStuff. We implement and experimentally evaluate all our systems. Notably, Jolteon's commit latency outperforms HotStuff by 200-300ms with varying system size. Additionally, Ditto adapts to the network and provides better performance than Jolteon under faulty conditions and better performance than VABA (a state-of-the-art asynchronous protocol) under faultless conditions. This proves our case that breaking the robustness-efficiency trade-off is in the realm of practicality.
翻译:基于委员会的现有Byazantine州机器复制(SMR)协议(通常在生产链中部署)面临明显的权衡:(1) 协议要么在快乐的道路上实现线性通信成本,在无同步状态期间牺牲生命力,要么在无同步状态期间牺牲生命力,或者(2) 协议是稳健的(概率一进),但支付二次通信成本。我们认为,这种权衡是没有道理的,因为现有的线性协议在最坏的情况下仍然具有无同步的二次成本。我们设计了“Ditto”协议,这是一家享有两个世界最佳条件的“Byzantine SMRR协议 ” : 畅通和顺畅之路(线性和二次断层)的最佳沟通,在无同步状态和DDDoS袭击下保证进步。我们为此设计了一个“部分同步协议”的同步状态,而一个不过于同步的回落机制。我们从“HotStop”开始,一个最老的线性协议, 逐渐建立“Dittrealt delon ” 协议, 并逐渐建立“Dittototo delet del del del del ltalststal-stalstal-stalstalstal strevation” comst view steut the the the steut the view view views