Điều cụ thể nhất mà DuskEVM làm được không phải là khả năng tương thích với EVM.
Đó là cách mà việc thực thi được ngăn chặn một cách có chủ đích khỏi việc trở thành thanh toán theo mặc định.
Trong một môi trường EVM điển hình, việc thực thi ngầm mang theo sự chấp thuận. Nếu một hợp đồng chạy thành công, trạng thái kết quả sẽ được chấp nhận bởi chuỗi. Bất kỳ câu hỏi nào về tính hợp lệ, sự tuân thủ, hoặc trách nhiệm sẽ được xử lý sau, thường là bên ngoài giao thức. Việc thực thi và thanh toán sụp đổ vào cùng một khoảnh khắc.
DuskEVM phá vỡ giả định đó.
Khi một hợp đồng thực thi qua DuskEVM, nó không tự động có quyền được thanh toán. Việc thực thi được coi là một bước cần thiết, chứ không phải là đủ. Trạng thái cuối cùng chỉ tồn tại khi nó vượt qua các điều kiện thanh toán được thi hành bởi Dusk Layer 1.
Sự tách biệt này không phải là trừu tượng. Nó thay đổi thứ tự trách nhiệm.
Việc thực thi diễn ra trong một môi trường được tối ưu hóa cho sự quen thuộc của nhà phát triển. Solidity hoạt động như mong đợi. Công cụ không thay đổi. Từ góc độ mã, không có gì bất thường đang xảy ra. Điều này là có chủ ý. Dusk không muốn các nhà phát triển phải học lại ngữ nghĩa thực thi.
Tuy nhiên, trách nhiệm được hoãn lại.
Việc thanh toán được đánh giá ở cấp độ Layer 1, nơi đủ điều kiện, quyền hạn và quy tắc giao thức được thi hành trước khi trạng thái trở thành cuối cùng. Một hợp đồng có thể thực thi chính xác và vẫn không thành công trong việc thanh toán nếu nó không đáp ứng các ràng buộc đó. Trong trường hợp đó, không có trạng thái mơ hồ nào được ghi lại và không cần dọn dẹp lịch sử.
Đây là cách mà Dusk ngăn chặn việc thực thi ngầm đồng ý các kết quả.
Trong các hệ thống mà việc thực thi và thanh toán được liên kết, trách nhiệm lan tỏa ra ngoài. Các ứng dụng phải xử lý các ngoại lệ. Quản trị phải giải quyết các trường hợp đặc biệt. Các kiểm toán viên phải tái tạo ý định sau sự việc. Theo thời gian, sổ cái tích lũy trạng thái mà về mặt kỹ thuật là cuối cùng nhưng về mặt ngữ cảnh thì dễ bị tổn thương.
DuskEVM tránh sự tích lũy đó bằng cách từ chối coi việc thực thi như sự đồng ý.
Việc thanh toán được coi là một ranh giới rõ ràng. Chỉ những kết quả đủ điều kiện để được bảo vệ sau này mới được phép vượt qua nó. Mọi thứ khác dừng lại trước khi trạng thái tồn tại.
Thiết kế này đặc biệt quan trọng đối với các tài sản và quy trình làm việc mà việc thanh toán mang lại hậu quả vượt ra ngoài chuỗi. Khi quyền sở hữu hợp pháp, công cụ được quy định hoặc nghĩa vụ của tổ chức được liên quan, sự khác biệt giữa thực thi và thanh toán trở nên quan trọng.
DuskEVM không cố gắng làm cho việc thực thi an toàn hơn.
Nó làm cho việc thanh toán trở nên nghiêm ngặt hơn.
Sự phân biệt đó dễ bị bỏ lỡ nếu bạn tập trung vào khả năng tương thích. Nó trở nên rõ ràng khi bạn nhìn vào nơi mà trách nhiệm thực sự được giải quyết.