Explains validators, staking, attestations, slashing, finality, validator clients, and the economic security model used by modern proof-of-stake networks.