Tìm hiểu về Cardano và Plutus – Plutus Smart Contracts

Blockchain Cardano

Cardano là một blockchain công cộng không được phân cấp nhằm tìm cách cung cấp các tính năng nâng cao hơn bất kỳ blockchain nào khác được xây dựng trước đây. Nó dựa trên Outboros Proof of Concept: blockchain đầu tiên đã được nghiên cứu, phân tích, đánh giá ngang hàng và được chứng minh là có các đặc tính tốt. Cardano có khả năng chống lại hầu hết các cuộc tấn công.

ADA mã thông báo bản địa của Caradno có tổng cộng 45.000.000.000, và mỗi ADA có thể được chia trong tổng số 1.000.000 Lovelaces.

Cardano hiện đang là một trong những đối thủ chính của Bitcoin, nhưng Bitcoin dựa trên Proof of Work. Phần tồi tệ của Proof of Work là các khối khai thác, được yêu cầu để bảo mật chuỗi khối và chấp nhận các giao dịch mới, yêu cầu năng lượng điện cao. Do sự thành công của Bitcoin, người ta ước tính rằng tất cả các thợ đào Bitcoin đang sử dụng nhiều điện hơn so với một số quốc gia nhỏ hơn. Ngược lại, Cardano có thể giải quyết được bài toán năng lượng của Bitcoin dựa trên Proof of Stake, là một phương pháp khai thác thay thế cho phép tạo khối bởi những người có cổ phần lớn trong hệ thống.

Cardano đang được phát triển bởi:

• IOHK: một công ty tư vấn phần mềm ở Honk Kong đã thuê một số nhà phát triển Haskell mạnh nhất trên thế giới.
• Cardano Foundation: là một tổ chức đang nỗ lực kết nối các đối tác muốn phát triển trên Cardano trên toàn thế giới.
• Emurgo: những người chính làm việc thúc đẩy việc áp dụng Cardano.

Giải mã một giao dịch

Mỗi khối thực sự là một giao dịch trong chuỗi khối. Về cơ bản, nó tổng hợp một loạt các đầu vào chưa được sử dụng, với các chữ ký tương ứng và chuyển đổi chúng thành một loạt các đầu ra đến các địa chỉ mới sử dụng các đầu vào được cung cấp.

• Đầu vào giao dịch: Đó là tham chiếu đến đầu ra giao dịch chưa sử dụng từ khối trước đó, kèm theo chữ ký chứng minh rằng đầu vào giao dịch có thể được sử dụng.
• Đầu ra giao dịch: Đó là một giao dịch chưa được sử dụng mới, được chú thích với khối hiện tại, cho phép chủ sở hữu của địa chỉ mới chi tiêu nó sau này.

Ở một khía cạnh nào đó, bạn không sở hữu một lượng ADA nhất định trong chuỗi khối Cardano. Bạn sở hữu một số đầu ra chưa sử dụng trong các khối khác nhau của chuỗi khối Cardano và bạn có thể chi tiêu chúng để mua hàng hóa và dịch vụ.

Bởi vì bạn sử dụng toàn bộ đầu vào giao dịch, rất phổ biến là bạn tạo ra hai đầu ra giao dịch từ một đầu vào giao dịch duy nhất: một đầu ra trả bất cứ thứ gì bạn đã đồng ý thanh toán và đầu ra thứ hai trả phần còn lại về địa chỉ của riêng bạn.

 Tổ chức Cardano đã bán các đầu vào đầu tiên chưa sử dụng trong một chiến dịch gây quỹ cho toàn bộ dự án. Vì vậy, một phần của 45.000.000.000 ADA ban đầu đã được bán và phần còn lại sẽ được tạo ra thông qua việc đúc tiền: một quy trình cung cấp cho các bên liên quan một số ADA bổ sung.

Plutus

Plutus là một ngôn ngữ lập trình để viết các hợp đồng thông minh trong chuỗi khối Cardano. Nó dựa trên Lambda Calculus và Haskell, nên nó sẽ kế thừa những tính năng ưu việtnhất từ ​​cả hai phe.

Plutus dựa trên Haskell và sử dụng Template Haskell để cho phép bạn viết Plutus giả vờ đó là Haskell. Bạn bao quanh Haskell của mình bằng những câu bán dẫn, ghép nối các mục từ đoạn dạo đầu của Plutus và viết những Haskell cũ thuần túy.

Nhưng không phải mọi thứ đều là Haskell cũ kỹ. Đối với người mới bắt đầu, Plutus nghiêm ngặt, không giống như Haskell.  Bạn phải sử dụng một trong số ít cấu trúc dữ liệu Plutus hoặc nâng cấu trúc dữ liệu của riêng bạn lên Plutus. Bên cạnh đó lỗi và gỡ lỗi trong Plutus rất khó chịu, ít nhất là cho đến thời điểm hiện tại. Nếu hợp đồng thông minh của bạn không được biên dịch nó sẽ là một lỗi lớn. Nếu mã của bạn được biên dịch, thì bạn phải kiểm tra xem nó có chạy đúng hay không. Printf-debugging khá khác nhau ở đây, vì vậy nếu bạn dựa vào đây làm công cụ chính của mình.

Hợp đồng thông minh

Hợp đồng thông minh là một chương trình Plutus chạy trên blockchain. Hợp đồng thông minh tạo ra các chương trình tùy ý quyết định cách thức tiền di chuyển, nhưng không yêu cầu máy tính đáng tin cậy.

Về mặt kỹ thuật, hợp đồng thông minh Plutus chính là tập lệnh xác thực. Nó có thể giúp xác định cách một giao dịch có thể được chi tiêu. Bạn thanh toán đến địa chỉ của hợp đồng thông minh và cách duy nhất để chi tiêu ADA mà bạn đã trả sẽ là tuân theo những gì hợp đồng thông minh yêu cầu.