Smart Contract có thể coi là mảnh ghép quan trọng nhất trong lộ trình phát triển của Cardano. Vậy khi nào mới có Smart Contract đây? là câu hỏi mà tất cả chúng ta đều muốn hỏi. Hãy đón đọc bài viết dưới đây của IOHK để biết thêm chi tiết.

Vào đầu tháng 3, chúng tôi đã triển khai Mary – một bản nâng cấp giao thức đa tài sản cho phép người dùng tạo mã thông báo duy nhất cho các giao dịch trên Cardano. Với việc giới thiệu siêu dữ liệu giao dịch (Metadata) , sau đó là Khóa Token (Token Locking) với Allegra vào tháng 12/2020 và tạo Native Token với Mary vào đầu tháng 3/2021 , chúng tôi đang dần thiết lập Cardano trở thành nền tảng hợp đồng thông minh hàng đầu.

Alonzo, bản nâng cấp giao thức tiếp theo của chúng tôi, sẽ xây dựng dựa trên những khả năng này. Được triển khai bằng công nghệ tổ hợp hard fork của chúng tôi, Alonzo sẽ bổ sung hỗ trợ cho các hợp đồng thông minh – thỏa thuận kỹ thuật số cho Cardano trong khoảng bốn tháng kể từ bây giờ. Nó sẽ mở ra cơ hội cho các doanh nghiệp và nhà phát triển, bằng cách cho phép tạo các hợp đồng thông minh và các ứng dụng phi tập trung (DApps) cho tài chính phi tập trung (DeFi).

Khi nói đến việc đặt tên cho những nâng cấp này, chúng tôi đã chọn Allegra (con gái của Lord Byron) để khóa Token và Mary (tiểu thuyết gia và vợ của Shelley) để hỗ trợ đa tài sản. Alonzo đến từ một nhân vật đương đại hơn, Alonzo Church (1903-95). Church là một nhà toán học và logic học Hoa Kỳ, người làm việc về logic và nền tảng của khoa học máy tính lý thuyết. Ông cũng được biết đến với việc phát minh ra phép tính lambda – một hệ thống chính thức được sử dụng để chứng minh tính không thể giải của Entscheidungsproblem (là một thách thức trong toán học và khoa học máy tính được đặt ra bởi David Hilbert và Wilhelm Ackermann vào năm 1928) . Sau đó, khi làm việc với nhà toán học Alan Turing, họ phát hiện ra rằng máy tính lambda và máy Turing có khả năng ngang nhau, thể hiện các quy trình cơ học khác nhau để tính toán. Một trong những lý do để đặt tên cho bản nâng cấp hợp đồng thông minh của chúng tôi theo tên Church là vì Plutus Core (ngôn ngữ hợp đồng thông minh Cardano) là một biến thể của phép tính lambda.

Tại sao lại (cần) hợp đồng thông minh – smart contract?

Hợp đồng thông minh đánh dấu giai đoạn tiếp theo trong quá trình phát triển của Cardano với tư cách là một sổ cái phân tán trên toàn thế giới. Khi hỗ trợ hoạt động kinh doanh hàng ngày, một blockchain phải đảm bảo rằng các cá nhân có thể chuyển tiền của họ và thanh toán cho các sản phẩm một cách an toàn.

Hợp đồng thông minh có thể được sử dụng để giải quyết các giao dịch phức tạp, giữ tiền dưới dạng ký quỹ và bảo đảm sự di chuyển của tiền theo các điều kiện xác định trước. Cardano sẽ cho phép các DApp tương tác với sổ cái để ghi lại các hoạt động của họ và thực hiện các hợp đồng thông minh. Các thỏa thuận kỹ thuật số này thể hiện câu chuyện của một giao dịch, chỉ định nơi các khoản tiền sẽ đi và chúng sẽ được gửi theo những điều kiện nào, chỉ thực hiện giao dịch khi tất cả các điều kiện được đáp ứng. Alonzo sẽ đặt nền tảng để Cardano hỗ trợ các ứng dụng như vậy.

Giải quyết nhu cầu kinh doanh với Alonzo

Trong khi hỗ trợ đa tài sản cho phép người dùng tạo ra các loại tiền tệ duy nhất đáp ứng nhu cầu kinh doanh, Alonzo giới thiệu một nền tảng đa năng để xây dựng các hợp đồng thông minh. Ví dụ: có thể làm việc với các bộ sưu tập, huy động vốn từ cộng đồng hoặc đấu giá.

Các lĩnh vực thăm dò có thể bao gồm việc triển khai các sàn giao dịch tiền điện tử phi tập trung dựa trên ký quỹ (DEX) hoặc tạo ra các ứng dụng phức tạp hỗ trợ stablecoin (đồng ổn định) tập trung (ví dụ: ứng dụng theo dõi và truy tìm nguồn gốc sản phẩm trong chuỗi cung ứng). Với việc khóa Token, người dùng sẽ có thể phát hành Token tiện ích với thời gian kiểm tra, có nghĩa là một số Token có thể bị khóa hoặc đóng băng để được phát hành sau một thời gian cụ thể.

Sức mạnh kịch bản của Plutus Core

Với Alonzo, chúng tôi đang bổ sung các công cụ cần thiết và cơ sở hạ tầng để cho phép phát triển ứng dụng bằng Nền tảng Plutus.

Áp dụng một cách tiếp cận nghiêm ngặt dựa trên các phương pháp chính thức và xác minh, Alonzo mở rộng ngôn ngữ kịch bản đa chữ ký cơ bản (multisig) được sử dụng trong Cardano Shelley. Multisig sẽ được nâng cấp lên ngôn ngữ Plutus Core để có các tùy chọn tập lệnh mạnh mẽ và an toàn hơn. Sổ cái Alonzo triển khai mô hình EUTXO , sử dụng Plutus Core để cung cấp tập lệnh mạnh mẽ.
(Chú thích : EUTXO – sự kết hợp giữa mô hình UTXO (unspent transaction output) của Bitcoin và khả năng giải quyết hợp đồng thông minh của Ethereum, tạo ra mô hình kế toán Extended UTXO (EUTXO) cho Cardano. UTXO tạm dịch là Đầu ra giao dịch chưa chi tiêu, là đầu ra của một giao dịch mà người dùng nhận được và có thể chi tiêu trong tương lai ).

Một nền tảng hợp đồng thông minh phải vừa an toàn vừa đáng tin cậy. Đó là lý do tại sao chúng tôi chọn Haskell làm cơ sở để viết các hợp đồng thông minh Plutus Core. Haskell là một ngôn ngữ cấp cao mà các nhà phát triển sẽ sử dụng để viết code và sau đó biên dịch nó sang Plutus Core .

Haskell đã xuất hiện từ năm 1987, nổi bật so với các ngôn ngữ lập trình khác về mức độ tin cậy cao. Viết bằng Haskell đảm bảo rằng các hợp đồng thông minh được lập trình để thực hiện chính xác những gì chúng được mong đợi và có thể được kiểm tra độ chính xác trước khi thực hiện. Điều này có nghĩa là các hợp đồng thông minh được xây dựng trên Cardano sẽ đơn giản và có khả năng chống lại các lỗ hổng bảo mật, điều này rất quan trọng đối với các ứng dụng xử lý giao dịch tự động hoặc di chuyển các khoản tiền lớn.

Công cụ và API

Các nhà phát triển sẽ có các công cụ chức năng để thử nghiệm và tùy chỉnh xác thực giao dịch trên Cardano. Thư viện API sẽ được mở rộng để cho phép triển khai và vận hành code Plutus Core trên Cardano trong khi tương tác với ví và sổ cái.

Triển khai Alonzo là một quá trình phức tạp. Khi các hợp đồng thông minh chức năng đang chạy trên mạng chính, chúng tôi sẽ tiếp tục cải thiện cơ sở hạ tầng ngoài chuỗi để cung cấp các bộ phát triển phần mềm.

Bây giờ chúng ta đang ở đâu?

Trong suốt tháng 3 và tháng 4, nhóm IO Global đã dần dần kết hợp các quy tắc Alonzo với nút Cardano và mã sổ cái. Khi quá trình tích hợp Alonzo với nút hoàn tất, Cardano sẽ cung cấp các công cụ API hoạt động và hỗ trợ giao diện dòng lệnh (CLI).

Từ giữa tháng 4 đến đầu tháng 5, nhóm sẽ tiếp tục phát triển Plutus để khởi chạy testnet riêng. Trong giai đoạn này, các đối tác của chúng tôi (nhà phát triển nâng cao) sẽ thử nghiệm nền tảng, tạo và triển khai Token không thể thay thế (NFT), nền tảng thị trường hoặc DApp chạy các hợp đồng thông minh trên Cardano. Quá trình này sẽ tập trung vào các cải tiến từng bước để đảm bảo rằng mọi thứ hoạt động hiệu quả.

Vào tháng 5, chúng tôi sẽ bắt đầu làm việc với những người tiên phong của Plutus . Những thực tập sinh của chương trình được chứng nhận này sẽ tiếp tục thử nghiệm nền tảng này bằng cách viết các ứng dụng Plutus và đưa chúng vào sản xuất cho DApps và DeFi. Trong giai đoạn này, nhóm sẽ thực hiện tích hợp phụ trợ sổ cái, nút và ví. Chúng tôi cũng sẽ chuẩn bị và phát hành tài liệu, bao gồm các ví dụ về đặc điểm kỹ thuật và hướng dẫn dành cho nhà phát triển.

Tháng 5 và tháng 6 sẽ là thời gian để đảm bảo chất lượng và thử nghiệm với người dùng, sau đó sẽ là đợt đóng băng tính năng kéo dài trong 4 tuần. Điều này sẽ giúp các sàn giao dịch và ví tiền điện tử có thời gian để nâng cấp và chuẩn bị cho bản cập nhật giao thức Alonzo. Chúng tôi mong đợi việc nâng cấp Alonzo (hard fork) sẽ diễn ra vào cuối mùa hè và chúng tôi sẽ công bố một ngày chính thức trong chương trình Cardano360 vào tháng Tư.

Nếu bạn muốn biết lộ trình chi tiết hơn, hãy xem bài thuyết trình Cardano360 tháng 3 của Charles Hoskinson .

Đây là những thời điểm thú vị và chúng tôi khuyến khích bạn tiếp tục theo dõi. Bài đăng trên blog tiếp theo sẽ đi sâu vào mối quan hệ giữa các khái niệm Plutus làm nền tảng cho sự phát triển của Alonzo. Trong khi đó, trang web của các nhà phát triển có nhiều nội dung hơn về lập trình với Plutus, Marlowe và Glow.

Link nguồn : https://iohk.io/en/blog/posts/2021/04/08/smart-contracts-%E2%80%93-here-we-come/