Протокол стейкінгу Bitcoin від Babylon виявляє критичну вразливість у консенсусі

Протокол Babylon, який забезпечує функціональність стейкінгу Bitcoin, виявив суттєву технічну ваду, яка може поставити під загрозу стабільність його мережі валідаторів. За останніми даними, опублікованими командами розробників на GitHub, ця вразливість у механізмі консенсусу Babylon становить істотний ризик для ефективності генерації блоків.

Деталі технічної вади

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

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

Як вразливість спричиняє збої в мережі

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

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

Поточна оцінка та графік

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

Це розкриття нагадує, що навіть такі встановлені протоколи, як Babylon, потребують постійного аудиту безпеки, особливо при роботі на перетині моделі безпеки Bitcoin та механізмів витримки від віртуозних збоїв (Byzantine fault tolerance).