Những gì Dusk thay đổi bằng cách thực thi các quy tắc trước khi định cư
Một điều cụ thể mà Dusk làm khác là nơi nó vẽ ranh giới định cư.
Trên Dusk, tính đủ điều kiện không được suy ra sau khi thực hiện.
Nó được thực thi trước khi một trạng thái có thể tồn tại.
Điều này có nghĩa là một giao dịch không trở nên “hầu như hợp lệ” và chờ đợi sự giải thích sau.
Nếu nó vi phạm tính đủ điều kiện, quyền hạn, hoặc quy tắc cắt đứt, nó sẽ không bao giờ được định cư.
Không có trạng thái bị đảo ngược, không có tính đúng đắn tạm thời, không có dọn dẹp phía dưới.
Điều này không phải là về quyền riêng tư.
Nó liên quan đến việc loại bỏ sự mơ hồ từ chính việc định cư.
Trong hầu hết các hệ thống, các kết quả không hợp lệ vẫn để lại dấu vết.
Chúng tạo ra tiếng ồn mà phải được giải thích sau thông qua kiểm toán, đối chiếu, hoặc quản trị.
Công việc đó tích lũy theo thời gian.
Dusk loại bỏ toàn bộ lớp chi phí đó bằng thiết kế.
Chỉ các trạng thái đã thỏa mãn các quy tắc mới được phép trở thành lịch sử.
Kết quả là một sổ cái trông yên tĩnh.
Không phải vì hoạt động thấp.
Mà vì việc thực thi đã xảy ra đủ sớm để những sai lầm không bao giờ trở thành trạng thái có thể thấy được.
Đó là một lựa chọn thiết kế hẹp.
Nhưng nó thay đổi cách hệ thống hành xử dưới áp lực.