Теоретические границы: почему BFT не может победить FLP Почему идеальный консенсус — миф, и как с этим жить
Асинхронная сеть с отказами — это кошмар для консенсуса. Теорема FLP 1985 года ставит крест на идее абсолютно надёжных алгоритмов. Если хотя бы один узел ломается, согласованность рушится. Но это не значит, что нужно сдаться.
Византийские сбои — это не просто отказ узла, а его злонамеренное поведение. Узел может лгать, посылать противоречивые данные или сговариваться с другими злоумышленниками. Это сложнее, чем просто отказоустойчивость, где узел просто молчит.
Но есть выход. Вместо поиска идеального решения можно выбрать, каким ограничением готовы пожертвовать. Например, можно принять синхронность сети или ограничить количество византийских узлов. Главное — документально обосновать этот выбор перед аудитором или регулятором.
Это и есть профессиональное применение теории на практике. Не идеальные алгоритмы, а осознанные компромиссы. Ведь самый безопасный алгоритм — тот, в котором ты не участвуешь, но это не вариант.
Так что, если вы работаете с распределёнными системами, помните: идеального консенсуса нет, но есть способы сделать систему достаточно надёжной. И это уже победа.
