Assembly and Formal Verification - Introduction - Smart Contract Gas Battle Royale

Smart Contract Gas Battle Royale

As supplementary content, we investigate the gas differences seen between Solidity, Vyper, Yul and Huff!

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

Head of Blockchain at Trail of Bits

Last updated on January 17, 2025

Thanks for checking us out

Sign up for free to continue your blockchain learning!

Start learning for free

Start for free

Solidity Developer

Assembly and Formal Verification

Section 1: Introduction

Duration: 30min

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

Section 2: Horse Store

Duration: 4h 38min

Section 3: Math Masters

Duration: 3h 57min

Section 4: Gas Bad NFT Marketplace

Duration: 1h 56min

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

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