Assembly and Formal Verification

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.

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.

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.

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.

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.

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.

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.

Learn Uniswap V3 smart contract development and level up your expertise as a DeFi developer. Updraft’s Uniswap V3 course will teach you Uniswap V3 math, concentrated liquidity, swapping, contract architecture, fees, flash loans, and more. Grow your web3 career and build with Uniswap V3.

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.

Learn Curve Cryptoswap and take the next step to become an expert smart contract and DeFi developer. Curve Cryptoswap is an advanced DeFi developer course that will teach you Curve Cryptoswap’s math, liquidity pools, swaps, price-repegging, and more.

Start your journey to full-stack web3 development and build functional, blockchain powered applications. Learn how to connect Blockchain wallets and smart contract features to your apps. ZKsync, Circle, and Cyfrin Updraft’s Full-Stack Web3 Development Crash Course will take you from beginner to intermediate in 8 hours. Whether you’re just starting out or want to strengthen your full-stack blockchain development skills, this course has something for you.

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.

Learn Rocket Pool rETH Integration and how to build decentralized finance (DeFi) protocols that incorporate it. Level up your expertise as a DeFi developer! This course will guide you through essential concepts with hands-on exercises and real-world applications of rETH in the DeFi landscape. It covers: an introduction to rETH, technical insights into how it works, and how it fits into Rocket Pool’s protocol contract.