Кулага Ярослав СергійовичТолюпа Сергій Васильович2024-06-192024-06-192024Калуга Я. С. Захист від вразливостей SWC-100-136 : пояснювальна записка кваліфікаційної роботи : 125 Кібербезпека / Кулага Ярослав Сергійович. – Київ, 2024. – 117 с.https://ir.library.knu.ua/handle/15071834/1996Об'єкт дослідження - сканер вразливостей, розроблений спеціально для смарт- контрактів блокчейну. Мета роботи - ретельний аналізу безпеки смарт-контрактів та створення сканера вразливостей смарт-контрактів, яким зможуть користуватися розробники та аудитори, а також корисних порад. Для того, щоб знайти можливі слабкі місця в смарт-контрактах і посилити їхню безпеку, в рамках дослідження були створені і вивчені методи сканування. Для вибору найкращого інструменту для створення сканера було проведено порівняння мов програмування, зокрема Solidity, Vyper та Yul. Наступним етапом стало вивчення теоретичних недоліків, що лежать в основі смарт-контрактів, знайдених в SWC-100 - SWC-136. У світлі цього дослідження було створено унікальний сканер смарт-контрактів, який пройшов тестування в реальному світі, щоб знайти ці недоліки і підвищити безпеку смарт-контрактів. Результати дослідження продемонстрували, що створений сканер є більш успішним, ніж існуючі на сьогоднішній день методи виявлення недоліків та підвищення безпеки смарт-контрактів.uaсмарт-контрактиSWC-100-136сканер смарт-контрактівМагістерська робота