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

Два пути для улучшения: (A) терпеть больше сбоев, (B) достичь лучшей задержки в хороших случаях, когда меньше византийских сбоев Путь (A): терпеть больше сбоев Нижняя граница 3: Нам нужно n >= 3f + 2c + 1, чтобы терпеть f византийских сбоев и c сбоев при частичной синхронности (фольклор?) Верхняя граница: Обобщите любой из ранее упомянутых протоколов, например, PBFT, с размером кворума 2f+c+1 вместо 2f+1 (фольклор?)

Avenue (B): достичь лучшей латентности в хорошем случае, когда меньше византийских сбоев Нижняя граница 4: нам нужно n >= 3f + 2p - 1, чтобы терпеть f византийских сбоев и достичь 2-круговой латентности в хорошем случае, когда p <= f ( Верхняя граница: FaB, SBFT, Kudzu, Alpenglow, Minimmit (некоторые из них устанавливают f = p ~= n/5) (

Сочетание направлений (A) и (B): Гортензия, наш новый документ () с @nibeshrestha2 и @aniketpkate Нижняя граница 5: Не существует частично синхронного византийского протокола широковещательной передачи, который бы терпел f византийских сбоев и c сбоев при крахе для n = 3f + 2c + k + 1 и достигал оптимистичной хорошей задержки в два раунда, при этом терпя более p = (c+k+2) / 2 неисправных сторон (византийских или при крахе); k - это настраиваемый параметр с некоторыми ограничениями. Верхняя граница: Гортензия представляет протокол для n = 3f+2c+k+1, чтобы терпеть f византийских сбоев, c сбоев при крахе, и мы можем получить (i) оптимистичную хорошую задержку в 2 раунда, терпя p = (c+k)/2 сбоев, и (ii) хорошую задержку в 3 раунда в противном случае.