Assembly & Formal Verification EVM Full Course
Learn exactly how the solidity compiler and opcodes work. Write contracts using Assembly and Yul, then learn how to write formal verification tests to guarantee your invariants hold, using Certora and Halmos.
Join Cyfrin Updraft to see this in a NOT giant YouTube video: https://updraft.cyfrin.io/
...
