Incentive Compatibility

Incentive compatibility is the game-theoretic property of a mechanism in which rational, self-interested participants find following the rules more profitable than breaking them. It's the property that makes Bitcoin work in a decentralized world full of adversaries.

How it shows up in Bitcoin:

• Miners burn electricity to compute proof-of-work. They earn block subsidies plus transaction fees only if their block is accepted by the network. Producing invalid blocks (wrong PoW, invalid transactions, exceeding the block weight limit) gets rejected and wastes the electricity. Producing valid blocks earns the reward. The economically rational miner follows the rules.
• Nodes validate every transaction against consensus rules. They reject invalid blocks even if those blocks have more accumulated proof-of-work. The node has nothing to gain from accepting invalid blocks (no reward, no fees, just incorrect bookkeeping that makes them lose money on transactions they thought were valid).
• Users pay fees to miners voluntarily because their transactions confirm faster. Miners include the highest-fee transactions because they're the most profitable.
• 51% attacks are mathematically possible but economically self-destructive: a miner with enough hash to rewrite history would destroy the value of the Bitcoin they're mining for. The cost of attack exceeds the benefit, so the attack doesn't happen.

The incentive-compatibility argument has limits. It assumes participants are rational and discount short-term gains against long-term value. It can break down for actors with non-monetary motivations (state-level adversaries, ideologues, terminally-online griefers) or for actors who can externalize costs (hash rate from stolen electricity, custodial coin theft).

But the structural property holds for the dominant economic actors most of the time, and that's what's needed. Bitcoin doesn't require everyone to be honest; it requires honest actors to be more profitable than dishonest ones in aggregate. Two decades into the experiment, that property has held empirically.