Un hilo que resume la investigación sobre la latencia y la resistencia de los protocolos de sincronía parcial. Límite inferior 1 (DLS): Es imposible resolver un acuerdo en sincronía parcial contra un adversario bizantino si f >= n/3. ( Límite inferior 2 (latencia en caso de buen caso): Para la transmisión bizantina parcialmente síncrona con f partes bizantinas, son necesarias y suficientes 3 rondas si 3f +1 <= n <= 5f-1 ( Límite superior: por ejemplo, PBFT, Tendermint, Simplex toleran f < n/3 fallos y logran una latencia de 3 rondas en caso bueno (enlace:

Dos vías para mejorar: (A) tolerar más caídas, (B) lograr una mejor latencia en casos buenos cuando hay menos fallas bizantinas Avenida (A): tolera más choques Límite inferior 3: Necesitamos n >= 3f + 2c + 1 para tolerar f fallas bizantinas y c fallas de choque bajo sincronía parcial (¿folklore?) Límite superior: Generalice cualquiera de los protocolos mencionados anteriormente, por ejemplo, PBFT, con un tamaño de quórum 2f + c + 1 en lugar de 2f + 1 (¿folclore?)

Avenida (B): logra una mejor latencia de casos buenos cuando hay menos fallas bizantinas Límite inferior 4: Necesitamos n >= 3f + 2p - 1 para tolerar f fallas bizantinas y lograr una latencia de 2 rondas en caso bueno cuando p <= f ( Límite superior: FaB, SBFT, Kudzu, Alpenglow, Minimmit (algunos de estos conjunto f = p ~= n/5) (

Combinando las avenidas (A) y (B): Hortensia, nuestro nuevo papel () con @nibeshrestha2 y @aniketpkate Límite inferior 5: No existe ningún protocolo de transmisión bizantino parcialmente sincrónico que tolere f fallas bizantinas y c fallas de choque para n = 3f + 2c + k + 1, y logre una latencia optimista de caso bueno de dos rondas mientras tolera más de p = (c + k + 2) / 2 partes defectuosas (bizantina o crash); k es un parámetro ajustable con algunas restricciones. Límite superior: Hydrangea presenta un protocolo para n = 3f + 2c + k + 1 para tolerar f fallas bizantinas, c fallas de choque, y podemos obtener (i) una latencia optimista de 2 rondas en caso bueno mientras se toleran p = (C+K)/2 errores, y (ii) una latencia de 3 rondas en caso de buen caso de lo contrario.