Assembly & Formal Verification EVM Full Course
Patrick Collins · 648:04
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...