Код: 366486

Назва:

Аудит безпеки смартконтактів

Анотація: Курс навчає методології аудиту безпеки смартконтрактів на платформах Ethereum/EVM. Студенти вивчають мову Solidity з позиції безпеки, типові вразливості (reentrancy, integer overflow, front-running, access control), інструменти статичного та динамічного аналізу (Slither, Foundry, Echidna), а також процес професійного аудиту: від scoping до фінального звіту. Розглядаються резонансні інциденти (DAO hack, Wormhole, Ronin Bridge) як навчальні кейси. Унікальна сфера, де одна вразливість може коштувати сотні мільйонів доларів

Тип дисципліни: вибіркова

Рік навчання: 2

Семестр: осінній

Форма контролю: залік

Спосіб навчання: аудиторний/дистанційний

Мова навчання: українська