Un fil résumant les recherches sur la latence en cas de bon scénario et la résilience des protocoles de synchronie partielle. Borne inférieure 1 (DLS) : Il est impossible de résoudre l'accord sous synchronie partielle contre un adversaire byzantin si f >= n/3. ( Borne inférieure 2 (Latence en cas de bon scénario) : Pour une diffusion byzantine partiellement synchrone avec f parties byzantines, 3 tours sont nécessaires et suffisants si 3f + 1 <= n <= 5f - 1 ( Borne supérieure : par exemple, PBFT, Tendermint, Simplex tolèrent f < n/3 fautes et atteignent une latence en cas de bon scénario de 3 tours (lien:

Deux voies d'amélioration : (A) tolérer plus de pannes, (B) atteindre une meilleure latence en cas de bon fonctionnement lorsqu'il y a moins de fautes byzantines Voie (A) : tolérer plus de pannes Limite inférieure 3 : Nous avons besoin de n >= 3f + 2c + 1 pour tolérer f fautes byzantines et c fautes de panne sous synchronisation partielle (folklore ?) Limite supérieure : Généraliser l'un des protocoles mentionnés précédemment, par exemple, PBFT, avec une taille de quorum de 2f+c+1 au lieu de 2f+1 (folklore ?)

Avenue (B) : atteindre une meilleure latence en cas de succès lorsque le nombre de fautes byzantines est réduit Limite inférieure 4 : Nous avons besoin de n >= 3f + 2p - 1 pour tolérer f fautes byzantines et atteindre une latence en cas de succès en 2 tours lorsque p <= f ( Limite supérieure : FaB, SBFT, Kudzu, Alpenglow, Minimmit (certains d'entre eux fixent f = p ~= n/5) (

Combinaison des avenues (A) et (B) : Hydrangea, notre nouveau document () avec @nibeshrestha2 et @aniketpkate Limite inférieure 5 : Il n'existe aucun protocole de diffusion byzantine partiellement synchrone qui tolère f fautes byzantines et c fautes de crash pour n = 3f + 2c + k + 1, et qui atteint une latence optimiste en bon cas de deux tours tout en tolérant plus de p = (c+k+2) / 2 parties défaillantes (byzantines ou de crash) ; k est un paramètre ajustable avec certaines contraintes. Limite supérieure : Hydrangea présente un protocole pour n = 3f+2c+k+1 pour tolérer f fautes byzantines, c fautes de crash, et nous pouvons obtenir (i) une latence optimiste en bon cas de 2 tours tout en tolérant p = (c+k)/2 fautes, et (ii) une latence en bon cas de 3 tours sinon.