Hợp đồng thông minh và DApp

Hợp đồng thông minh là một chương trình được lưu trên blockchain, thực thi một thỏa thuận mà không cần bên trung gian. Hình ảnh kinh điển là một máy bán hàng tự động: bạn bỏ tiền xu vào, chọn sản phẩm, và máy trả hàng cho bạn. Không có ai đứng sau quầy quyết định bạn có xứng đáng nhận món ăn vặt hay không, các quy tắc được tích hợp sẵn vào máy và áp dụng như nhau cho mọi người.

Hãy lấy ví dụ một người mua và một người bán không quen biết nhau. Không có hợp đồng, họ hoặc phải tin nhau, hoặc phải trả tiền cho một bên trung gian ký quỹ. Có hợp đồng, khoản thanh toán nằm trong một script và chỉ được giải phóng khi điều kiện đã thỏa thuận được ghi nhận. Việc bên nào có thể hủy, có thu phí hay không và ai có thể thay đổi điều khoản đều được cố định bởi các quy tắc của script chứ không do một người đứng giữa quyết định.

Một hợp đồng chỉ nhìn thấy những gì nằm trong giao dịch gọi nó và những gì đã có trên chuỗi. Các dữ kiện từ thế giới bên ngoài, như kết quả một cuộc đua hay một tỷ giá, phải được đưa lên chuỗi bởi một dịch vụ gọi là oracle, và hợp đồng chỉ đáng tin cậy đến mức nguồn dữ liệu đó cho phép.

Hợp đồng được viết bằng một ngôn ngữ bậc cao rồi biên dịch sang Plutus Core, ngôn ngữ nhỏ mà node Cardano thực thi. Plinth, trước đây gọi là Plutus Tx, được nhúng trong Haskell, là ngôn ngữ đầu tiên và vẫn được các nhóm muốn tận dụng toàn bộ sức mạnh hệ thống kiểu của Haskell sử dụng. Aiken là ngôn ngữ mới hơn, được xây dựng riêng cho Cardano, với cú pháp và công cụ đơn giản hơn, và hiện được hầu hết dự án mới lựa chọn. Plutarch, một thư viện Haskell bám sát mã đã biên dịch, được chọn khi chi phí thực thi là yếu tố quan trọng nhất. Tất cả đều tạo ra cùng một loại script on-chain.

Không phải việc gì cũng cần một hợp đồng đầy đủ. Native script xử lý các trường hợp phổ biến như ví đa chữ ký và khóa thời gian mà không cần mã Plutus nào, và token gốc cũng có thể được đúc theo một script như vậy.

Ứng dụng phi tập trung, hay DApp, là một website hoặc ứng dụng mà các thao tác quan trọng chạy thông qua hợp đồng thông minh thay vì cơ sở dữ liệu của một công ty. Ví dụ, một sàn giao dịch phi tập trung gồm một giao diện tạo giao dịch hoán đổi cho bạn, cộng với các script trên chuỗi giữ thanh khoản và thực thi giá.

Bạn dùng DApp bằng chính ví của mình. Khi kết nối, ứng dụng có thể xem địa chỉ và số dư của bạn và yêu cầu bạn ký giao dịch. Nó không bao giờ giữ khóa của bạn và không thể chuyển tiền nếu không có chữ ký bạn đưa ra trong ví. Việc kết nối đó tuân theo một tiêu chuẩn, CIP-30, nhờ vậy một ví có thể dùng với nhiều ứng dụng.

Hãy đọc những gì bạn sắp ký. Hầu hết ví Cardano hiển thị các đầu ra của giao dịch, tức nơi ada và token sẽ được chuyển đến, nên một giao dịch hoán đổi bất ngờ gửi toàn bộ số dư của bạn đến một địa chỉ lạ sẽ hiện rõ trước khi bạn xác nhận. Chữ ký của bạn cam kết với đúng giao dịch đó, vì vậy hãy kiểm tra các đầu vào, đầu ra và mọi cảnh báo mà ví hiển thị. Trên Cardano không có quyền phê duyệt token không giới hạn: một DApp chỉ có thể chi tiêu những gì giao dịch bạn ký chi tiêu, và sau đó không có gì cần thu hồi. Những gì bạn thực sự gửi vào một hợp đồng sẽ nằm dưới các quy tắc của hợp đồng đó cho đến khi các quy tắc ấy giải phóng nó.

Ngoài ra, các quy tắc thông thường vẫn áp dụng. Hãy truy cập ứng dụng qua dấu trang hoặc liên kết trên các kênh chính thức của nó, không qua quảng cáo tìm kiếm hay tin nhắn. Ưu tiên những ứng dụng có hợp đồng đã được kiểm toán và mã nguồn công khai. Hãy thử với một số tiền nhỏ trước. Và hãy coi mọi yêu cầu nhập cụm từ khôi phục là một cuộc tấn công, không DApp nào cần đến nó.

Cổng thông tin nhà phát triển hướng dẫn bạn từ giao dịch đầu tiên đến một hợp đồng đã triển khai, với các hướng dẫn cho Aiken và Plutus, các mạng thử nghiệm để thử nghiệm an toàn và bộ công cụ mà hầu hết các nhóm sử dụng. Một hợp đồng lên chuỗi như một phần của giao dịch, hoặc được đính kèm vào giao dịch sử dụng nó, hoặc được công bố một lần trong một đầu ra để các giao dịch sau tham chiếu. Không có sổ đăng ký hợp đồng toàn cục nào.