Разработчики Calibra представили новый метод тестирования BFT

Разработчики кошелька Calibra, предназначенного для проекта Libra социальной сети Facebook, создали метод тестирования консенсуса BFT под названием Twins («Близнецы»).

В документе
создатели метода тестирования подчеркивают, что он позволяет быстро и просто тестировать алгоритмы BFT. В решении используется запуск двух одинаковых узлов для эмуляции поведения алгоритма, включая «неоднозначность, двойное голосование и потерю внутреннего состояния».

Разработчики уже использовали метод Twins для воссоздания известных атак на алгоритмы BFT. Две уязвимости, для обнаружения которых в алгоритмах BFT «у сообщества ушло более десятилетия», были идентифицированы с помощью метода Twins «за минуты».

Принцип Задачи византийских генералов был сформирован в 1982 году. Алгоритмы решают проблему взаимодействия удаленных абонентов в случае, если некоторые из них ненадежны. В блокчейне BFT используется для сохранения целостности и достоверности данных и сети в случае различных атак.

При этом авторы метода отметили, что с помощью Twins невозможно воссоздать абсолютно все возможные варианты поведения алгоритмов BFT, что стоит принимать во внимание.