finality gadget

A finality gadget is a consensus layer bolted on top of a block-producing chain whose only job is to take blocks that are merely probable and stamp some of them as provably, irreversibly final. The underlying chain might keep extending and occasionally fork, like a Nakamoto longest-chain rule; the gadget periodically reaches down, runs a Byzantine-fault-tolerant vote among validators, and declares 'everything up to this point is now permanent.' The word gadget signals that it is modular — an overlay, not a replacement for the base block production.

The motivation is that pure longest-chain consensus only ever offers probabilistic finality: a block is highly unlikely to be reverted after enough confirmations, but never truly settled. For exchanges, bridges, and high-value applications that distinction matters, because a deep reorg, however improbable, is catastrophic. A finality gadget closes the gap by giving a hard guarantee: past a finalized checkpoint, reversal is not just unlikely but would require provably slashable misbehavior by a supermajority of stake.

Ethereum's Casper FFG is the most prominent example, finalizing epoch-boundary checkpoints; Polkadot's GRANDPA is another, finalizing chains of blocks at once rather than one at a time. The common design splits responsibilities: a liveness layer keeps proposing blocks quickly, while the finality gadget supplies safety more slowly and with economic teeth. The chief trade-off is latency — gadgets typically finalize in tens of seconds to a couple of minutes, not instantly — which is the price of layering certainty on top of a fast, forky base.