En tråd som sammanfattar forskning om latens och motståndskraft hos partiella synkroniseringsprotokoll. Lower bound 1 (DLS): Det är omöjligt att lösa en överenskommelse under partiell synkronisering mot en bysantinsk motståndare om f >= n/3. ( Nedre gräns 2 (Good-case latency): För delvis synkron bysantinsk sändning med f bysantinska parter är 3 omgångar nödvändiga och tillräckliga om 3f +1 < = n <= 5f-1 ( Övre gräns: t.ex. PBFT, Tendermint, Simplex tolererar f < n/3-fel och uppnår 3-rund good-case latens (länk:
Två sätt att förbättra sig: (A) tolerera fler krascher, (B) uppnå bättre svarstid i goda fall när det finns färre bysantinska fel Avenue (A): tolerera fler krascher Nedre gräns 3: Vi behöver n >= 3f + 2c + 1 för att tolerera f bysantinska fel och c kraschfel under partiell synkroni (folklore?) Övre gräns: Generalisera något av de tidigare nämnda protokollen, t.ex. PBFT, med kvorumstorlek 2f+c+1 istället för 2f+1 (folklore?)
Avenue (B): uppnå bättre svarstid för goda fall när det finns färre bysantinska fel Nedre gräns 4: Vi behöver n >= 3f + 2p - 1 för att tolerera f bysantinska fel och uppnå en 2-rundas good-case-latens när p <= f ( Övre gräns: FaB, SBFT, Kudzu, Alpenglow, Minimmit (några av dessa set f = p ~= n/5) (
Kombinera väg (A) och (B): Hortensia, vårt nya papper () med @nibeshrestha2 och @aniketpkate Nedre gräns 5: Det finns inget delvis synkront bysantinskt sändningsprotokoll som tolererar f bysantinska fel och c kraschfel för n = 3f + 2c + k + 1, och uppnår en optimistisk good-case-latens på två omgångar samtidigt som den tolererar mer än p = (c+k+2) / 2 felaktiga parter (bysantinsk eller krasch); k är en justerbar parameter med vissa begränsningar. Övre gräns: Hortensia presenterar ett protokoll för n = 3f+2c+k+1 för att tolerera f bysantinska fel, c kraschfel, och vi kan få (i) en optimistisk 2-rundas good-case-latens samtidigt som man tolererar p = (c+k)/2-fel, och (ii) en 3-rund good-case latens annars.
4,14K