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

Deux pistes d’amélioration : (A) tolérer plus de plantages, (B) obtenir une meilleure latence de cas positifs lorsqu’il y a moins de défauts byzantins Avenue (A) : tolérer plus d’accidents Borne inférieure 3 : Nous avons besoin de n >= 3f + 2c + 1 pour tolérer f les failles byzantines et c les failles crash sous synchronie partielle (folklore ?) Limite supérieure : Généralisez l’un des protocoles mentionnés précédemment, par exemple, PBFT, avec une taille de quorum 2f+c+1 au lieu de 2f+1 (folklore ?)

Avenue (B) : obtenir une meilleure latence lorsqu’il y a moins de défauts byzantins Borne inférieure 4 : Nous avons besoin de n >= 3f + 2p - 1 pour tolérer f les défauts byzantins et obtenir une latence de 2 tours lorsque p <= f ( Borne 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 papier () avec @nibeshrestha2 et @aniketpkate Limite inférieure 5 : Il n’existe pas de protocole de diffusion byzantin partiellement synchrone qui tolère f les défauts byzantins et c les défauts de crash pour n = 3f + 2c + k + 1, et atteint une latence optimiste de deux tours tout en tolérant plus de p = (c + k + 2) / 2 parties défectueuses (byzantine ou crash) ; k est un paramètre réglable avec certaines contraintes. Borne supérieure : L’hortensia présente un protocole pour n = 3f+2c+k+1 pour tolérer f les défauts byzantins, c les défauts de crash, et nous pouvons obtenir (i) une latence optimiste de 2 tours tout en tolérant p = (c+k)/2 défauts, et (ii) une latence de 3 tours dans le cas contraire.