Розробники гаманця Calibra, призначеного для проекту Libra соціальної мережі Facebook, створили метод тестування консенсусу BFT під назвою Twins («Близнюки»).
В документі
творці методу тестування підкреслюють, що він дозволяє швидко і просто тестувати алгоритми BFT. У рішенні використовується запуск двох однакових вузлів для емуляції поведінки алгоритму, включаючи «неоднозначність, подвійне голосування і втрату внутрішнього стану».
«Метод Twins дозволяє оператору систематично генерувати атаки на протоколи BFT, масштабувати їх, виконувати повністю під контролем, і перевіряти необхідні параметри алгоритму», — наголошується в документі.
Розробники вже використали метод Twins для відтворення відомих атак на алгоритми BFT. Дві вразливості, для виявлення яких в алгоритмах BFT «у спільноти пішло понад десятиліття», були ідентифіковані за допомогою методу Twins «за хвилини».
Принцип Завдання візантійських генералів був сформований в 1982 році. Алгоритми вирішують проблему взаємодії віддалених абонентів у випадку, якщо деякі з них ненадійні. У блокчейне BFT використовується для збереження цілісності та достовірності даних та мережі в разі різних атак.
«Одне з найприємніших у моїй роботі — це можливість співпрацювати з найбільш яскравими та талановитими людьми в галузі. Ось деякі передові дослідження по тестуванню алгоритмів BFT від нашої команди», — написав
співзасновник Calibra Девід Маркус (David Marcus) в соціальній мережі Twitter.
При цьому автори методу зазначили, що з допомогою Twins неможливо відтворити абсолютно всі можливі варіанти поведінки алгоритмів BFT, що варто брати до уваги.
Thanks!
Our editors are notified.