Truyền thông điệp trong Mô hình sổ cái UTxO mở rộng
Message-passing in the Extended UTxO Ledger Model.
Một vấn đề đáng chú ý mà các nhà phát triển hợp đồng thông minh chạy trên sổ cái UTxO mở rộng (EUTxO) phải đối mặt là sự thỏa mãn kép: các hợp đồng tương tác thực hiện khoản Pay-out có thể xác thực với số tiền thanh toán không đủ cho một số bên nhận. Trong công việc này, các tác giả chính thức hóa khái niệm ràng buộc hợp đồng có trạng thái dễ bị thỏa mãn kép. Tiếp theo, các tác giả chính thức hóa tương tác giữa các tập lệnh và hợp đồng có trạng thái thông qua truyền thông điệp, bao gồm một đặc tả kỹ thuật và triển khai hợp đồng truyền thông điệp phân tán có trạng thái, cùng với bằng chứng về tính toàn vẹn của việc triển khai hợp đồng đó. Các thông điệp xác định đầu ra của bên gửi và bên nhận, cũng như dữ liệu và tài sản đang được giao tiếp, được ghi lại trên sổ cái dưới dạng Token NFT đặc biệt được phân phối trên các mục nhập UTxO cũng chứa các tài sản đã gửi. Các tác giả đưa ra hai ứng dụng của thiết kế của mình bằng cách xem xét một thông điệp: (1) như một bản ghi về tính toán tập lệnh thành công, tương tự như ghi nhớ, và (2) như một cơ chế cho giao tiếp hợp đồng có cấu trúc không đồng bộ cho phép tách biệt nguyên tắc giao tiếp hợp đồng khỏi tính toán của nó. Dựa trên ứng dụng truyền thông điệp này, các tác giả trình bày một kết quả nêu rằng việc thực hiện các khoản Pay-out từ các hợp đồng có trạng thái bằng cách sử dụng truyền thông điệp không dễ bị thỏa mãn kép.