PPP 040605 - Testing Smart Contracts with Lucid
Tóm tắt nội dung
Video thảo luận về việc thử nghiệm các hợp đồng thông minh với Lucid, một trình giả lập blockchain, cho một tập lệnh cụ thể được gọi là tập lệnh 're mode' âm. Tập lệnh Negative R times là trình xác thực cho phép người dùng gửi tiền đến tập lệnh với thời hạn trong Datum của nó và bất kỳ ai cũng có thể yêu cầu tiền nếu chúng cung cấp số nguyên bằng hoặc nhỏ hơn 0 trong Redeemer.
Các công cụ được sử dụng để kiểm tra các hợp đồng thông minh được chia thành ba loại: phần mềm đang được thử nghiệm (trình giả lập sáng suốt), một triển khai gốc cho `Kiểm tra đơn vị 'trong Dino và công cụ thử nghiệm dựa trên tài sản kiểm tra nhanh được viết bằng JavaScript. Trình giả lập Lucid tương tự như các mặt trước khối và có thể được thiết lập để chạy một blockchain được đánh dấu cục bộ để chạy thử nghiệm nhanh chóng và kiểm soát đầy đủ. Nó có các phương pháp để truy vấn blockchain bị chế giễu, gửi giao dịch và kiểm soát tiến trình của blockchain thông minh.
Trước khi viết mã off-chain để kiểm tra, trước tiên, Trình xác thực phải được ghi vào hệ thống tệp bằng cách nhập mô-đun tiện ích và mô-đun Negative R times, chứa Trình xác thực. Siêu dữ liệu sau đó được ghi vào vị trí trong thư mục tài sản và Trình xác thực được gọi.
Sau đó, bài viết thảo luận về tệp Negative R times.ts, bao gồm một hàm gửi tiền đến vị trí tập lệnh với một Datum và khóa riêng để ký giao dịch. Hàm tạo ra một giao dịch mới và thanh toán nó cho hợp đồng, gửi một Datum nội tuyến, và các dấu hiệu và gửi giao dịch. Ngoài ra còn có một Hàm lấy ví chọn ví, chuyển đổi luồng được mã hóa được mã hóa Sieber, lấy tất cả các UTXO tại tập lệnh đó, lọc UTXO cho Datum, xây dựng một giao dịch yêu cầu tất cả các UTXO, đính kèm Trình xác thực, và các dấu hiệu và gửi giao dịch.
Video giải thích rằng việc kiểm tra tập lệnh liên quan đến việc gửi một hàm có ba đầu vào: Datum,Redeemer và một số n. Số N là số slot mà tại đó hàm lấy sẽ được bắt đầu. Nếu số slot cắm trước thời hạn, giao dịch sẽ thất bại và nếu đó là sau, giao dịch sẽ thành công.
Tóm lại, bài viết giải thích cách kiểm tra một hợp đồng thông minh cụ thể, tập lệnh Negative R times, sử dụng Lucid, Trình giả lập blockchain và hai công cụ khác để 'Kiểm tra đơn vị' và thử nghiệm dựa trên tài sản. Video cung cấp một cái nhìn tổng quan về các công cụ được sử dụng, quá trình viết Trình xác thực và mã off-chain và các bước liên quan đến việc kiểm tra tập lệnh.
