#dusk $DUSK Hôm nay tôi tháo gỡ giao thức đồng thuận SA của @Dusk , bị kẹt ở một chỗ: “committee-based”. Nhiều chuỗi PoS dùng cơ chế ủy ban, nhưng SA của Dusk—Succinct Attestation—được chia thành ba bước: đề xuất, xác minh, và phê duyệt; ba bước này lần lượt do các provisioner ngẫu nhiên khác nhau thực hiện.
Bước thứ nhất, một provisioner tạo và phát tán khối ứng viên. Bước thứ hai, một ủy ban xác minh kiểm tra tính hợp lệ của khối. Bước thứ ba, một ủy ban phê duyệt khác xác nhận kết quả xác minh và cuối cùng hoàn tất (finalize) khối. Nhìn thì có vẻ thêm một bước, nhưng bước này tách “xác minh” khỏi “xác nhận kết quả xác minh”.
Tôi hiểu ý đồ thiết kế ở đây: nếu xác minh và phê duyệt là do cùng một nhóm người, thì bản thân kết quả xác minh đã trở thành phán quyết cuối cùng, không có cơ chế kiểm soát lẫn nhau. Tách thành hai bước nghĩa là ủy ban phê duyệt không chỉ xem khối, mà còn phải xem ủy ban xác minh có làm việc nghiêm túc hay không. Về cơ bản, nó thêm một lớp kiểm tra chất lượng vào đồng thuận.
Thiết kế này còn có một ràng buộc ngầm: ủy ban được chọn ngẫu nhiên dựa trên lượng stake. Kẻ tấn công muốn kiểm soát một bước cần phải kiểm soát một lượng stake rất lớn, và hơn nữa còn phải trúng ngẫu nhiên vào đúng cùng một ủy ban. Xác suất điều này khó hơn nhiều so với việc chỉ khống chế một nhóm xác minh đơn lẻ.
Nhưng cái giá của đồng thuận theo từng bước là độ trễ. Mỗi bước thêm thì lại có thêm một vòng trao đổi thông tin. SA làm thế nào để duy trì thời gian xác nhận thấp trong bối cảnh giao dịch tài chính tần suất cao vẫn là chỗ tôi chưa tìm được đủ dữ liệu trong tài liệu công khai.
Nhìn vào lớp đồng thuận của #dusk , tôi sẽ tiếp tục theo dõi khoảng thời gian từ lúc tạo khối đến khi hoàn tất, tần suất luân phiên của các ủy ban và tỷ lệ phân nhánh thực tế trong mạng. DUSK là tài sản stake, nên các giả định an ninh của đồng thuận sẽ quyết định trực tiếp kiểu rủi ro mà người nắm stake phải đối mặt. #dusk @Dusk