Presentation

Advanced EVM Opcodes & Formal Verification: Learn low-level programming languages like YUL and Huff to write efficient smart contracts. Focus on hands-on project work, gas optimization tools, fuzzing, and formal verification to reach the top 1% of blockchain knowledge.

1. Presentation
Advanced EVM Opcodes & Formal Verification: Learn low-level programming languages like YUL and Huff to write efficient smart contracts. Focus on hands-on project work, gas optimization tools, fuzzing, and formal verification to reach the top 1% of blockchain knowledge. Duration: 5min
2. Best Practices
Patrick covers some best practices to prepare us for the advanced content to come. Duration: 8min
3. 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 Duration: 2min
4. Smart Contract Gas Battle Royale
As supplementary content, we investigate the gas differences seen between Solidity, Vyper, Yul and Huff! Duration: 15min

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

Patrick Collins

Patrick Collins

Founder at Cyfrin

Web3 engineer, educator, and Cyfrin co-founder. Patrick's smart contract development and security courses have helped hundreds of thousands of engineers kickstarting their careers into web3.

Guest lecturers:

Josselin Feist

Josselin Feist

Head of Blockchain at Trail of Bits

Last updated on November 15, 2024

Testimonials

Students Reviews

Read what our students have to say about this course.

Chainlink

Chainlink

Chainlink

Gustavo Gonzalez

Gustavo Gonzalez

Solutions Engineer at OpenZeppelin

Francesco Andreoli

Francesco Andreoli

Lead Devrel at Metamask

Albert Hu

Albert Hu

DeForm Founding Engineer

Radek

Radek

Senior Developer Advocate at Ceramic

Boidushya

Boidushya

WalletConnect

Idris

Idris

Developer Relations Engineer at Axelar

Cyfrin
Updraft
CodeHawks
Solodit
Resources