Ein Thread, der die Forschung zur guten Falllatenz und Resilienz von teil-synchronen Protokollen zusammenfasst.
Untergrenze 1 (DLS): Es ist unmöglich, unter teil-synchroner Bedingung eine Einigung gegen einen byzantinischen Gegner zu erreichen, wenn f >= n/3. (
Untergrenze 2 (Gute Falllatenz): Für teilweise synchronen byzantinischen Broadcast mit f byzantinischen Parteien sind 3 Runden notwendig und ausreichend, wenn 3f +1 <= n <= 5f-1 (
Obergrenze: z.B. PBFT, Tendermint, Simplex tolerieren f < n/3 Fehler und erreichen eine 3-Runden gute Falllatenz (Link:
Großes Update für Hortensien! Es toleriert nun >33% Fehler (Byzantine oder Crash) und committet unter bestimmten Parametrisierungen immer noch in 2 Runden.
Für n = 3f + 2c + k + 1 legt die Hortensie in 2 Runden fest, wenn Fehler <= (c+k)/2 für einen Parameter k sind; andernfalls wird in 3 Runden committet, während f byzantinische Fehler und c Crash-Fehler gleichzeitig toleriert werden.
Enge Untergrenze auch bewährt!
Link zum Papier: