Assembly & Formal Verification EVM Full Course
Patrick Collins · 648:04 · Watch on YouTube
This course (likely Patrick Collins on Cyfrin Updraft) teaches smart contract security work below the Solidity level. It covers reading and writing raw EVM opcodes, in Huff, Yul and Solidity bytecode, and formally ver...