Статті

DOI: https://doi.org/10.31713/vt2202610

Анотація

У статті досліджено відбір комітету в мережах Proof-of-Stake комітетного типу при зростанні концентрації стейку. Розглянуто проблему оцінювання ризику захоплення комітету та ймовірності того, що відстежувана коаліція отримає частку місць, достатню для контролю над семпльованим комітетом. На практиці протокол не має простої аудитованої величини, яку можна обчислити зі стану ланцюга і за якою можна зрозуміти, чи залишаються поточні параметри комітету безпечними. Через це розмір комітету, поріг захоплення та допустиме коригувальне змішування часто вибирають евристично, а момент, коли заданий допустимий рівень ризику вже не забезпечується, можна пропустити. Для розв’язання цієї проблеми запропоновано метод оцінювання ризику захоплення комітету за концентрації стейку. Метод поєднує точний сертифікат ризику для відстежуваної коаліції з межею здійсненності/насичення, яка показує, до якого рівня концентрації ризик ще можна втримати в межах заданого бюджету, а після якого це вже неможливо за обмеженого втручання. Метод реалізовано у відтворюваному Proof-of-Concept для мережі Proof-of-Stake. Отримані результати показують, що запропонований сертифікат дає інформативну оцінку ризику захоплення комітету в робочому діапазоні параметрів. Також показано, що обмежене втручання залишається можливим лише до певного порога концентрації, після якого нездійсненність виявляється явно. У Proof-of-Concept сценарії, де концентрація поступово зміщується на користь відстежуваної top- коаліції, метод піднімає червоний прапорець у момент, коли бюджет ризику порушується або стає недосяжним, а фактичні результати жеребкування комітету демонструють той самий тренд погіршення. Практичне значення роботи полягає в тому, що запропонований метод може використовуватися як інструмент моніторингу, підтримки врядування та аудиту параметрів у Proof-of-Stake системах.

Біографії авторів