Một chủ đề tóm tắt nghiên cứu về độ trễ tốt nhất và khả năng phục hồi của các giao thức đồng bộ một phần. Giới hạn dưới 1 (DLS): Không thể giải quyết sự đồng thuận dưới sự đồng bộ một phần trước một kẻ thù Byzantine nếu f >= n/3. ( Giới hạn dưới 2 (Độ trễ tốt nhất): Đối với phát sóng Byzantine đồng bộ một phần với f bên Byzantine, cần và đủ 3 vòng nếu 3f +1 <= n <= 5f-1 ( Giới hạn trên: ví dụ, PBFT, Tendermint, Simplex chịu đựng f < n/3 lỗi và đạt được độ trễ tốt nhất 3 vòng (liên kết:

Hai hướng để cải thiện: (A) chịu đựng nhiều sự cố hơn, (B) đạt được độ trễ tốt hơn trong trường hợp tốt khi có ít lỗi Byzantine hơn Hướng (A): chịu đựng nhiều sự cố hơn Giới hạn dưới 3: Chúng ta cần n >= 3f + 2c + 1 để chịu đựng f lỗi Byzantine và c lỗi sự cố dưới sự đồng bộ một phần (huyền thoại?) Giới hạn trên: Tổng quát bất kỳ giao thức nào đã đề cập trước đó, ví dụ, PBFT, với kích thước quorum 2f+c+1 thay vì 2f+1 (huyền thoại?)

Avenue (B): đạt được độ trễ tốt hơn trong trường hợp tốt khi có ít lỗi Byzantine hơn Giới hạn dưới 4: Chúng ta cần n >= 3f + 2p - 1 để chịu đựng f lỗi Byzantine và đạt được độ trễ tốt trong 2 vòng khi p <= f ( Giới hạn trên: FaB, SBFT, Kudzu, Alpenglow, Minimmit (một số trong số này đặt f = p ~= n/5) (

Kết hợp các hướng (A) và (B): Hydrangea, tài liệu mới của chúng tôi () với @nibeshrestha2 và @aniketpkate Giới hạn dưới 5: Không tồn tại giao thức phát sóng Byzantine bán đồng bộ nào có thể chịu đựng f lỗi Byzantine và c lỗi sập cho n = 3f + 2c + k + 1, và đạt được độ trễ tốt lạc quan trong hai vòng trong khi chịu đựng nhiều hơn p = (c+k+2) / 2 bên bị lỗi (Byzantine hoặc sập); k là một tham số có thể điều chỉnh với một số ràng buộc. Giới hạn trên: Hydrangea trình bày một giao thức cho n = 3f+2c+k+1 để chịu đựng f lỗi Byzantine, c lỗi sập, và chúng ta có thể đạt được (i) độ trễ tốt lạc quan 2 vòng trong khi chịu đựng p = (c+k)/2 lỗi, và (ii) độ trễ tốt 3 vòng trong trường hợp khác.