Um tópico que resume a pesquisa sobre a latência em casos favoráveis e a resiliência de protocolos de sincronização parcial.
Limite inferior 1 (DLS): É impossível resolver o acordo sob sincronização parcial contra um adversário bizantino se f >= n/3. (
Limite inferior 2 (Latência em caso favorável): Para transmissão bizantina parcialmente síncrona com f partes bizantinas, 3 rodadas são necessárias e suficientes se 3f +1 <= n <= 5f-1 (
Limite superior: por exemplo, PBFT, Tendermint, Simplex toleram f < n/3 falhas e alcançam uma latência em caso favorável de 3 rodadas (link:
Grande atualização para Hortênsia! Agora tolera >33% de falhas (bizantinas ou crash) e ainda comete em 2 rounds sob certas parametrizações.
Para n = 3f + 2c + k + 1, Hortênsia comete em 2 rodadas quando as falhas <= (c+k)/2 para algum parâmetro k; caso contrário, comete em 3 rounds enquanto tolera f falhas bizantinas e c falhas de colisão simultaneamente.
Limite inferior apertado também comprovado!
Link do artigo: