Assembly & Formal Verification EVM Full Course
Автор: Patrick Collins
Загружено: 2024-08-11
Просмотров: 23889
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.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
