Команда кошелька Calibra от Facebook опубликовала исследовательский документ, в котором описан новый способ тестирования консенсусных алгоритмов Byzantine fault tolerance (BFT) под названием Twins.
В документе утверждается, что, хотя системы BFT в течение более двух десятилетий подвергались обширным исследованиям, все еще нет эффективного метода тестирования реализаций BFT.
Новый метод тестирования запускает два идентичных экземпляра узла для имитации «византийского поведения», включая двусмысленность, двойное голосование и развал внутреннего состояния. Система Twins позволяет оператору систематически генерировать сценарии «византийских атак», выполнять их контролируемым образом и проверять свойства протокола.
Разработчики испробовали Twins при воссоздании нескольких ранее совершенных атак на протоколы BFT. В результате выяснилось, что две из этих атак Twins обнаружил в течение нескольких минут, хотя в реальности сообществу потребовалось более десяти лет для их обнаружения.