Smart Contract Security and Auditing
Find real smart contract exploits with Slither, Mythril and Foundry, then write the audit report a client would pay for.

About this course
Smart contract bugs cost DeFi protocols hundreds of millions every year — and most of them are patterns an auditor is trained to catch before mainnet. This hands-on course takes you from Solidity developer to working auditor.
You’ll start by building the auditor’s mindset: how to threat-model a contract before you read a single line, and how to set up a real toolkit with Foundry, Slither and Mythril. From there you’ll go deep on the vulnerability classes that actually show up in post-mortems — reentrancy, access control flaws, unsafe math and precision loss, and oracle/flash-loan manipulation — each with a live exploit you reproduce yourself.
Next comes the auditor’s actual workflow: running automated static and dynamic analysis, writing Foundry fuzz and invariant tests that find bugs humans miss, and doing a disciplined manual line-by-line review with a repeatable checklist instead of guesswork.
The course closes with the part most tutorials skip: turning findings into a professional deliverable. You’ll learn an industry-standard severity/likelihood risk matrix, how to write remediation guidance a dev team can act on, and how to structure a full audit report. The capstone is a complete audit of a sample DeFi protocol — proof-of-concept exploits, severity ratings and report included — so you finish with a portfolio piece, not just notes.
By the end you’ll be able to vet a contract before launch, speak the language of professional audit firms, and produce a report worth charging for. Includes a certificate of completion.
What you will be able to do
- Recognize and explain the top smart contract vulnerability classes: reentrancy, access control flaws, unsafe math/precision loss, and oracle/flash-loan manipulation.
- Run Slither, Mythril, and Foundry fuzzing/invariant tests against a real contract and correctly interpret the findings.
- Perform a manual line-by-line security review using a repeatable checklist and threat model.
- Classify findings by severity and likelihood using an industry-standard risk matrix.
- Write and deliver a professional audit report with reproducible proof-of-concept exploits and remediation guidance.
Curriculum
1Foundations of Smart Contract Security
- Why Audits Matter: The Cost of Exploits
- The Auditor's Mindset and Threat Modeling
- Setting Up Your Audit Toolkit (Foundry, Slither, Mythril)
2Common Vulnerability Classes
- Reentrancy Attacks and the Checks-Effects-Interactions Pattern
- Access Control Flaws and Privilege Escalation
- Integer Overflow, Precision Loss and Unsafe Math
- Oracle Manipulation and Flash Loan Attacks
3Static and Dynamic Analysis
- Automated Scanning with Slither and Mythril
- Fuzzing and Invariant Testing with Foundry
- Manual Code Review Walkthrough of a Vulnerable Contract
4Writing the Audit Report and Client Delivery
- Severity Rating and Risk Classification
- Writing a Professional Audit Report
- Capstone: Full Audit of a Sample DeFi Protocol
5Advanced Attack Vectors and Real-World Case Studies
- Cross-Chain Bridge Vulnerabilities
- Upgradeable Contracts and Proxy Pattern Risks
- MEV, Sandwich Attacks and Frontrunning Protection
- Governance Attacks and Flash-Loan Voting Exploits
- Signature Replay and ECDSA Pitfalls
- Real-World Post-Mortems: Dissecting Five Major Hacks
- Capstone: Advanced Case Study Review
Taught by Block Relations
Research & Education · Built for solidity developers with at least one deployed contract who want to move into smart contract auditing, plus engineering leads who need to vet contracts before mainnet launch.
Free
Free
Free