PPP 040601 - The State Monad in practice
Tóm tắt nội dung
Video mô tả việc sử dụng Monad và thử nghiệm thuộc tínhtrong Context hợp đồng thông minh. Thử nghiệm tài sản là một phần thiết yếu để đảm bảo rằng các hợp đồng thông minh hoạt động như mong đợi khi xử lý tài sản trị giá hàng triệu đô la. Video giải thích làm thế nào thư viện mô hình đơn giản Plutus có thể được sử dụng để kiểm tra Trình xác thực và cách kết hợp với kiểm tra nhanh để kiểm tra thuộc tính.
Thư viện sử dụng state monad để theo dõi trạng thái của blockchain trong các giao dịch. Video sau đó tiếp tục mô tả việc tạo ra một blockchain Kiểu, đây chỉ là một trình bao bọc xung quanh một danh sách các UTXO và trạng thái ban đầu của blockchain. Một hàm gọi là giá trị gửi sau đó được tạo ra để chuyển tiền từ người này sang người khác. Hàm này có tên của người gửi, số tiền, người nhận và trạng thái hiện tại của blockchain. Sau đó, nó trả về một bộ xử lý có chứa Boolean cho biết liệu giao dịch có thành công hay không và trạng thái mới của blockchain.
Video giải thích cách hàm giá trị gửi hoạt động và cách sử dụng để tính toán một giao dịch tiêu thụ tất cả các UTXO của người gửi và tạo hai UTXO mới cho người nhận và thay đổi từ người gửi. Cuối cùng, bài viết trình bày một bài tập về nhà liên quan đến việc xác định và vá lỗi lỗ hổng trong một hợp đồng thông minh có thể mint.
