Тред, що підсумовує дослідження затримки та стійкості протоколів часткової синхронності. Нижня межа 1 (DLS): Неможливо вирішити угоду в частковій синхронності проти візантійського супротивника, якщо f >= n/3. ( Нижня межа 2 (Затримка в хорошому регістрі): Для частково синхронної візантійської трансляції з f візантійськими партіями необхідно 3 раунди і достатньо, якщо 3f +1 <= n <= 5f-1 ( Верхня межа: наприклад, PBFT, Tendermint, Simplex допускають збої f < n/3 і досягають 3-раундової затримки в хорошому регістрі (посилання:
Два шляхи вдосконалення: (A) допускати більше аварій, (B) досягати кращої затримки в хорошому випадку, коли є менше візантійських несправностей Авеню (А): терпіть більше аварій Нижня межа 3: Нам потрібно n >= 3f + 2c + 1, щоб терпіти f візантійські розломи та c аварійні розломи при частковій синхронності (фольклор?) Верхня межа: Узагальніть будь-який з раніше згаданих протоколів, наприклад, PBFT, з розміром кворуму 2f+c+1 замість 2f+1 (фольклор?)
Проспект (В): досягніть кращої затримки, коли буде менше візантійських розломів Нижня межа 4: Нам потрібно n >= 3f + 2p - 1, щоб терпіти f візантійські розломи і досягти 2-раундової затримки в хорошому випадку, коли p < = f ( Верхня межа: FaB, SBFT, Kudzu, Alpenglow, Minimmit (деякі з цих наборів f = p ~= n/5) (
Поєднання проспектів (А) і (Б): Гортензія, наша нова стаття () з @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-раундова затримка в хорошому випадку.
4,15K