Smart Contract Security: A Taxonomy of Vulnerabilities, Attacks, and Defenses

Smart contracts are immutable once deployed. A single bug can drain millions in minutes. This article builds a practical taxonomy of the most dangerous vulnerability classes: reentrancy, integer overflow, access control, MEV, and invariant violations. Each section explains the vulnerability with Solidity code, formal notation, and systematic defenses.