Поток, обобщающий исследования по хорошему времени задержки и устойчивости протоколов частичной синхронизации.
Нижняя граница 1 (DLS): Невозможно решить задачу согласия при частичной синхронизации против византийского противника, если f >= n/3. (
Нижняя граница 2 (Хорошее время задержки): Для частично синхронного византийского широковещательного вещания с f византийскими участниками необходимо и достаточно 3 раунда, если 3f + 1 <= n <= 5f - 1 (
Верхняя граница: например, PBFT, Tendermint, Simplex допускают f < n/3 ошибок и достигают 3-раундного хорошего времени задержки (ссылка:
Большое обновление для гортензии! Теперь он допускает >33% ошибок (византийские или сбой) и по-прежнему делает коммиты за 2 раунда при определенных параметризациях.
Для n = 3f + 2c + k + 1, гортензия коммитируется за 2 раунда, когда ошибки <= (c+k)/2 для некоторого параметра k; в противном случае совершает коммиты в 3 раунда, допуская f византийских ошибок и c crash faults одновременно.
Плотная нижняя граница также доказана!
Ссылка на бумагу: