Security & Auditing

Huff, Yul, differential testing. Smart-contract formal verification techniques
In progress (50% complete)
Manual review, static analysis, fuzz testing
1 final solo audit: VaultGuardians
Smart contract security fellowship by Statemind. Cohort 6 (Dec 2024)
Extensive learning materials and Ethernaut-inspired CTF challenges.
OpenZeppelin's smart contract wargame (completed as of December 2024)
Writeups for levels 32 and 33 linked in Writing page
Capture the flag game by The Red Guild at Devcon 7 SEA (2024)
Writeup for all levels linked in Writing page

DeFi Protocols

Cross-chain & Infrastructure

Foundations