This project compares the security of Proof of Work (e.g., Bitcoin) versus Proof of Stake (e.g., Ethereum 2) protocols along several dimensions, including double-spend attacks, use of market power in mining and staking, disruption of consensus, and transaction finality.