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