Learn how to audit smart contracts for security flaws. Discover the methodologies behind manual code review, automated testing, and formal verification.