PPP 040302 - Handling Time
Tóm tắt nội dung
"Video thảo luận về cách quản lý thời gian trong mô hình Cardano EUTXO (đầu ra giao dịch mở rộng) để xác thực các giao dịch. Trong mô hình EUTXO, xác thực có thể xảy ra trong ví trước khi gửi giao dịch đến blockchain. Đây là một lợi thế so với Ethereum vì một giao dịch có thể thất bại trong ví, mà không phải trả phí, nếu một đầu vào đã được người khác tiêu thụ. Tuy nhiên, thời gian là rất quan trọng trong việc thể hiện logic xác thực, chẳng hạn như một giao dịch có hợp lệ trước hay sau một thời gian nhất định. Thách thức là thời gian giao dịch được xác thực trong ví có thể khác với thời điểm giao dịch được xác thực trong một node. Điều này trình bày một mâu thuẫn rõ ràng giữa xác nhận xác định và sự cần thiết phải xem xét thời gian.
Để giải quyết vấn đề này, Cardano bổ sung trường thời gian POSIX (Giao diện điều hành di động) vào giao dịch, chỉ định khoảng thời gian hợp lệ cho giao dịch. Trước khi bất kỳ tập lệnh xác thực nào được chạy, các node thực hiện một số kiểm tra chung, bao gồm cả kiểm tra phạm vi thời gian. Nếu thời gian hiện tại không rơi vào phạm vi thời gian được chỉ định trong giao dịch, xác thực sẽ không thành công ngay lập tức mà không chạy các tập lệnh xác thực. Điều này có nghĩa là nếu các kiểm tra trước thành công, thì thời gian hiện tại rơi vào khoảng thời gian và xác nhận là xác định.
Video lưu ý rằng trong khi Cardano sử dụng các trường phạm vi thời gian POSIX, giao thức đồng thuận Cardano sử dụng các slot để đếm thời gian. Các slot là một thước đo thời gian bản địa trên Cardano, với độ dài hiện tại là một giây. Tuy nhiên, các khoảng thời gian slot không được giới hạn trên quá xa trong tương lai. Điều này là do độ dài slot có thể thay đổi trong tương lai, gây khó khăn cho việc biết độ dài của slot sẽ là gì trong 10 hoặc 100 năm. Do đó, các khoảng thời gian giao dịch không được lớn hơn 36 giờ hoặc không xác định. Giới hạn này chỉ áp dụng cho chính giao dịch và không cho các tập lệnh xác thực.
Tóm lại, bài viết nêu bật tầm quan trọng của việc quản lý thời gian trong mô hình EUTXO và cách Cardano giải quyết mâu thuẫn giữa xác thực xác định và cần phải xem xét thời gian. Nó cũng giải thích giới hạn của các khoảng thời gian slot và sự cần thiết phải ghi nhớ khả năng thay đổi độ dài của slot."
