Charles Hoskinson, nhà sáng lập Cardano (ADA). Ảnh: Reve AI

Charles Hoskinson, nhà sáng lập Cardano, cho biết ông đang trực tiếp phát triển một ngôn ngữ lập trình mới cho hệ sinh thái này, với định hướng hỗ trợ intent và Proof-Carrying Data (PCD) thông qua chứng minh Groth16.

Theo U.Today ngày 18/10, Hoskinson đưa ra thông tin trên khi trả lời câu hỏi từ cộng đồng về những khác biệt Cardano có thể tạo ra nhờ mức độ phi tập trung cao. Theo ông, ngôn ngữ mới sẽ là nền tảng đầu tiên hiện thực hóa intent và PCD thông qua chứng minh Groth16.

Hiện Hoskinson chưa công bố tên gọi, thông số kỹ thuật chi tiết hay lịch phát hành của ngôn ngữ lập trình này.

Trước đó, ông cũng hé lộ một hướng ứng dụng mới cho Midnight, mạng blockchain đối tác của Cardano tập trung vào quyền riêng tư. Hoskinson cho biết đang phác thảo một khái niệm mà ông tin có thể giải quyết phần lớn vấn đề của ngành tiền mã hóa, đồng thời xem đây là công trình tiêu biểu trong sự nghiệp của mình. Tuy nhiên, hiện chưa rõ dự án này có liên quan đến ngôn ngữ mới nói trên hay không.

Hoskinson từ lâu nhiều lần bày tỏ quan điểm về việc lựa chọn ngôn ngữ lập trình. Ông vốn ưa chuộng Haskell, ngôn ngữ được sử dụng trong giai đoạn phát triển ban đầu của Cardano. Tháng 6/2022, ông từng đề xuất Elon Musk và Jack Dorsey thử dùng Haskell khi cả hai tranh luận về ưu điểm của các ngôn ngữ lập trình.

Dù vậy, sau đó Hoskinson thừa nhận ông không còn hoàn toàn chắc chắn về quyết định chọn Haskell. Vào tháng 5/2024, ông cho biết từng cân nhắc Clojure, nhưng cuối cùng vẫn chọn Haskell nhờ khả năng tận dụng các công nghệ như Cloud Haskell, Liquid Haskell và Agda. Trong một cuộc phỏng vấn hồi tháng 4/2025, ông nói rằng nếu xây dựng lại Cardano từ đầu, nhiều khả năng ông sẽ chọn một ngôn ngữ khác.

Hiện Cardano hỗ trợ các ngôn ngữ hợp đồng thông minh như Plutus và Aiken, đều phát triển trên nền tảng Haskell. Trong khi đó, Midnight sử dụng Compact, một ngôn ngữ lập trình tập trung vào quyền riêng tư. Do chức năng cụ thể và thời điểm ra mắt của ngôn ngữ mới vẫn chưa được công bố, mức độ khác biệt so với bộ công cụ phát triển hiện tại của Cardano vẫn cần chờ thêm các thông tin chi tiết trong những công bố tiếp theo.

Từ khóa

#Cardano #Charles Hoskinson #ngôn ngữ lập trình #blockchain #Groth16 #Proof-Carrying Data #PCD #intent #Plutus #Aiken #Midnight
Copyright © DigitalToday. All rights reserved. Unauthorized reproduction and redistribution are prohibited.