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:
¡Gran actualización para Hortensia! Ahora tolera >33% de fallos (bizantinos o crash) y aún comete en 2 rondas bajo ciertas parametrizaciones.
Para n = 3f + 2c + k + 1, Hydrangea comete en 2 rondas cuando las faltas <= (c+k)/2 para algún parámetro k; de lo contrario, se comete en 3 rondas mientras tolera f fallas bizantinas y c fallas de choque simultáneamente.
¡El límite inferior apretado también está probado!
Enlace de papel: