Dusk coi các hành động không hợp lệ là một trách nhiệm, không phải là một thống kê
Tính khả thi thì rẻ trên blockchain.
Tính không thể đảo ngược thì dễ để tuyên bố.
Điều đắt giá là mang trạng thái không hợp lệ đi tiếp và giả vờ rằng nó không quan trọng.
Dusk bắt đầu từ giả định đó.
Thay vì chấp nhận các hành động thất bại hoặc biên giới như hành vi mạng bình thường, giao thức coi chúng là trách nhiệm. Bất cứ điều gì không thể được biện minh theo quy tắc sẽ bị lọc ra trước khi nó được phép giải quyết. Không quay lại, không có ngoại lệ, không có dư lượng lịch sử.
Điều này không phải là để trở nên nghiêm ngặt hơn.
Nó là về việc có chủ đích.
Khi các hành động không hợp lệ xuất hiện trong lịch sử, chúng tạo ra chi phí lâu dài mà hiếm khi được đo lường: chi phí giám sát, độ phức tạp của kiểm toán, rủi ro diễn giải. Sổ cái có thể là cuối cùng, nhưng ý nghĩa của những gì đã xảy ra thì không.
Dusk loại bỏ sự mơ hồ đó ở tầng giao thức.
Bằng cách thực thi các ràng buộc trước khi trạng thái tồn tại, mạng đảm bảo rằng việc giải quyết đã hàm ý tuân thủ. Những gì vào sổ cái không cần giải thích hồi tố. Nó có thể đứng vững mà không cần tái cấu trúc ngữ cảnh.
Đó là lý do tại sao Dusk không tối ưu hóa cho hoạt động khả thi.
Hoạt động cần dọn dẹp không phải là tín hiệu của sức khỏe.
Hệ thống được xây dựng sao cho một khi một điều gì đó trở thành trạng thái, câu hỏi đã được trả lời. Không phải bởi chính phủ, không phải bởi đánh giá ngoài chuỗi, mà bởi thiết kế.
Trên Dusk, tính đúng đắn không được thực thi sau khi sự kiện xảy ra.
Nó là một điều kiện tiên quyết cho sự tồn tại.
