PPP 040201 - Low-Level, Untyped Validation Scripts

Tóm tắt nội dung

Video thảo luận về phần xác thực on-chain của các hợp đồng thông minh trong Context của mô hình UTXO mở rộng. Mô hình giới thiệu các địa chỉ tập lệnh chạy logic tùy biến và xác nhận giao dịch bằng cách chạy tập lệnh và quyết định xem giao dịch có hợp lệ hay không. Script nhận được ba phần dữ liệu, cụ thể là Datum đang tại UTXO, Redeemer` đến từ đầu vào đang được xác nhận và Context bao gồm giao dịch được xác thực và đầu vào và đầu ra của nó. Video nhấn mạnh rằng ba đoạn dữ liệu này phải được biểu diễn bằng dữ liệu cụ thể Kiểu và dữ liệu cấp thấp Kiểu được sử dụng cho lý do hiệu suất trong một số dự án được xây dựng trên Cardano sử dụng Plutus. Tài liệu của các thư viện Plutus không được lưu trữ trên Haskell, nơi tìm thấy tài liệu cho các thư viện tiêu chuẩn Haskell, mà thay vào đó được lưu trữ trên github repos và định dạng của nó không thân thiện với người dùng. Tuy nhiên, tài liệu của các thư viện Plutus có sẵn dễ dàng cho khóa học. Dữ liệu tích hợp Kiểu được sử dụng trong mã Plutus on-chain là một dữ liệu đa năng Kiểu, tương tự như JSON, có thể diễn tả hầu hết mọi dữ liệu Kiểu, bao gồm các phần dữ liệu tùy biến cần thiết để xác thực giao dịch. Các hàm tạo cho dữ liệu tích hợp Kiểu được thảo luận ngắn gọn.