Xác suất thất bại Consensus
Ngữ cảnh
Hình này xuất hiện trong phần Phân tích Hình thức của bài báo đồng thuận XRP Ledger, cung cấp các chứng minh toán học về thuộc tính an toàn và hoạt động của RPCA. Phần này áp dụng mô hình xác suất để đặc trưng hóa các điều kiện mà thuật toán có thể thất bại trong việc đạt đồng thuận.
Nội dung hình này
Sơ đồ thể hiện xác suất thất bại đồng thuận theo kích thước UNL, với các đường cong riêng biệt cho các mức chồng lấn UNL khác nhau. Xác suất thất bại đồng thuận giảm nhanh chóng — tiếp cận không — khi kích thước UNL hoặc chồng lấn tăng. Với kích thước UNL rất nhỏ hoặc chồng lấn thấp, xác suất phân nhánh vẫn không nhỏ vì số lượng nhỏ trình xác thực Byzantine có thể đại diện cho phần lớn tập tin cậy của bất kỳ nút nào. Khi kích thước UNL tăng và chồng lấn tăng, mạng trở nên chịu được số lượng tuyệt đối lớn hơn trình xác thực Byzantine trong khi xác suất thất bại sụp đổ về không. Các đường cong làm chính xác định lượng tuyên bố định tính rằng UNL phải đủ lớn và chồng lấn đủ nhiều để ngăn trình xác thực Byzantine đánh lừa các nhóm nút trung thực không giao nhau.
Tầm quan trọng
Đường cong xác suất này là nền tảng toán học của đảm bảo an toàn XRP Ledger. Nó chuyển đổi yêu cầu trừu tượng 'chồng lấn UNL đủ' thành các tham số kỹ thuật cụ thể: các vận hành viên có thể đọc kích thước UNL và tỷ lệ chồng lấn cần thiết cho xác suất thất bại mục tiêu. Kết quả hình thức cũng thiết lập giới hạn trên lý thuyết về khả năng chịu Byzantine trong RPCA, tương tự ngưỡng một phần ba trong giao thức BFT cổ điển.
