Khi L1, tôi quen xem trước đồng thuận, vì mọi câu chuyện về hiệu năng, bảo mật, quyền riêng tư khác rồi cuối cùng cũng phải quay về hai câu hỏi: “Ai là người sản xuất khối?” và “Bao lâu thì có thể xác định dứt khoát?”. Đồng thuận Nocturne của Dusk (từng là SBA*) tuần này tôi đã xem lại kỹ, và có vài điểm đáng được tách ra để nói riêng.
Cốt lõi của nó là chọn ngẫu nhiên nhà sản xuất khối từ một tập lớn các Provisioner, và dùng một cơ chế gọi là Succinct Attestation để quá trình xác minh có thể được chứng minh một cách gọn nhẹ ngay bản thân nó, thay vì bắt tất cả nút chạy lại toàn bộ kiểm chứng đầy đủ. Kết quả là chỉ cần một slot là đạt được tính xác định (deterministic), không cần như Ethereum phải chờ hai epoch thì mới được tính là finalized. Với một chuỗi chủ trương “thanh toán tuân thủ” như $BTC , thì câu hỏi “giao dịch này cuối cùng đã final hay chưa” bắt buộc phải là một câu trả lời có thể trả lời ngay, chứ không phải là mô tả theo xác suất. @Dusk
Tôi đồng ý với hướng thiết kế này, nhưng cũng có hai nghi vấn mà tôi vẫn chưa giải được. Thứ nhất, việc rút thăm ngẫu nhiên phụ thuộc vào VRF và phân bố stake: nếu mức tập trung của Provisioner không đủ thấp, thì “ngân sách bảo mật” thực tế sẽ không dày như con số trên sổ sách; điều này cần xem độ phân tán stake ngoài đời, chứ không phải giới hạn lý thuyết. Thứ hai, Succinct Attestation giảm chi phí xác minh, nhưng cũng chuyển một phần độ phức tạp sang khâu tổng hợp (aggregation): nếu tầng tổng hợp gặp sự cố, lộ trình khôi phục cần mất bao lâu — trong tài liệu tôi tạm thời chưa thấy mô tả đủ rõ ràng.
Với người dùng phổ thông, chi tiết đồng thuận có lẽ sẽ không bao giờ phải quan tâm trong cả đời. Nhưng với những người chuẩn bị đưa tài sản lớn hoặc nghiệp vụ của tổ chức lên chuỗi thì đây là các câu hỏi bắt buộc phải trả lời. $DUSK lợi tức staking thế nào, ngưỡng Provisioner ra sao, các quy tắc phạt/mất phí ra sao — sẽ liên tục được thị trường định giá lại theo dữ liệu vận hành của mainnet.
Tôi sẽ không thể qua loa bằng một câu “công nghệ rất tiên tiến”. Nếu #dusk muốn được đối xử nghiêm túc, thì phải cho phép nó được mổ xẻ một cách nghiêm túc, đặc biệt là ở tầng đồng thuận.
#dusk @Dusk Dusk $DUSK