Ở LIGO, để tin một tín hiệu sóng hấp dẫn là thật chứ không phải nhiễu ngẫu nhiên, người ta không dựa vào một máy dò duy nhất mà cần nhiều thiết bị độc lập cùng đồng thuận với độ chính xác cực cao. Trong hệ thống phân tán cũng vậy: khi các node có thể hỏng, chậm, hoặc tệ hơn là nói dối một cách có chủ đích, bạn không thể chỉ hỏi quá nửa số node rồi tin ngay kết quả. Đó là lúc quorum kiểu Byzantine bước vào cuộc chơi.

Kích thước quorum Byzantine là bao nhiêu?

Quorum thường, hay majority quorum, chỉ cần hơn một nửa số node đồng ý, vì giả định duy nhất là node có thể sập chứ không nói dối. Với lỗi Byzantine, giả định đó sụp đổ hoàn toàn: node ác ý có thể trả lời khác nhau cho từng bên hỏi, thậm chí phủ nhận chính câu trả lời trước đó. Vì vậy quorum Byzantine phải đủ lớn để hai quorum bất kỳ luôn giao nhau tại một tập node trung thực đủ đông, bất chấp tối đa f node bị chiếm quyền. Với hệ n node, ràng buộc cơ bản luôn là n lớn hơn một bội số của f, không còn đơn giản là n chia hai như trước.

Dissemination quorum: khi dữ liệu tự bảo vệ chính nó

Nếu dữ liệu được ký số, tức tự xác thực, bạn chỉ cần đảm bảo hai quorum bất kỳ giao nhau tại ít nhất f cộng một node. Vì chữ ký giả không thể bị tạo ra, chỉ cần một node trung thực nằm trong phần giao là đủ để phát hiện phiên bản dữ liệu cũ hay bị làm giả. Đây được gọi là dissemination quorum, hoạt động tốt khi n lớn hơn 3f, cho kích thước quorum khoảng n cộng f cộng một chia hai, nhẹ hơn hẳn so với các mô hình không dùng chữ ký số.

Masking quorum: che khuất hành vi của kẻ nói dối

Khi dữ liệu không được ký, một node ác ý có thể tự do trả lời sai mà không ai vạch trần được ngay lập tức. Masking quorum giải quyết việc này bằng cách bắt buộc phần giao giữa hai quorum lớn tới 2f cộng một node, đủ để bên đọc dùng biểu quyết đa số ngay trong phần giao đó mà loại được phiếu của node ác ý. Điều kiện tồn tại là n lớn hơn 4f, đắt hơn dissemination quorum nhưng đổi lại không phụ thuộc vào hạ tầng chữ ký số hay khóa mật mã phức tạp.

Opaque quorum: phòng cả kịch bản cấu kết tệ nhất

Opaque quorum là phiên bản khắt khe nhất trong ba mô hình: nó phải chịu được trường hợp node ác ý bắt tay với node chỉ đơn thuần lỗi thời, tạo thành một liên minh còn lớn hơn cả số node thực sự Byzantine. Để phần giao vẫn còn đủ node trung thực và cập nhật, hệ cần n lớn hơn 5f, mức chi phí quorum cao nhất trong ba mô hình. Đổi lại, bên đọc không cần biết trước ai đang lỗi thời, rất phù hợp cho hệ thống hoàn toàn không tin cậy lẫn nhau.

Ngưỡng thực tế: từ lý thuyết đến các hệ thống hôm nay

Trong thực tế, đa số hệ đồng thuận Byzantine như PBFT hay nhiều blockchain proof-of-stake hiện đại chọn ngưỡng thực dụng n bằng 3f cộng một, với quorum 2f cộng một, một điểm cân bằng giữa chi phí giao tiếp và khả năng chịu lỗi tối đa gần một phần ba mạng lưới. Đây là lý do các mạng lớn thường công bố con số chịu được tối đa một phần ba node ác ý khi nói về bảo mật. Hiểu rõ bộ ba dissemination, masking, opaque giúp kỹ sư công nghệ chọn đúng mô hình cho từng bài toán, thay vì áp dụng máy móc công thức quá nửa quen thuộc.