Có một loại giao dịch trên Dusk sẽ không bao giờ xảy ra: giao dịch không rõ ràng, ranh giới không rõ ràng, cần "giải thích tính hợp pháp sau". Không phải vì người dùng không thể phát, mà là vì hệ thống hoàn toàn không chấp nhận sự không chắc chắn này.
Trong thiết kế của @dusk_foundation, quy tắc tài sản phải được biểu đạt đầy đủ trước khi giao dịch xảy ra, nếu không giao dịch sẽ không thể vào đường dẫn thực thi. Điều này trực tiếp ảnh hưởng đến cách viết tài sản và hợp đồng. Quy tắc không phải là hướng dẫn để con người đọc, mà là tập hợp các điều kiện để hệ thống xác minh. Chỉ cần quy tắc tồn tại sự mơ hồ, chứng minh sẽ không thể được tạo ra, và giao dịch cũng sẽ không còn không gian để tiếp tục thảo luận.
Điều này sẽ ép buộc một kết quả: bên phát hành tài sản trên Dusk, phải nói rõ "cho phép gì, không cho phép gì". Ví dụ, có cho phép chuyển nhượng hay không, giới hạn số lượng chuyển nhượng, có tồn tại hạn chế thời gian hay không, có cần điều kiện bổ sung để kích hoạt hay không. Những thứ này không phải là lựa chọn, mà là điều kiện tiên quyết để giao dịch có thể thành lập. Quy tắc không được viết rõ ràng, không phải là "chạy trước rồi sửa", mà là hoàn toàn không thể chạy.
Điều này cũng là điểm khác biệt lớn nhất giữa Dusk và nhiều chuỗi công cộng khác. Nó không dựa vào quản trị sau để bảo vệ, mà trực tiếp ngăn chặn sự không chắc chắn nằm ngoài hệ thống. Giao dịch không bị xử lý vì "sau này phát hiện vi phạm", mà là vì "ngay từ đầu đã không thể chứng minh là hợp lệ" mà không tồn tại.
Bây giờ tôi nhìn $DUSK, sẽ rất chú ý đến những chi tiết này: quy tắc có bị ép buộc phải rõ ràng trước giao dịch hay không, hệ thống có từ chối mọi trạng thái mơ hồ hay không. Chỉ cần điều này được thiết lập, Dusk không chỉ là "hỗ trợ tuân thủ", mà về cấu trúc đã loại trừ sự không tuân thủ.
