Bầu chọn Leader trong Expected Consensus
Ngữ cảnh
Hình 13 xuất hiện trong Phần 6.2.3 (Sử dụng Sức mạnh để Đạt Đồng thuận) và trình bày giao thức bầu cử EC (Đồng thuận Kỳ vọng) xác định thợ đào nào đủ điều kiện tạo khối mới trong mỗi kỷ nguyên. Đây là hiện thực hóa cụ thể của cơ chế đồng thuận Filecoin, cho thấy thuật toán ProveElect được thợ đào chạy và thuật toán VerifyElect được các nút mạng chạy.
Nội dung hình này
Tiêu chí bầu cử phát biểu rằng thợ đào M_i là người dẫn đầu tại thời điểm t nếu băm của dấu thời gian đã ký và tính ngẫu nhiên, chia cho 2^L, nhỏ hơn hoặc bằng sức mạnh lưu trữ của M_i chia cho tổng sức mạnh mạng. ProveElect nhận tính ngẫu nhiên, kỷ nguyên và danh tính thợ đào: nó tính bất đẳng thức băm, và nếu thỏa mãn xuất ra bằng chứng đã ký; ngược lại xuất ký hiệu rỗng. VerifyElect nhận bằng chứng, kỷ nguyên và danh tính thợ đào: nó xác minh chữ ký, tra cứu sức mạnh của thợ đào từ AllocTable tại kỷ nguyên đó, và kiểm tra bất đẳng thức băm có đúng không. Sơ đồ cung cấp tính công bằng (mỗi thợ đào chỉ có một lần thử mỗi kỷ nguyên do chữ ký tất định), tính bí mật (chỉ người giữ khóa mới có thể tính chữ ký thắng), và khả năng xác minh công khai (bất kỳ ai cũng có thể xác minh bằng chứng bầu cử).
Tầm quan trọng
Hình này vận hành hóa đồng thuận 'công việc hữu ích' của Filecoin: sức mạnh đào tỷ lệ trực tiếp với lưu trữ đã xác minh thay vì tính toán băm lãng phí, vì vậy thợ đào bị buộc phải cung cấp dịch vụ lưu trữ chính hãng thay vì đốt năng lượng vào các câu đố. Bầu cử xác suất bảo toàn mối quan hệ tuyến tính giữa phần lưu trữ và xác suất tạo khối ngay cả khi chia nhỏ hoặc gộp sức mạnh, làm cho cơ chế đồng thuận chống Sybil và liên kết với tiện ích lưu trữ cốt lõi của mạng.
