Какие алгоритмы достижения консенсуса тебе известны и какие гарантии они предоставляют?

Raft и Paxos согласуют значения или журнал при отказах узлов; типичные реализации требуют кворума и не рассчитаны на произвольное злонамеренное поведение.

Для 2f+1 узлов большинство позволяет пережить до f crash-отказов. Safety отделяют от liveness: при потере кворума прогресс останавливается. Византийские модели используют другие алгоритмы и допущения, например PBFT. Сам консенсус не гарантирует низкую задержку или доступность при любом разделении сети.

Источник: raft.github.io.