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

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

Направление (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 неисправные стороны (византийские или crash); k — это настраиваемый параметр с некоторыми ограничениями. Верхняя граница: Гортензия представляет протокол для n = 3f+2c+k+1, чтобы выдержать f византийских разломов, c аварийных ошибок, и мы можем получить (i) оптимистичная задержка в 2 раунда в хорошем случае при допустимости p = (c+k)/2 ошибок, и (ii) в противном случае задержка в 3 раунда в хорошем случае.