ETH Hub Tbilisi — Education & Talent Platform

Mathematically prove your smart contracts are correct — before they hold millions in value. This course teaches practical formal verification using tools like Certora, Halmos, and symbolic execution. You'll learn to write specifications, reason about invariants, and verify complex DeFi protocols. By the end, you'll be able to provide mathematical guarantees about contract behavior that no amount of testing alone can achieve.

Formal Verification Smart Contract Security

14/26

PAST / RECORDED

4 videosINSTRUCTOR

Smart Contract Security & Auditing (Cohort 2)

Learn to think like an attacker and defend like an auditor. This course provides a systematic approach to smart contract security, covering the full taxonomy of vulnerabilities from reentrancy and flash loan attacks to subtle logic bugs and oracle manipulation. You'll practice with real-world exploit case studies, learn formal verification with Certora, and participate in a live audit workshop using production contracts.

Smart Contract Security Formal Verification

4 videosINSTRUCTOR

Formal Verification for Smart Contracts (Cohort 3)

Mathematically prove your smart contracts are correct — before they hold millions in value. This course teaches practical formal verification using tools like Certora, Halmos, and symbolic execution. You'll learn to write specifications, reason about invariants, and verify complex DeFi protocols. By the end, you'll be able to provide mathematical guarantees about contract behavior that no amount of testing alone can achieve.

Formal Verification Smart Contract Security

Member since 2024-08

l2_builder

SKILLS & LEVELS (11)

PROJECTS (6)

FlashGuard

ZK-Ballot

SmartFold

Security Audit Report — DeFi Protocol Architecture (Cohort 2)

Verification Project — DAO Governance Design (Cohort 2)

DApp Prototype — ERC Standards Deep Dive

Instructor

Formal Verification for Smart Contracts (Cohort 3)

Smart Contract Security & Auditing (Cohort 2)

Formal Verification for Smart Contracts (Cohort 3)

l2_builder

SKILLS & LEVELS (11)

PROJECTS (6)

FlashGuard

ZK-Ballot

SmartFold

Security Audit Report — DeFi Protocol Architecture (Cohort 2)

Verification Project — DAO Governance Design (Cohort 2)

DApp Prototype — ERC Standards Deep Dive

Instructor

Formal Verification for Smart Contracts (Cohort 3)

Smart Contract Security & Auditing (Cohort 2)

Formal Verification for Smart Contracts (Cohort 3)