Un hilo que resume la investigación sobre la latencia en el mejor de los casos y la resiliencia de los protocolos de sincronía parcial. Límite inferior 1 (DLS): Es imposible resolver el acuerdo bajo sincronía parcial contra un adversario bizantino si f >= n/3. ( Límite inferior 2 (Latencia en el mejor de los casos): Para la difusión bizantina parcialmente sincrónica con f partes bizantinas, se necesitan y son 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 en el mejor de los casos de 3 rondas (enlace:

Dos avenidas para mejorar: (A) tolerar más fallos, (B) lograr una mejor latencia en el mejor de los casos cuando hay menos fallos bizantinos Avenida (A): tolerar más fallos Límite inferior 3: Necesitamos n >= 3f + 2c + 1 para tolerar f fallos bizantinos y c fallos de caída bajo la sincronía parcial (¿folclore?) Límite superior: Generalizar cualquiera de los protocolos mencionados anteriormente, por ejemplo, PBFT, con un tamaño de quórum de 2f+c+1 en lugar de 2f+1 (¿folclore?)

Avenue (B): lograr una mejor latencia en el mejor de los casos cuando hay menos fallos bizantinos Límite inferior 4: Necesitamos n >= 3f + 2p - 1 para tolerar f fallos bizantinos y lograr una latencia en el mejor de los casos de 2 rondas cuando p <= f ( Límite superior: FaB, SBFT, Kudzu, Alpenglow, Minimmit (algunos de estos establecen f = p ~= n/5) (

Combinando las avenidas (A) y (B): Hydrangea, nuestro nuevo documento () con @nibeshrestha2 y @aniketpkate Límite inferior 5: No existe un protocolo de difusión bizantina parcialmente sincrónica que tolere f fallos bizantinos y c fallos de caída para n = 3f + 2c + k + 1, y que logre una latencia optimista en el mejor de los casos de dos rondas mientras tolera más de p = (c+k+2) / 2 partes defectuosas (bizantinas o de caída); k es un parámetro ajustable con algunas restricciones. Límite superior: Hydrangea presenta un protocolo para n = 3f+2c+k+1 que tolera f fallos bizantinos, c fallos de caída, y podemos obtener (i) una latencia optimista de 2 rondas en el mejor de los casos mientras toleramos p = (c+k)/2 fallos, y (ii) una latencia de 3 rondas en el mejor de los casos de otra manera.