F2 Інженерія програмного забезпечення

Permanent URI for this collection

https://ekmair.ukma.edu.ua/handle/123456789/18197
Освітньо-наукова програма: "Інженерія програмного забезпечення"

Browse

Browsing F2 Інженерія програмного забезпечення by Author "Гороховський, Семен"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Платформа для децентралізованого кредитування з автоматизованими механізмами управління ризиками на базі смартконтрактів
    (2026) Санін, Михайло ; Гороховський, Семен
    У роботі розв’язано задачу проєктування та реалізації платформи для децентралізованого заставного кредитування на базі смартконтрактів. Предмет дослідження охоплює моделі оцінювання забезпечення, правила нарахування відсотків, механізми ліквідації позицій, використання цінових оракулів і технічні засоби захисту протоколу. Метою роботи є проєктування та реалізація програмної системи, яка забезпечує автоматизоване керування кредитним і ліквіднісним ризиком, автоматичний добір безпечних заставних активів та коректну перевірку цінових даних без централізованого посередника. У першому розділі подано аналіз предметної області децентралізованого кредитування, виокремлено основні групи ризиків і виконано порівняння сучасних протоколів та допоміжних технологій. У другому розділі запропоновано архітектуру платформи, формалізовано правило автоматичного добору допустимих заставних активів для заданого активу позики, ефективний LTV , ефективний ліквідаційний поріг, правила перевірки актуальності ціни, відсоткову модель і процедуру ліквідації. У третьому розділі викладено практичну реалізацію платформи: структуру ланцюгового ядра, модель зберігання стану, алгоритми критичних операцій, добовий контур переоцінювання пар, інтеграцію безсерверного децентралізованого застосунку та програму перевірки. Практична цінність роботи полягає в тому, що запропоновані рішення можна використати як основу для реалізації DeFi-протоколу з прозорими параметрами ризику, відтворюваними перевірками та придатною до аудиту структурою контрактів. Практичний результат охоплює архітектуру смартконтрактів, орієнтовану на окремі пари активів, окремий реєстр допустимих пар, добовий контур оновлення меж ризику для конкретної пари та набір сценаріїв перевірки критичних режимів роботи.