Crypto Solidity - Assembly & Formal Verification EVM Full Course

4.0 (0)

8 learners

What you'll learn

This course includes

266.5 hours of video
Certificate of completion
Access on mobile and TV

Summary

Full Transcript

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-evm-opcodes-and-formal-verification-course 🎙️ Community Discussions (Say Hi!): https://github.com/Cyfrin/assembly-evm-opcodes-and-formal-verification-course/discussions 🎮 Discord: https://discord.gg/cyfrin 🐸 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: https://www.youtube.com/@PatrickAlphaC/videos Twitter: https://twitter.com/patrickalphac Medium: https://medium.com/@patrickalphac TikTok: https://www.tiktok.com/@patrickalphac All thoughts and opinions are my own.