Smart Contract Security & Auditing — Spring 2026

May 1, 2026 — May 22, 2026

4 sessions · 4h each

37DAYS

17HRS

22MIN

16 / 23 enrolled

Sessions

Per Session

Max Students

$300

Price

ABOUT

Learn to think like an attacker and defend like an auditor. This course provides a systematic approach to smart contract security, covering the full taxonomy of vulnerabilities from reentrancy and flash loan attacks to subtle logic bugs and oracle manipulation. You'll practice with real-world exploit case studies, learn formal verification with Certora, and participate in a live audit workshop using production contracts.

SKILLS & TOPICS

+200 XP if you pass

Smart Contract Security Formal Verification

INSTRUCTOR

anonBuilder

Smart contract security researcher. Breaking things to make them stronger.

SCHEDULE (tap to expand)

Build a comprehensive mental model of smart contract vulnerabilities. We'll categorize attacks by type — access control, arithmetic, reentrancy, front-running, and logic bugs — with real exploit case studies from Euler, Beanstalk, Ronin, and others. You'll learn to spot red flags in code reviews and understand the attacker's methodology from reconnaissance to exploitation.

PREREQUISITES

▹ Solidity intermediate
▹ Understanding of DeFi protocols

VERIFICATION PROJECT

Audit a smart contract suite and submit a professional report.

Ready to Learn?

Connect your wallet to enroll in this course.

Connect Wallet to Participate