Introduction to formal verification

Exploration of formal verification and symbolic execution in Web3, including their applications and limitations in security testing.

Solidity Developer

Advanced Foundry

1. Intro
Introduction to smart contract security and auditing, providing foundational knowledge for crypto space security. Duration: 4min
2. Just A Taste
A high-level introduction to Solidity smart contract security. This lesson covers the basics of security in the smart contract realm, including common vulnerabilities and how to mitigate them. Duration: 1min
3. What is a smart contract audit
Insights into the manual review process in smart contract auditing, emphasizing the importance of detailed code and documentation examination. Duration: 7min
4. Top security tools
Overview of various security tools used by professionals for smart contract auditing, including their roles and effectiveness. Duration: 12min
5. Introduction to manual review
Insights into the manual review process in smart contract auditing, emphasizing the importance of detailed code and documentation examination. Duration: 14min
6. Introduction to formal verification
Exploration of formal verification and symbolic execution in Web3, including their applications and limitations in security testing. Duration: 15min
7. Quiz: Security Recap Quiz
Questions: 6
8. Congratulations
Celebratory conclusion of the course, highlighting key resources and tools for continued learning in smart contract security. Duration: 5min

Course Overview

About the course

What you'll learn

Advanced smart contract development

How to develop a stablecoin

How to develop a DeFi protocol

How to develop a DAO

Advanced smart contracts testing

Fuzz testing

Manual verification

Course Description

Who is this course for?

  • Engineers
  • Smart Contract Security researchers

Potential Careers

Web3 Developer Relations

$85,000 - $125,000 (avg. salary)

Web3 developer

$60,000 - $150,000 (avg. salary)

Smart Contract Engineer

$100,000 - $150,000 (avg. salary)

Smart Contract Auditor

$100,000 - $200,000 (avg. salary)

Security researcher

$49,999 - $120,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:

Juliette Chevalier

Juliette Chevalier

Lead Developer relations at Aragon

Ciara Nightingale

Ciara Nightingale

Developer relations at Thirdweb

Vasiliy Gualoto

Vasiliy Gualoto

Developer relations at Cyfrin

Nader Dabit

Nader Dabit

Director of developer relations at Avara

Ally Haire

Ally Haire

Developer relations at Protocol Labs

Harrison

Harrison

Founder at GasliteGG

Vitto Rivabella

Vitto Rivabella

Lead Developer relations at Cyfrin

Last updated on November 29, 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