Most software fails safely: a bug is an inconvenience — a crash, a support ticket. Smart contracts fail financially: a bug is an asset transfer. Secur… First-principles module in Smart Contract & Execution, with a mastery quiz.