PPP 040301 - Script Contexts
Tóm tắt nội dung
"Bài giảng thảo luận về Context Script trong Context của Cardano. Tập lệnh xác thực Plutus đóng vai trò là Trình xác thực và nhận được ba mẩu thông tin:Datum, Redeemer và Context. Context là giao dịch đang được xác thực với tất cả các đầu vào và đầu ra của nó. Context được triển khai dưới dạng dữ liệu Haskell Kiểu và Script Contexts là bản ghi Kiểu với hai trường. Context tập lệnh lấy thông tin của Kiểu TXinfo và mục đích. Mục đích cho chúng ta biết trong đó Script Contexts Plutus trong câu hỏi đang được sử dụng. Có bốn mục đích, bao gồm chi tiêu, mint, phần thưởng và chứng nhận. Trường đầu tiên của Kiểu Script Contexts là của type tx info, chứa tất cả thông tin của một giao dịch có sẵn từ tập lệnh Plutus.
TxInfo type một lần nữa là một bản ghi Kiểu với các trường khác nhau. Trường đầu tiên là danh sách TXinfo, là đầu vào của giao dịch. TxInfo type Kiểu chứa tất cả thông tin của một giao dịch có sẵn từ bên trong tập lệnh Plutus. Trường thứ hai của tx info type cũng là một danh sách các đầu vào và nó biểu thị các đầu vào bình thường mà giao dịch sẽ chi tiêu. Trường thứ ba là các đầu ra của giao dịch và nó là danh sách TX Outs. TX out Kiểu là bản ghi Kiểu với bốn trường: địa chỉ tại đó đầu ra nằm, giá trị mà nó chứa (có thể là ADA hoặc token gốc), Datum và tùy chọn một tập lệnh băm.
Ba cách gắn một Datum với đầu ra được giải thích. Người ta có thể không có Datum, tất cả, một hàm băm Datum hoặc Datum được gắn vào đầu ra. Ngoài ra còn có một tập lệnh tham chiếu có thể được gắn vào đầu ra và sau đó nó có thể được tham chiếu bởi các giao dịch khác muốn sử dụng tập lệnh đó, giúp tiết kiệm rất nhiều bộ nhớ và làm cho các giao dịch nhỏ hơn."
