Tôi đang lần theo xem điều gì xảy ra khi một proposer của Dusk bị ngắt kết nối khi đang ở giữa một vòng bầu chọn, kỳ vọng sẽ tìm thấy một cơ chế dừng lại và phục hồi nào đó. Nhưng thay vào đó tôi phát hiện điều gì đó yên ả hơn: một NilQuorum.
Bề ngoài, việc bỏ lỡ một khối trông giống như một vấn đề không có ứng viên, không có tiến triển. Nhưng Succinct Attestation không chờ một bản sửa chữa. Nếu ủy ban không thể đạt được ngưỡng quorum trên một ứng viên hợp lệ trong một lần lặp, thì nó sẽ đạt được quorum trên sự vắng mặt của một ứng viên. Một bản ghi nhận thất bại vẫn là một bản ghi nhận chỉ là bản chứng thực cho “không có gì ở đây” thay vì một khối.
Đó là phần đã làm thay đổi cách tôi nhìn nhận. Mạng không “chịu đựng” lỗi bằng cách lờ đi nó; nó xem lỗi như một kết quả hạng nhất, kèm theo bằng chứng mật mã riêng. Vòng bầu chọn không bị kẹt nó chỉ chuyển sang vòng lặp tiếp theo với một ủy ban mới, và sự xác nhận cuối cùng được cập nhật lặng lẽ để tính đến có bao nhiêu vòng lặp trống đã xảy ra trước khi cuối cùng xuất hiện khối.
Vì vậy, trường hợp “khủng hoảng” và trường hợp bình thường dùng cùng cơ chế bỏ phiếu. Một proposer đã chết không kích hoạt logic phục hồi nó chỉ tạo ra một kiểu phiếu khác.
Vẫn chưa chắc điều này hoạt động thế nào khi tình trạng proposer không khả dụng kéo dài, thay vì chỉ bỏ lỡ một slot duy nhất.
#dusk $DUSK @Dusk
Bề ngoài, việc bỏ lỡ một khối trông giống như một vấn đề không có ứng viên, không có tiến triển. Nhưng Succinct Attestation không chờ một bản sửa chữa. Nếu ủy ban không thể đạt được ngưỡng quorum trên một ứng viên hợp lệ trong một lần lặp, thì nó sẽ đạt được quorum trên sự vắng mặt của một ứng viên. Một bản ghi nhận thất bại vẫn là một bản ghi nhận chỉ là bản chứng thực cho “không có gì ở đây” thay vì một khối.
Đó là phần đã làm thay đổi cách tôi nhìn nhận. Mạng không “chịu đựng” lỗi bằng cách lờ đi nó; nó xem lỗi như một kết quả hạng nhất, kèm theo bằng chứng mật mã riêng. Vòng bầu chọn không bị kẹt nó chỉ chuyển sang vòng lặp tiếp theo với một ủy ban mới, và sự xác nhận cuối cùng được cập nhật lặng lẽ để tính đến có bao nhiêu vòng lặp trống đã xảy ra trước khi cuối cùng xuất hiện khối.
Vì vậy, trường hợp “khủng hoảng” và trường hợp bình thường dùng cùng cơ chế bỏ phiếu. Một proposer đã chết không kích hoạt logic phục hồi nó chỉ tạo ra một kiểu phiếu khác.
Vẫn chưa chắc điều này hoạt động thế nào khi tình trạng proposer không khả dụng kéo dài, thay vì chỉ bỏ lỡ một slot duy nhất.
#dusk $DUSK @Dusk