Nhiều quy tắc của chuỗi được "viết trong hợp đồng", nghe có vẻ cứng nhắc, nhưng thực ra rất mềm mại: bởi vì các quy tắc thường rải rác trong một đống điều kiện "nếu", cuối cùng có thể tuân thủ hay không, phụ thuộc vào ý thức tự giác của bên ứng dụng, hạn chế từ phía trước, và cả quản lý sau này. Đường đi của Dusk thiên về kỹ thuật hệ thống hơn: nó khiến bạn phải viết quy tắc thành một tập hợp các ràng buộc có thể được thỏa mãn đồng thời hoặc bị phủ định, nếu không giao dịch sẽ không thể vào quy trình. Nói cách khác, Dusk không chấp nhận cách phát triển kiểu "đưa lên trước rồi bổ sung quy tắc"; nó sẽ biến sự mơ hồ trực tiếp thành thất bại trong cấu trúc giao dịch.
Điều dễ bị đánh giá thấp nhất ở đây là "tổ hợp quy tắc". Tài sản chịu sự quản lý không phải là một quy tắc, mà là một đống quy tắc: thời gian khóa, giới hạn nắm giữ, điều kiện tài khoản, hạn chế khu vực, tạm dừng do sự kiện cụ thể xảy ra... Trên các chuỗi thông thường, đống quy tắc này thường bị chia thành nhiều phán đoán, kết quả là chúng xung đột với nhau: bạn đã cho phép trong hợp đồng A, nhưng hợp đồng B lại chặn lại; hoặc phía trước chặn lại, nhưng trên chuỗi thì không. Điều Dusk thực sự muốn làm là biến đống quy tắc này thành một tập hợp tự nhất quán trước khi giao dịch xảy ra: hoặc là có thể cùng tồn tại và tạo ra các con đường thực thi, hoặc là ngay lập tức phơi bày mâu thuẫn, khiến giao dịch không thể được cấu tạo.
Điều này mang lại một kết quả rất thực tế cho các nhà phát triển: khi viết hợp đồng trên Dusk, có thể thời gian tốn kém nhất không phải là logic kinh doanh, mà là việc viết quy tắc "rõ ràng". Rõ ràng không phải là viết tài liệu, mà là chia nhỏ quy tắc thành các điều kiện biên có thể thực thi được. Ví dụ, "thời gian khóa" không phải là một câu, mà là một trạng thái có thể được đọc; "giới hạn nắm giữ" không phải là một thông báo, mà là điều kiện sẽ được kiểm tra trước khi trạng thái thay đổi; "tạm dừng giao dịch" không phải là thông báo, mà là công tắc sẽ khiến việc chuyển trạng thái trực tiếp thất bại.
Vì vậy, bây giờ tôi xem độ trưởng thành của @dusk_foundation, tôi không quan tâm nó đã nói bao nhiêu câu chuyện tuân thủ, mà là nó có thực sự làm cho "diễn đạt quy tắc" trở thành một mô hình kỹ thuật có thể tái sử dụng không: các nhà phát triển có một phương pháp cố định nào để viết quy tắc vào tập hợp ràng buộc hay không, mâu thuẫn trong tổ hợp quy tắc có thể được phơi bày trước khi giao dịch xảy ra không, hành vi trên chuỗi có luôn nhất quán không. Chỉ cần những điều này được thực hiện, Dusk mới không phải là khẩu hiệu "riêng tư + tuân thủ", mà là một hệ thống thực thi quy tắc có thể chạy lâu dài.
