Abstract:This paper introduces HotStuff-1, a BFT consensus protocol that improves the latency of HotStuff-2 by two network-hops while maintaining linear communication complexity against faults. Additionally, HotStuff-1 incorporates an incentive-compatible leader rotation regime that motivates leaders to commit consensus decisions promptly.
HotStuff-1 achieves a reduction by two network hops by sending clients early finality confirmations speculatively, after one phase of the protocol. Unlike previous speculation regimes, the early finality confirmation path of HotStuff-1 is fault-tolerant and the latency improvement does not rely on optimism. An important consideration for speculation regimes in general, which is referred to as the prefix speculation dilemma, is exposed and resolved.
HotStuff-1 embodies an additional mechanism, slotting, that thwarts real-world delays caused by rationally-incentivized leaders. Leaders may also be inclined to sabotage each other's progress. The slotting mechanism allows leaders to drive multiple decisions, thus mitigating both threats, while dynamically adapting the number of allowed decisions per leader to network transmission delays.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is in the Byzantine Fault - Tolerance (BFT) consensus protocol, how to reduce latency while maintaining linear communication complexity, and solve the problems of slow leaders and tail - forking attacks existing in current protocols. Specifically:
1. **Reducing Latency**: HotStuff - 1, by introducing a new algorithm core, enables clients to obtain final confirmation in advance within one phase, thus reducing the latency of two network hops. Compared with the previous HotStuff - 2, HotStuff - 1 can provide final confirmation earlier when handling client requests.
2. **Linear Communication Complexity**: HotStuff - 1, while achieving speculative execution, maintains linear communication complexity. This solves the problem that some previous protocols require secondary communication in case of failures, ensuring the efficiency and fault - tolerance of the system.
3. **Slow Leaders and Tail - Forking Attacks**: To address these problems, HotStuff - 1 introduces a mechanism called "slots", which allows each leader to propose multiple consecutive transaction blocks. This mechanism encourages leaders to submit their blocks as soon as possible to obtain more proposal opportunities, thus alleviating the problems of slow leaders and tail - forking attacks.
### Specific Problem Description
#### 1. Latency Problem
Although the traditional stable - leader design can provide low latency, it is vulnerable to leader failures or malicious behaviors. While streamlined protocols (such as HotStuff - 2) increase throughput, they also increase latency. HotStuff - 1 reduces latency through speculative execution and early finality confirmation.
#### 2. Slow - Leader Phenomenon
In the blockchain system, leaders may delay proposals to select transactions with higher fees or maximize MEV (Maximal Extractable Value). The slot mechanism of HotStuff - 1 alleviates this problem by allowing multiple consecutive proposals, which encourages leaders to submit blocks quickly.
#### 3. Tail - Forking Attack
A faulty leader can prevent the proposals of an honest leader from being submitted by inserting itself as a leader. The slot mechanism of HotStuff - 1 prevents this situation by dynamically adjusting the number of proposals for each leader.
### Solutions
HotStuff - 1 mainly solves problems through the following two mechanisms:
1. **Speculative Execution and Early Finality Confirmation**:
- The client, as the first - class citizen in the consensus process, directly receives final confirmation from replicas.
- When voting to submit the prepare - certificate, the replica speculatively executes transactions and sends responses to the client.
- This enables the client to obtain final confirmation within one phase instead of waiting for two phases.
2. **Slot Mechanism**:
- Each leader has multiple slots and can propose multiple consecutive transaction blocks.
- The slot mechanism encourages leaders to submit blocks as soon as possible to obtain more new proposal opportunities.
- Dynamically adjust the number of slots for each leader to prevent tail - forking attacks.
Through these improvements, HotStuff - 1 achieves low latency, high efficiency, and better fault - tolerance, while solving the problems of slow leaders and tail - forking attacks.