Um tópico resumindo a pesquisa sobre a latência e resiliência de bons casos de protocolos de sincronia parcial.
Limite inferior 1 (DLS): É impossível resolver o acordo sob sincronia parcial contra um adversário bizantino se f >= n/3. (
Limite inferior 2 (latência de maiúsculas e minúsculas): 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 latência de 3 rodadas (link:
Grande atualização para Hortênsia! Ele agora tolera falhas de >33% (bizantino ou crash) e ainda se compromete em 2 rodadas sob certas parametrizações.
Para n = 3f + 2c + k + 1, a hortênsia comete em 2 rodadas quando as falhas <= (c+k)/2 para algum parâmetro k; caso contrário, comete em 3 rodadas enquanto tolera falhas bizantinas e falhas de colisão c simultaneamente.
Limite inferior apertado também comprovado!
Link do papel: