BigDipper: A hyperscale BFT system with short term censorship resistance

TL;DR

BigDipper introduces a hyperscale BFT system that ensures short-term censorship resistance by decentralizing transaction inclusion, enabling fast confirmation, and maintaining high throughput in decentralized applications.

Contribution

The paper presents BigDipper, a novel BFT system that decentralizes transaction inclusion and enforces censorship resistance with a modular design and three new DA-CR protocols.

Findings

Achieves censorship resistance in BFT protocols.

Supports hyperscale throughput and fast confirmation.

Demonstrates integration with Hotstuff-2.

Abstract

Byzantine-fault-tolerant (BFT) protocols underlie a variety of decentralized applications including payments, auctions, data feed oracles, and decentralized social networks\cite{chainlink,lens}. In most leader-based BFT protocols, an important property that has been missing is the censorship resistance of transaction in the short term. The protocol should provide inclusion guarantees in the next block height even if the current and future leaders have the intent of censoring.In this paper, we present a BFT system, BigDipper, that achieves censorship resistance while providing fast confirmation for clients and hyperscale throughput. The core idea is to decentralize inclusion of transactions by allowing every BFT replica to create their own mini-block, and then enforcing the leader on their inclusions. To achieve this, BigDipper creates a modular system made of three components. First, clients use a transaction broadcast protocol to send transaction to multiple replicas. As a distribution of replicas receiving the client's transactions, they prepare mini-blocks to send to the data availability (DA) component, which characterizes the censorship resistant properties of the whole system. We design three censorship resistant DA (DA-CR) protocols whose properties are captured by three parameters. The third component interleaves the second DA-CR protocol into the leader based BFT protocol, it enforces the leader to include all the data from the DA-CR into the final block. At last, we demonstrate an integration with a two-phase Hotstuff-2.