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:

Duas avenidas para melhorar: (A) tolerar mais falhas, (B) alcançar uma melhor latência em casos favoráveis quando há menos falhas bizantinas Avenida (A): tolerar mais falhas Limite inferior 3: Precisamos de n >= 3f + 2c + 1 para tolerar f falhas bizantinas e c falhas de crash sob sincronização parcial (folclore?) Limite superior: Generalizar qualquer um dos protocolos mencionados anteriormente, por exemplo, PBFT, com tamanho de quórum 2f+c+1 em vez de 2f+1 (folclore?)

Avenue (B): alcançar uma melhor latência em caso de sucesso quando há menos falhas bizantinas Limite inferior 4: Precisamos de n >= 3f + 2p - 1 para tolerar f falhas bizantinas e alcançar uma latência em caso de sucesso de 2 rodadas quando p <= f ( Limite superior: FaB, SBFT, Kudzu, Alpenglow, Minimmit (alguns destes definem f = p ~= n/5) (

Combinando as avenidas (A) e (B): Hydrangea, nosso novo artigo () com @nibeshrestha2 e @aniketpkate Limite inferior 5: Não existe um protocolo de broadcast bizantino parcialmente síncrono que tolere f falhas bizantinas e c falhas de queda para n = 3f + 2c + k + 1, e que alcance uma latência otimista de dois turnos enquanto tolera mais de p = (c+k+2) / 2 partes defeituosas (bizantinas ou de queda); k é um parâmetro ajustável com algumas restrições. Limite superior: Hydrangea apresenta um protocolo para n = 3f+2c+k+1 para tolerar f falhas bizantinas, c falhas de queda, e podemos obter (i) uma latência otimista de 2 turnos em um bom caso enquanto tolera p = (c+k)/2 falhas, e (ii) uma latência de 3 turnos em outros casos.