Захист від вразливостей SWC-100-136

Калуга Я. С. Захист від вразливостей SWC-100-136 : пояснювальна записка кваліфікаційної роботи : 125 Кібербезпека / Кулага Ярослав Сергійович. – Київ, 2024. – 117 с.

Об'єкт дослідження - сканер вразливостей, розроблений спеціально для смарт-
контрактів блокчейну.
Мета роботи - ретельний аналізу безпеки смарт-контрактів та створення сканера вразливостей смарт-контрактів, яким зможуть користуватися розробники та аудитори, а також корисних порад.
Для того, щоб знайти можливі слабкі місця в смарт-контрактах і посилити їхню безпеку, в рамках дослідження були створені і вивчені методи сканування. Для вибору найкращого інструменту для створення сканера було проведено порівняння мов програмування, зокрема Solidity, Vyper та Yul.
Наступним етапом стало вивчення теоретичних недоліків, що лежать в основі смарт-контрактів, знайдених в SWC-100 - SWC-136. У світлі цього дослідження було створено унікальний сканер смарт-контрактів, який пройшов тестування в реальному світі, щоб знайти ці недоліки і підвищити безпеку смарт-контрактів.
Результати дослідження продемонстрували, що створений сканер є більш успішним, ніж існуючі на сьогоднішній день методи виявлення недоліків та підвищення безпеки смарт-контрактів.