New courses now live: Wallets, deployment and formal verification. Sign up to get started đ
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.
Course Details
Last updated on April 23, 2024
Course Overview
If youâre a smart contract developer, a smart contract auditor, or know Solidity and want to level up your skills, the Assembly and Formal Verification course is the right resource for you to start developer more secure and efficient smart contracts:
With thousands of engineers taught, 50+ lectures and more than 11 hours of videos, and written resources, this comprehensive course gives you the skills youâll need to bring your smart contract development and security skills to the next level.
Learn exactly how the solidity compiler works, and how the opcodes work. Then, learn how to write formal verification tests to guarantee your invariants hold. Technologies: - Halmos - Certora - Huff - Yul - Assembly - Kontrol
If you are an experienced Solidity smart contract developer or security researcher, this course is the right step to take you from Intermediate to professional. Here's why:
Every video tutorial comes with a written lesson, giving you full freedom over your favourite learning method and teach you everything you need to know to succeed as a smart contract engineer or security researcher.
Made to train you on real-world projects, the Assembly and Formal Verification course includes quizzes, tests, and assignments as well as hands-on exercises to level up your Solidity smart contract engineering and security skills!
Learn how to use Halmos, Certora, Kontrol, and writing smart contracts using Huff and Assembly, through real world examples.
By the end of this course, you will be able to develop, deploy and test your smart contracts using state-of-the-art tools and frameworks used by top Blockchain protocols world wide!
You will get lifetime access to over 50 lectures plus corresponding resources and GitHub repositories!
So what are you waiting for? Learn Assembly, Yul, Huff and Formal Verification and kickstart your career as a web3 developer!
Guest lecturers:
Josselin Feist
Head of Blockchain at Trail of Bits
Testimonials
Read what our students have to say about this course.
If thereâs one resource that Web3 developers point to, itâs Cyfrinâs ultimate tutorials. Theyâre standout resources that have empowered countless developers to learn blockchains, learn Solidity, and dive deep into Web3 development.
We can build systems for Ethereum scaling but without education, itâs all for nothing. Updraft is the first step towards adoption for Web3 education. We can now mint security focused developers at scale!
Cyfrin's course was a cornerstone of my journey into Web3, providing me with the fundamentals and hands-on experience that have been pivotal to my journey in the blockchain space.
Cyfrin Updraft videos on smart contract development have been instrumental in my blockchain journey, standing out with their clarity and accessibility. Their readiness to support and engage with learners makes me excited for more of their interactive and insightful content in the Web3 space
I took Cyfrin course and Iâve been working as a solutions developer at OpenZeppelin for the last few months. It was by far the most comprehensive resource and the one that really teached me the fundamentals and made me want to switch from web2 to web3
The Cyfrin courses were a game-changer for me. They provided a well-structured and comprehensive introduction to web3 and blockchain development. The knowledge I gained allowed me to transition into a full-time role as a blockchain developer. I can't recommend these courses enough!
I took Cyfrinâs courses, and I took them seriously. At least one hour every day, documented the progress, didnât skip any second. Havenât found a better web3 course since. Now Iâm full-time in web3, working as Senior Developer Advocate at Ceramic Network.
Cyfrin have been an absolute game-changers in my journey into blockchain. Saying their courses were remarkable, would be an understatement. Thanks to their expert guidance, I gained a deep understanding of blockchain to its roots. I'm forever grateful for their role in helping me get started in web3.