#dusk $DUSK Tối qua lướt bản cập nhật của sách trắng trên @Dusk, đọc đến phần liên quan đến đồng thuận Citadel thì phải đọc lại tận hai lần mới nhận ra trước đây mình hiểu về PoS hời hợt đến mức nào—mình vẫn vô thức nghĩ rằng đồng thuận PoS chỉ đơn giản là “ai đặt cược nhiều thì người đó quyết định”, rồi từ đó bàn về mức độ phi tập trung. Nhưng bộ “Citadel” này lại tách “ai quyết định” và “ai có thể đề xuất khối tiếp theo” thành hai vấn đề độc lập.
Citadel dùng cơ chế sắp xếp bốc thăm mù (blind selection), kết hợp bốc thăm mật mã với loại trừ theo từng vòng: mỗi vòng trước tiên dùng VRF để rút ngẫu nhiên một ủy ban trong số những người đã đặt cược; trong nội bộ ủy ban lại chạy một vòng bỏ phiếu kiểu BFT-like để tạo ra khối cuối cùng. Thiết kế này ngắt chuỗi “đặt cược nhiều = quyền lực lớn” — đặt cược nhiều chỉ đồng nghĩa với việc bạn có xác suất được chọn cao hơn, chứ không đồng nghĩa là bạn chắc chắn chi phối kết quả đồng thuận. Cộng thêm tối ưu tầng mạng Kadcast: cách các node phát tán khối không phải kiểu Gossip tràn lan truyền thống, mà là lan truyền theo phân tầng dựa trên cấu trúc mạng, mức tiêu hao băng thông thấp hơn Gossip từ 25% đến 50%.
Hai lớp này chồng lên nhau tạo cho mình cảm giác Dusk suy nghĩ kỹ về “hiệu suất” hơn đa số public chain. Tính ngẫu nhiên ở tầng đồng thuận đảm bảo khả năng chống kiểm duyệt, tầng mạng với cơ chế lan truyền có cấu trúc giúp giảm độ trễ, rồi tiếp tục chồng thêm Piecrust — một VM được tối ưu riêng cho chứng minh không kiến thức (zero-knowledge proofs). Toàn bộ logic lựa chọn công nghệ của stack này rất khớp với nhau: không phải để “đắp” danh mục thuật ngữ kỹ thuật, mà để tổ hợp “tuân thủ + quyền riêng tư” thật sự chạy được về mặt kỹ thuật, chứ không chỉ là lời hay ý đẹp trong sách trắng.
Nhưng mình vẫn còn một điểm chưa nghĩ thấu: tính ngẫu nhiên của bốc thăm ủy ban phụ thuộc hoàn toàn vào độ an toàn của VRF. Nếu việc hiện thực VRF hoặc cơ chế tạo hạt giống (seed) có lỗ hổng có thể dự đoán được, thì giả định an toàn của toàn bộ đồng thuận sẽ lung lay. Phần này trong báo cáo kiểm toán của Dusk mình vẫn chưa tìm thấy; ai đã đọc rồi thì chỉ giúp mình với.
Kho tiền gốc không đổi; các node tăng thêm vị thế là vì đợi thời gian thực tế tạo khối và dữ liệu tỷ lệ phân nhánh sau khi mainnet Citadel lên.
Các bạn nghĩ sao: thiết kế đồng thuận kiểu “bốc thăm mù” như vậy, thật sự có thể chống kiểm duyệt tốt hơn DP0S truyền thống không? Hãy chia sẻ logic của bạn ở phần bình luận.@Dusk $BTC