Agreement without anyone in charge.
A blockchain is a shared ledger that thousands of strangers keep identical copies of, with no bank or referee. Two ideas make it work: hashes that make tampering obvious, and a consensus rule that decides whose next page gets added.
Can an attacker rewrite history?
To reverse a payment, an attacker must secretly build a longer chain than the honest network. Each confirmation is a block they have to make up. Satoshi Nakamoto’s 2008 white paper worked out the odds.
The Byzantine generals
Generals surrounding a city must all attack together or all wait, but some may be traitors sending conflicting messages. Lamport, Shostak and Pease (1982) proved that agreement needs more than two-thirds of the generals to be loyal. Proof-of-stake chains like Ethereum and BFT chains like Cosmos build on this result.
Model: loyal generals vote ATTACK. Traitors tell half the others ATTACK and half RETREAT. A general commits once it hears a quorum (2f+1 matching votes, where f is the number of traitors the protocol was built to tolerate). This is the core of PBFT (Castro and Liskov, 1999) and Tendermint.
How networks decide who writes the next block
Every mechanism answers the same question: what makes it costly to cheat? Electricity, money at stake, reputation, or simply enough honest votes.
| Mechanism | Cost of cheating | Finality | Energy use | Who can join |
|---|---|---|---|---|
| Proof of work | Hardware + electricity | Probabilistic (deeper is safer) | Very high | Anyone with hardware |
| Proof of stake | Staked coins can be slashed | Final after ~2 epochs on Ethereum | Low | Anyone with stake |
| Delegated PoS | Losing votes and rewards | Fast | Low | Elected producers |
| Proof of authority | Public reputation | Fast | Low | Approved validators |
| BFT (PBFT, Tendermint) | Need over ⅓ of votes to break | Instant, once committed | Low | A known validator set |
| Raft / Paxos | Assumes no liars, only crashes | Instant | Low | Trusted servers |