Assembly and Formal Verification

Advanced

Assembly and Formal Verification

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.


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

Course Description

Last updated on December 4, 2024

Learning path

Solidity Developer

View all courses

Blockchain Basics

Beginner

Blockchain Basics

Introductory blockchain developer course. Learn how blockchains and smart contracts work, and how to sign your first transaction. Whether you’re new or are a seasoned developer, there’s something here for you.

3hrs
23 lessons
1 project

Solidity Smart Contract Development

Beginner

Solidity Smart Contract Development

Start here if you’re new to writing smart contracts! Learn Solidity programming language and smart contract development from industry-leading experts. Kickstart your career as a web3 developer.

5hrs
65 lessons
3 projects

Foundry Fundamentals

Intermediate

Foundry Fundamentals

Learn Foundry for Solidity and level up your Solidity developer skills. Discover advanced web3 development concepts and tools in the Foundry Fundamentals course. Learn Foundry Forge and Anvil, Chainlink Blockchain oracles, smart contract testing, and how to spin up local networks.

10hrs
112 lessons
3 projects

Advanced Foundry

Intermediate

Advanced Foundry

Learn advanced Foundry for Solidity smart contract development. Master web3 development techniques to write, deploy, test, optimize, and interact with your smart contracts using industry-standard tools. Lessons taught by the top smart contracts engineers in web3.

13hrs
154 lessons
4 projects

Smart Contract Security

Advanced

Smart Contract Security

Start your career as a smart contract security researcher! Learn smart contract auditing and the best practices for writing secure and optimized protocols. Explore fuzzing, invariant testing, and formal verification to identify bugs and protect web3 protocols.

24hrs
270 lessons
6 projects

Assembly and Formal Verification

Advanced

Assembly and Formal Verification

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.

11hrs
152 lessons
3 projects

Smart Contract DevOps

Advanced

Smart Contract DevOps

Following web3 DevOps guidelines and keeping an eye on smart contracts after they're live is key to making protocols and their users, safer. This course teaches you the best practices when dealing with web3 wallets and post-deployment security, teaching you how to keep smart contracts under control, even after they've been launched.

2hrs
22 lessons
1 project

Curve Stableswap

Advanced

Curve Stableswap

Learn Curve Stableswap and take your smart contract developer and security researcher skills to the next level. Curve Stableswap is an advanced, DeFi developer specialization course taught by top smart contract engineer, ProgrammerSmart. It covers how Curve finance works, AMM and math, curves, liquidity pools, swaps, and more.

2hrs
48 lessons
0 projects

Uniswap V2

Advanced

Uniswap V2

Learn Uniswap v2 and level up your skills as a smart contract developer and security researcher with this advanced, deep dive specialization course on the Uniswap v2 contracts, router, Factory, liquidity pools, and much. Lessons taught by top smart contracts engineer, ProgrammerSmart.

6hrs
75 lessons
0 projects

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