Ймовiрнiсть атаки подвiйної витрати для протоколу консенсусу Proof-of - Stake у випадку декiлькох слот-лiдерiв в одному тайм-слотi

Вантажиться...
Ескіз

Дата

2024

Назва журналу

Номер ISSN

Назва тому

Видавець

КПІ ім. Ігоря Сікорського

Анотація

Головним нашим результатом є визначення меж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й.

Опис

Ключові слова

Бібліографічний опис

Яценко, А. І. Ймовiрнiсть атаки подвiйної витрати для протоколу консенсусу Proof-of - Stake у випадку декiлькох слот-лiдерiв в одному тайм-слотi : магістерська дис. : 113 Прикладна математика / Яценко Артем Iгорович. - Київ, 2024. - 81 с.

DOI