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:

Dois caminhos para melhorar: (A) tolerar mais falhas, (B) obter melhor latência de caso bom quando houver menos falhas bizantinas Avenida (A): tolere mais colisões Limite inferior 3: Precisamos de n >= 3f + 2c + 1 para tolerar f falhas bizantinas e c falhas de colisão sob sincronia parcial (folclore?) Limite superior: generalize qualquer um dos protocolos mencionados anteriormente, por exemplo, PBFT, com tamanho de quorum 2f + c + 1 em vez de 2f + 1 (folclore?)

Avenue (B): obtenha melhor latência de caso bom quando houver menos falhas bizantinas Limite inferior 4: Precisamos de n >= 3f + 2p - 1 para tolerar f falhas bizantinas e alcançar uma latência de 2 rounds quando p <= f ( Limite superior: FaB, SBFT, Kudzu, Alpenglow, Minimmit (alguns desses conjuntos f = p ~ = n / 5) (

Combinando as avenidas (A) e (B): Hortênsia, nosso novo jornal () com @nibeshrestha2 e @aniketpkate Limite inferior 5: Não existe um protocolo de transmissão bizantino parcialmente síncrono que tolere f falhas bizantinas e c falhas de travamento para n = 3f + 2c + k + 1 e atinja uma latência otimista de dois rounds enquanto tolera mais de p = (c + k + 2) / 2 partes defeituosas (bizantino ou crash); k é um parâmetro ajustável com algumas restrições. Limite superior: Hortênsia apresenta um protocolo para n = 3f + 2c + k + 1 para tolerar f falhas bizantinas, c falhas de colisão, e podemos obter (i) uma latência otimista de 2 rodadas de casos bons, tolerando p = (c + k) / 2 falhas, e (ii) uma latência de caso bom de 3 rodadas caso contrário.