Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals
2401.01791
0
0
Abstract
Existing chain-based rotating-leader BFT SMR protocols for the partially synchronous network model with constant commit latencies incur block periods of at least $2delta$ (where $delta$ is the message transmission latency). While a protocol with a block period of $delta$ exists under the synchronous model, its commit latency is linear in the size of the system. To close this gap, we present the first chain-based BFT SMR protocols with $delta$ delay between the proposals of consecutive honest leaders and commit latencies of $3delta$. We present three protocols for the partially synchronous model under different notions of optimistic responsiveness, two of which implement pipelining. All of our protocols achieve reorg resilience and two have short view lengths; properties that many existing chain-based BFT SMR protocols lack. We present an evaluation of our protocols in a wide-area network wherein they demonstrate significant increases in throughput and reductions in latency compared to the state-of-the-art, Jolteon. Our results also demonstrate that techniques commonly employed to reduce communication complexity$unicode{x2014}$such as vote-pipelining and the use of designated vote-aggregators$unicode{x2014}$actually reduce practical performance in many settings.
Create account to get full access
Overview
- Proposes an optimized chain-based rotating leader Byzantine Fault Tolerant (BFT) protocol called "Moonshot"
- Leverages optimistic proposals to improve throughput and latency compared to existing chain-based BFT protocols
- Introduces several novel techniques to enhance performance, including pipelining, batching, and optimistic proposal dissemination
Plain English Explanation
"Moonshot" is a new protocol that aims to improve the efficiency of existing blockchain-based Byzantine Fault Tolerant (BFT) systems. In these systems, a group of nodes work together to maintain a shared ledger, even if some of the nodes are faulty or acting maliciously.
The key innovation in Moonshot is the use of "optimistic proposals." Normally, nodes have to wait for confirmation from a majority of other nodes before committing a new transaction to the blockchain. With optimistic proposals, nodes can commit transactions immediately, without waiting for confirmation, as long as no one objects. This allows the system to process transactions more quickly and with less overhead.
Moonshot also introduces other techniques to boost performance, such as pipelining (processing multiple transactions in parallel) and batching (combining multiple transactions into a single proposal). These optimizations help Moonshot achieve higher throughput and lower latency compared to previous chain-based BFT protocols.
The paper presents experimental results showing that Moonshot can outperform existing approaches, particularly under high load. This could make it a useful tool for building more efficient and scalable blockchain-based applications.
Technical Explanation
Moonshot is a chain-based rotating leader BFT protocol that builds on prior work like RACS and Tendermint. The key innovation is the use of optimistic proposals, where nodes can commit transactions without waiting for a full round of confirmation from other nodes.
To achieve this, Moonshot introduces several novel techniques:
- Pipelining: Nodes can start processing the next proposal while the current one is still being validated, improving throughput.
- Batching: Multiple transactions are combined into a single proposal, amortizing the overhead of the BFT protocol.
- Optimistic Proposal Dissemination: Proposals are disseminated to all nodes as soon as they are created, allowing for faster processing.
The paper presents a detailed analysis of Moonshot's protocol, including formal proofs of its safety and liveness properties. Experimental results demonstrate significant performance improvements over prior chain-based BFT protocols, especially under high load conditions.
Critical Analysis
The Moonshot paper makes a compelling case for its optimized chain-based BFT protocol, but there are a few potential concerns to consider:
-
Reliance on Synchrony Assumptions: Like many BFT protocols, Moonshot assumes a partially synchronous network model. This may limit its applicability in truly asynchronous environments.
-
Incentive Compatibility: The paper does not discuss the protocol's incentive properties or how it would fare against strategic, rational nodes. Concerns about centralization in proof-of-stake blockchains could also apply here.
-
Scalability Limits: While Moonshot outperforms prior approaches, it is still a chain-based protocol, which may face scaling challenges as the number of nodes increases. Exploring sharding or other scaling techniques could be a valuable area for future research.
Overall, Moonshot represents an interesting and potentially impactful advancement in the field of chain-based BFT protocols. The performance improvements demonstrated in the paper are notable, but the protocol's long-term viability will depend on how it handles real-world challenges like asynchrony, incentives, and scalability.
Conclusion
The Moonshot protocol proposed in this paper offers a promising approach to improving the efficiency of chain-based Byzantine Fault Tolerant systems. By leveraging optimistic proposals, pipelining, batching, and other novel techniques, Moonshot is able to achieve significant performance gains over prior protocols, particularly under high load conditions.
While the paper presents a strong technical foundation and experimental validation, there are still some open questions and potential limitations to consider, such as the reliance on partial synchrony assumptions and the long-term scalability of the chain-based architecture.
Nonetheless, Moonshot represents an important step forward in the ongoing effort to build more scalable and efficient decentralized systems. As the field of blockchain and distributed ledger technologies continues to evolve, innovations like those presented in this paper will be crucial for unlocking the full potential of these transformative technologies.
This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!
Related Papers
Shoal++: High Throughput DAG BFT Can Be Fast!
Balaji Arun, Zekun Li, Florian Suri-Payer, Sourav Das, Alexander Spiegelman
0
0
Today's practical partially synchronous Byzantine Fault Tolerant (BFT) consensus protocols trade off low latency and high throughput. On the one end, traditional BFT protocols such as PBFT and its derivatives optimize for latency. They require, in fault-free executions, only 3 message exchanges to commit, the optimum for BFT consensus. However, this class of protocols typically relies on a single leader, hampering throughput scalability. On the other end, a new class of so-called DAG-BFT protocols demonstrates how to achieve highly scalable throughput by separating data dissemination from consensus, and using every replica as proposer. Unfortunately, existing DAG-BFT protocols pay a steep latency premium, requiring on average 10.5 message exchanges to commit a transactions. This work aims to soften this tension and proposes Shoal++, a novel DAG-based BFT consensus system that offers the throughput of DAGs while reducing commit latency to an average of 4.5 message exchanges. Our empirical findings are encouraging, showing that Shoal++ achieves throughput comparable to state-of-the-art DAG BFT solutions while reducing latency by up to 60%.
6/3/2024
💬
Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback
Rati Gelashvili, Lefteris Kokoris-Kogias, Alberto Sonnino, Alexander Spiegelman, Zhuolun Xiang
0
0
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.
5/2/2024
🏋️
Motorway: Seamless high speed BFT
Neil Giridharan, Florian Suri-Payer, Ittai Abraham, Lorenzo Alvisi, Natacha Crooks
0
0
Today's practical, high performance Byzantine Fault Tolerant (BFT) consensus protocols operate in the partial synchrony model. However, existing protocols are inefficient when deployments are indeed partially synchronous. They deliver either low latency during fault-free, synchronous periods (good intervals) or robust recovery from events that interrupt progress (blips). At one end, traditional, view-based BFT protocols optimize for latency during good intervals, but, when blips occur, can suffer from performance degradation (hangovers) that can last beyond the return of a good interval. At the other end, modern DAG-based BFT protocols recover more gracefully from blips, but exhibit lackluster latency during good intervals. To close the gap, this work presents Motorway, a novel high-throughput BFT protocol that offers both low latency and seamless recovery from blips. By combining a highly parallel asynchronous data dissemination layer with a low-latency, partially synchronous consensus mechanism, Motorway (i) avoids the hangovers incurred by traditional BFT protocols and (ii) matches the throughput of state of the art DAG-based BFT protocols while cutting their latency in half, matching the latency of traditional BFT protocols.
5/13/2024
🌐
Refined Bitcoin Security-Latency Under Network Delay
Mustafa Doger, Sennur Ulukus
0
0
We study security-latency bounds for Nakamoto consensus, i.e., how secure a block is after it becomes $k$-deep in the chain. We improve the state-of-the-art bounds by analyzing the race between adversarial and honest chains in three different phases. We find the probability distribution of the growth of the adversarial chains under models similar to those in [Guo, Ren; AFT 2022] when a target block becomes $k$-deep in the chain. We analyze certain properties of this race to model each phase with random walks that provide tighter bounds than the existing results. Combining all three phases provides novel upper and lower bounds for blockchains with small $lambdaDelta$.
5/29/2024