Аналіз атаки відмови в обробці пакунків на NEST Оракул-машину

Розподілений Оракул-машина NEST покликаний підвищити надійність даних оракулів і безпеку системи, дозволяючи більшій кількості користувачів на ланцюгу брати участь у процесі визначення ціни. Щоб протистояти зловмисним пропозиціям, NEST розробив механізм верифікації пропозицій-споживання, що дозволяє верифікаторам здійснювати торгівлю відповідно до пропозицій і вносити корективи.

Однак ефективна робота цього механізму залежить від того, щоб замовлення на купівлю та нові пропозиції могли своєчасно з'являтися в нових блоках. З появою майнінгових пулів, право на упакування транзакцій монополізується, великі майнінгові пули схильні вибирати транзакції, вигідні для них або з високими комісійними, що може призвести до того, що нові пропозиції NEST не можуть бути своєчасно перевірені.

У такому випадку NEST може видавати помилкові цінові дані, що надає певним майнінговим пулам можливість для арбітражу, загрожуючи безпеці екосистеми DeFi. У цій статті буде детально проаналізовано цю атаку на відмову в упаковці майнінгових пулів, спрямовану проти оракул-машини NEST.

!

Аналіз процесу атаки

Припустимо, що всі учасники видобутку є майнінговими пулами і знають свої частки потужності. Перед атакою зловмисний майнінговий пул може заздалегідь накопичити криптовалюту для арбітражу за допомогою ліквідних кредитів та інших способів.

Коли починається атака, зловмисний майнінговий пул подає заявку на NEST з ціною, яка суттєво відрізняється від реальної ринкової ціни. Протягом періоду верифікації верифікатори будуть подавати запити на угоди та коригувати ціни для отримання прибутку.

У цей час всі майнінгові пули мають два вибори: упакувати цю угоду в наступний блок або не упакувати. Це становить багаторазову незалежну гру з повною інформацією у статичному вигляді, і кінцевий результат залежить від прибутку кожного учасника в різних комбінаціях рішень.

Якщо майнінговий пул вибирає виправлення цінової пропозиції, він може одразу отримати прибуток a. Якщо не виправити, можна отримати прибуток b, накопичуючи криптовалюту для арбітражу після встановлення цінової пропозиції, зазвичай більший за a. Але реальний прибуток також потрібно враховувати відношення хешрейту майнінгового пулу, адже тільки майнінгові пули, які знайшли новий блок, можуть отримати право на ведення обліку.

Отже, фактичний розрахунок доходу майнінгового пулу в кожному блоці верифікаційного періоду становить:

1. Змінити ціну: Pia
2. Не змінювати ціну: Pib * Pn

де Pi — це частка обчислювальної потужності майнінгового пулу, а Pn — це ймовірність того, що всі блоки верифікаційного періоду не змінюють ціну.

Майнінговий пул буде обирати, чи коригувати ціну, залежно від власної частки потужності та співвідношення a і b, досягнувши в кінцевому підсумку стану Нешівської рівноваги.

!

Підсумок

Майнінговий пул може використовувати переваги хеш-рейту для затримки або перешкоджання корекції цін, отримуючи прибуток з Оракул-машини NEST. Це не лише проблема, з якою стикається NEST, але й виклик для всієї ідеології децентралізації в блокчейні. Як вирішити проблеми, що виникають через майнінгові пули, є важливим питанням для досягнення справжньої децентралізації.