Симуляция византийской отказоустойчивости с помощью asyncio

Разработана реализация симулятора практической византийской отказоустойчивости (PBFT) на базе asyncio. Модель представляет собой распределенную сеть с асинхронной передачей сообщений, настраиваемыми задержками и узлами, намеренно отклоняющимися от протокола.

В симуляторе реализованы этапы предварительной подготовки, подготовки и фиксации, что позволяет исследовать достижение консенсуса в условиях атак. Система измеряет время достижения консенсуса и процент успешных операций при увеличении числа злонамеренных узлов, позволяя оценить границы византийской отказоустойчивости.

Симулятор основан на библиотеках asyncio и dataclasses для структурированного взаимодействия. Он моделирует недоопределенное поведение сети, влияющее на время достижения консенсуса и устойчивость. В симуляции поддерживаются как корректные, так и злонамеренные узлы, а также реализован механизм кворума.

Проект доступен на GitHub, что позволяет экспериментировать с расширениями, такими как смена лидера или аутентификация сообщений.