Тред, що підсумовує дослідження затримки та стійкості протоколів часткової синхронності.
Нижня межа 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 аварійні помилки одночасно.
Щільна нижня межа також доведена!
Посилання на папір: