Hợp đồng thông minh là gì?
Hợp đồng thông minh trên Cardano là các chương trình đơn giản thường được gọi là tập lệnh xác thực trong đó người dùng xác định logic tùy chỉnh. Chúng được thực thi tự động bởi mỗi nút Cardano xác thực giao dịch khi giao dịch cố gắng chuyển tiền từ địa chỉ của tập lệnh. Địa chỉ của mỗi tập lệnh được lấy từ tổng băm của tập lệnh được biên dịch.
Sau khi được triển khai, hợp đồng thông minh trở nên bất biến, có nghĩa là chúng không thể thay đổi được. Chúng có thể phân phối và chống giả mạo, nhanh chóng và tiết kiệm chi phí vì không qua trung gian, giúp tiết kiệm cả tiền bạc và thời gian.
Công cụ và ngôn ngữ
Cardano đã giới thiệu hỗ trợ hợp đồng thông minh vào năm 2021. Là một môi trường đa chức năng, Cardano hiện hỗ trợ phát triển và triển khai hợp đồng thông minh bằng các ngôn ngữ lập trình như:
Plutus — một nền tảng thực hiện và phát triển hợp đồng thông minh được xây dựng có mục đích. Hợp đồng Plutus bao gồm các phần chạy trên blockchain (mã trên chuỗi) và các phần chạy trên máy của người dùng (mã ngoài chuỗi hoặc mã máy khách). Plutus rút ra từ nghiên cứu ngôn ngữ hiện đại để cung cấp môi trường lập trình toàn diện, an toàn dựa trên Haskell, ngôn ngữ lập trình chức năng hàng đầu.
Marlowe — một ngôn ngữ dành riêng cho miền (DSL) để viết và thực hiện các hợp đồng tài chính cho phép xây dựng các hợp đồng một cách trực quan cũng như bằng mã truyền thống hơn. Ví dụ: các tổ chức tài chính có thể sử dụng nó để phát triển và triển khai các công cụ tùy chỉnh cho khách hàng của họ. Bản thân ngôn ngữ Marlowe hiện được nhúng trong JavaScript, TypeScript và Haskell, cung cấp nhiều lựa chọn trình soạn thảo tùy thuộc vào sở thích và kỹ năng của nhà phát triển.
Aiken - một ngôn ngữ và chuỗi công cụ hỗ trợ trải nghiệm của nhà phát triển. Aiken chỉ được sử dụng cho các tập lệnh xác thực trên chuỗi.
OpShin - ngôn ngữ lập trình dựa trên Python cho các hợp đồng thông minh chung cho Cardano.
plu-ts - Ngôn ngữ lập trình hợp đồng thông minh nhúng TypeScript và thư viện tạo giao dịch.
Đọc thêm và các chủ đề liên quan
Last updated