Ковальчук, Людмила ВасилiвнаЯценко, Артем Iгорович2024-09-262024-09-262024Яценко, А. І. Ймовiрнiсть атаки подвiйної витрати для протоколу консенсусу Proof-of - Stake у випадку декiлькох слот-лiдерiв в одному тайм-слотi : магістерська дис. : 113 Прикладна математика / Яценко Артем Iгорович. - Київ, 2024. - 81 с.https://ela.kpi.ua/handle/123456789/69267Головним нашим результатом є визначення межi (границi) безпеки протокола консенсусу Ouroboros для моделi з декiлькома слот-лiдерами в одному таймслотi i ненульовим часом синхронiзацiї мережi (модель M2). Ми визначили, що межею безпеки є найменше таке значення частки нечесних (зловмисних) стейкхолдерiв у мережi M2, при якому ймовiрнiсть атаки подвiйної витрати на цю мережу буде дорiвнювати 1, i при цьому кiлькiсть блокiв пiдтвердження 𝑧 не буде впливати на результат. А також, ми визначили те, що ця межа безпеки залежить вiд коефiцiєнта активностi слота f, тобто чим бiльше f тим меншою стає межа, а отже для успiшної атаки достатньо меншої долi зловмисникiв у мережi. Аналогiчна залежнiсть i вiд часу затримки – при зiбльшеннi часу затримки (погана синхронiзацiя мережi) зменшується межа безпеки. Тому розробникам блокчейнiв на основi Ouroboros слiд враховувати нашi результати для прогнозування ймовiрностi атаки подвiйної витрати на протокол i регулювати мережу таким чином, щоб збiльшувати межу безпеки у нiй.81 с.ukMaster Thesis681.3