_Follow along with this video:_ --- ### Prerequisites Because of the advanced nature of the content in this course, there are a number of fairly rigid prerequisites. ### Required: **Skills:** - Intermediate/Strong Solidity or Vyper Skills - Solidity Preferred - Intermediate/Strong Foundry Skills **Tools:** - Foundry - VSCode/Text Editor - Git & GitHub - Basic Linux/Bash - WSL ### Nice to Have: - [**Updraft Security & Auditing Course**](https://updraft.cyfrin.io/courses/security) - [**Updraft Advanced Foundry Course**](https://updraft.cyfrin.io/courses/advanced-foundry) - [**Updraft Wallet & Post Deployment Course**](https://updraft.cyfrin.io/courses/wallet-and-deployment) ### Wrap Up There's a large assumption here that ... you're not a noob. I'm going to approach these lessons as though you're already experience in this space, so be prepared and come ready. There's no harm in going back into the prerequisite courses to shake off the rust, or brush up on concepts. With that said, when you're ready.. let's get started! See you in the next lesson!
Prerequisites
Requirements include a solid foundation in Solidity and Foundry. Participants should have completed Cyfrin Updraft's Security & Auditing course. Familiarity with text editors, Git/Cloud Git providers, terminal commands is also needed. WSL installation is assumed for Windows users. Aimed at advancing participants from intermediate to advanced smart contract developers or security researchers
Course Overview
About the course
What you'll learn
Assembly
Writing smart contracts using Huff and Yul
Ethereum Virtual Machine OPCodes
Formal verification testing
Smart contract invariant testing
Halmos, Certora, Kontrol
Course Description
Who is this course for?
- Smart contract security researchers
- Advanced Smart contract engineers
- Chief Security Officiers
- Security professionals
Potential Careers
Security researcher
$49,999 - $120,000 (avg. salary)
Smart Contract Auditor
$100,000 - $200,000 (avg. salary)
Meet your instructors
Guest lecturers:
Josselin Feist
Head of Blockchain at Trail of Bits
Last updated on January 17, 2025
Solidity Developer
Assembly and Formal VerificationCourse Overview
About the course
What you'll learn
Assembly
Writing smart contracts using Huff and Yul
Ethereum Virtual Machine OPCodes
Formal verification testing
Smart contract invariant testing
Halmos, Certora, Kontrol
Course Description
Who is this course for?
- Smart contract security researchers
- Advanced Smart contract engineers
- Chief Security Officiers
- Security professionals
Potential Careers
Security researcher
$49,999 - $120,000 (avg. salary)
Smart Contract Auditor
$100,000 - $200,000 (avg. salary)
Meet your instructors
Guest lecturers:
Josselin Feist
Head of Blockchain at Trail of Bits
Last updated on January 17, 2025
Testimonials
Students Reviews
Read what our students have to say about this course.
Chainlink
Chainlink
Gustavo Gonzalez
Solutions Engineer at OpenZeppelin
Francesco Andreoli
Lead Devrel at Metamask
Albert Hu
DeForm Founding Engineer
Radek
Senior Developer Advocate at Ceramic
Boidushya
WalletConnect
Idris
Developer Relations Engineer at Axelar