Un fir care rezumă cercetările privind latența și rezistența protocoalelor de sincronie parțială. Limita inferioară 1 (DLS): Este imposibil să se rezolve acordul în sincronie parțială împotriva unui adversar bizantin dacă f >= n/3. ( Limita inferioară 2 (Latență în caz bun): Pentru difuzarea bizantină parțial sincronă cu f părți bizantine, 3 runde sunt necesare și suficiente dacă 3f +1 <= n <= 5f-1 ( Limita superioară: de exemplu, PBFT, Tendermint, Simplex tolerează f < n/3 defecte și obțin latență de caz bun în 3 runde (link:

Două căi de îmbunătățire: (A) tolerarea mai multor blocări, (B) obținerea unei latențe mai bune atunci când există mai puține falii bizantine Avenue (A): tolerează mai multe accidente Limita inferioară 3: Avem nevoie de n >= 3f + 2c + 1 pentru a tolera f falii bizantine și c falii de prăbușire sub sincronie parțială (folclor?) Limita superioară: Generalizați oricare dintre protocoalele menționate mai devreme, de exemplu, PBFT, cu dimensiunea cvorumului 2f+c+1 în loc de 2f+1 (folclor?)

Avenue (B): obțineți o latență mai bună atunci când există mai puține falii bizantine Limita inferioară 4: Avem nevoie de n >= 3f + 2p - 1 pentru a tolera f falii bizantine și pentru a obține o latență de caz bun de 2 runde atunci când p <= f ( Limita superioară: FaB, SBFT, Kudzu, Alpenglow, Minimmit (unele dintre acestea stabilesc f = p ~= n/5) (

Combinând căile (A) și (B): Hortensia, noua noastră lucrare () cu @nibeshrestha2 și @aniketpkate Limita inferioară 5: Nu există un protocol de difuzare bizantin parțial sincron care să tolereze f defecte bizantine și c defecte de blocare pentru n = 3f + 2c + k + 1 și să obțină o latență optimistă de caz bun de două runde, tolerând mai mult de p = (c+k+2) / 2 părți defecte (bizantin sau crash); k este un parametru reglabil cu unele constrângeri. Limita superioară: Hortensia prezintă un protocol pentru n = 3f+2c+k+1 pentru a tolera f falii bizantine, c falii de accident și putem obține (i) o latență optimistă a cazurilor bune în 2 runde, tolerând în același timp p = (c+k)/2 erori și (ii) o latență de caz bun de 3 runde în caz contrar.