vitalik_fan

Build the next generation of Ethereum UX with ERC-4337 account abstraction. This course takes you through the complete stack — from understanding UserOperations and Bundlers to implementing smart accounts with social recovery, session keys, and gasless transactions. You'll build a production-ready smart wallet that makes Web3 as intuitive as Web2, solving the onboarding problem that has held back Ethereum adoption.

Mathematically prove your smart contracts are correct — before they hold millions in value. This course teaches practical formal verification using tools like Certora, Halmos, and symbolic execution. You'll learn to write specifications, reason about invariants, and verify complex DeFi protocols. By the end, you'll be able to provide mathematical guarantees about contract behavior that no amount of testing alone can achieve.