PPP 040602 - Introduction to the Plutus Simple Model library
Tóm tắt nội dung
Thư viện mô hình đơn giản Plutus là một công cụ dành cho các nhà phát triển muốn viết và kiểm tra các hợp đồng thông minh cho blockchain Cardano. Tài liệu của thư viện có thể được truy cập thông qua một lệnh mở nó trong trình duyệt. Hành động chính là Entry point của cuộc gọi khi chạy kiểm tra Cabal với tên của bài kiểm tra. Chức năng chính mặc định của Tasty được sử dụng để chuyển đổi một cây thử nghiệm thành hành động IO mà chính yêu cầu. Nhóm kiểm tra Hàm cho phép các nhà phát triển đặt tên cho một danh sách các thử nghiệm để phân loại chúng.
Hai Hàm được xác định trên tốt và xấu có hai tham số mỗi tham số. Chúng là thử nghiệm được áp dụng một phần Không có lỗi và phải thất bại, yêu cầu giá trị để khởi tạo trạng thái blockchain và cấu hình cho blockchain giả. Các lỗi nhật ký Hàm tốt nếu có bất kỳ, trong khi Hàm xấu nhật ký lỗi nếu mọi thứ hoạt động như mong đợi.
Chi tiêu đơn giản và không đủ Hàm quỹ đều trả về giá trị của Kiểu chạy boolean. Nhà nước Monad đang chạy để có được Boolean do cả hai trường hợp. Trong bài kiểm tra chi tiêu đơn giản, một giao dịch được thực hiện từ người dùng này sang người dùng khác và mọi thứ sẽ ổn. Nhưng trong thử nghiệm không đủ tiền, người dùng cố gắng gửi nhiều giá trị hơn so với chúng có và bài kiểm tra sẽ thất bại. Hành động chính biên soạn các bài kiểm tra và trả về kết quả của họ, với các mô tả tương tự như các mô tả được cung cấp trong danh sách các bài kiểm tra.
Chức năng Helper của người dùng thiết lập được tạo để khởi tạo một vài người dùng để kiểm tra. Chức năng người dùng mới lấy giá trị và tạo người dùng mới bằng cách chuyển giá trị đó từ người dùng quản trị viên. Chức năng này được gọi là ba lần và danh sách ba băm OBKI thu được cho ba người dùng mới. Chi tiêu đơn giản và không đủ Hàm quỹ tạo ra các giao dịch giữa người dùng. Hàm giao dịch giá trị gửi được sử dụng để gửi giá trị từ người dùng này sang người dùng khác. Trong bài kiểm tra chi tiêu đơn giản, các giao dịch sẽ thành công, trong khi trong thử nghiệm không đủ tiền, giao dịch sẽ thất bại.
Tóm lại, thư viện mô hình đơn giản của plutus` đơn giản hóa quá trình viết và kiểm tra các hợp đồng thông minh cho blockchain Cardano. Tài liệu của nó có thể dễ dàng truy cập và nó cung cấp các Hàm hữu ích để kiểm tra các giao dịch giữa người dùng.
