Covers Byzantine faults, Sybil resistance, proof of work, longest-chain rules, network forks, and the security assumptions behind decentralized consensus.