Search papers, labs, and topics across Lattice.
This paper introduces FinWhale, the first DAG-based Byzantine Fault Tolerant protocol that achieves optimal two-message delay termination, addressing the limitations of existing protocols that require at least three message delays. By extending the Mysticeti protocol with a novel fast path commit mechanism, FinWhale allows for safe coexistence of fast and slow path rules while ensuring safety across different local DAG views through new commit structures. The results demonstrate that FinWhale can effectively tolerate Byzantine faults and achieve fast termination under specific failure conditions, showcasing the feasibility of integrating optimal latency fast paths into uncertified DAG consensus protocols.
FinWhale achieves two-message delay termination in DAG-based Byzantine consensus, a breakthrough that could redefine throughput limits in decentralized systems.
DAG based Byzantine Fault Tolerant protocols provide high throughput consensus under partial synchrony but existing DAG protocols still require at least three message delays to commit decisions. In contrast fast path Byzantine Fault Tolerant protocols can achieve optimal two message delay termination under favorable conditions though they do not naturally extend to DAGs. We present FinWhale the first DAG based Byzantine Fault Tolerant protocol with a two message delay fast path. FinWhale extends Mysticeti with a novel fast path commit mechanism that safely coexists with the protocol's original slow path rules. To preserve safety across different local DAG views we introduce new commit structures based on fast path evidence blocks enabling validators to combine fast path and slow path reasoning consistently. FinWhale operates in the partially synchronous model with n equals three f plus two p minus one validators matching the known lower bound for fast Byzantine consensus. The protocol tolerates up to f Byzantine faults and achieves fast termination whenever at most p validators fail during the fast path where p is between one and f. Our results show that optimal latency fast paths can be integrated into uncertified DAG consensus protocols.
