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/
🎓 Cyfrin Updraft: https://updraft.cyfrin.io/
🧑🏾💻 Code, resources, and support forum: https://github.com/Cyfrin/assembly-ev...
🎙️ Community Discussions (Say Hi!): https://github.com/Cyfrin/assembly-ev...
🎮 Discord: / discord
🐸 Lead Instructor PatrickAlphaC: https://x.com/PatrickAlphaC
🏛️🏛️ Curriculum 🏛️🏛️
⭐️ (00:00:00) | Section 0 | Welcome
⭐️ (00:29:16) | Section 1 | Horse Store
⭐️ (05:07:33) | Section 2 | Math Masters
⭐️ (08:51:39) | Section 3 | Gas Bad NFT Marketplace
✅✅ Donate ✅✅
I use donated funds to spend money on making fun & informational videos.
ETH/Arbitrum/ZKSync/EVM Chains Wallet address:
0x3846c3A30E62075Fa916216b35EF04B8F53931f6 (cyfrin1.eth)
😸😸Follow Patrick!😸😸
Cyfrin: https://www.cyfrin.io/
YouTube: / @patrickalphac
Twitter: / patrickalphac
Medium: / patrickalphac
TikTok: / patrickalphac
All thoughts and opinions are my own.
Watch video Assembly & Formal Verification EVM Full Course online without registration, duration hours minute second in high quality. This video was added by user Patrick Collins 11 August 2024, don't forget to share it with your friends and acquaintances, it has been viewed on our site 12,81 once and liked it 58 people.