Ngày 18 tháng 10, Charles Hoskinson cho biết ông đang cùng kỹ sư Lucas Rosa của Input Output Global, đồng sáng tạo Aiken, trực tiếp phát triển một ngôn ngữ lập trình mới cho Cardano. Tiết lộ này gợi mở một hướng đi tiềm năng mới cho các nhà phát triển ứng dụng trên Cardano, tập trung vào ý định giao dịch và bằng chứng mật mã thay vì mô tả thông thường về cách thực thi giao dịch.

Hoskinson chưa nêu tên ngôn ngữ, công bố mã nguồn công khai hay đưa ra lịch trình để các nhà phát triển có thể tiếp cận. Vì vậy, dự án vẫn chỉ mới được tiết lộ ở giai đoạn đầu, chứ chưa phải là một công cụ mà các nhà phát triển có thể đánh giá hoặc sử dụng ngay lúc này.

Hoskinson và Rosa bắt đầu phát triển

Trong một bài đăng trên X, Hoskinson cho biết ông đang cùng Rosa phát triển ngôn ngữ này. Sự tham gia của Rosa tạo cho dự án mối liên hệ trực tiếp với Aiken, một trong những lựa chọn hiện có để phát triển hợp đồng thông minh trên Cardano.

Ngôn ngữ lập trình định hình cách nhà phát triển biểu đạt các quy tắc ứng dụng, xây dựng giao dịch và tương tác với mô hình thực thi nền tảng của mạng lưới, khiến thông báo này trở nên đáng chú ý. Bài đăng không đưa ra thông số kỹ thuật hay kho mã nguồn, cũng không đề xuất lộ trình tích hợp ngôn ngữ này vào hệ sinh thái phát triển rộng hơn của Cardano.

Hiện tại, mô tả công khai chỉ giới hạn ở các yếu tố mà Hoskinson nêu ra và những thông tin được đưa tin sau đó về mục đích sử dụng dự kiến. Việc chưa có mã nguồn cũng khiến những câu hỏi thực tế như cú pháp, công cụ hỗ trợ và phạm vi ứng dụng mà ngôn ngữ này được thiết kế để phục vụ vẫn còn bỏ ngỏ.

Ý định giao dịch và bằng chứng

Theo CoinDesk, Hoskinson cho biết ngôn ngữ này sẽ kết hợp ý định giao dịch, dữ liệu kèm bằng chứng và bằng chứng mật mã Groth16. Thiết kế được công bố chú trọng vào mục tiêu người dùng muốn giao dịch đạt được, đồng thời cung cấp bằng chứng cho thấy các điều kiện cần thiết đã được đáp ứng.

Theo hệ thống được đề xuất, người dùng sẽ xác định kết quả giao dịch mong muốn. Sau đó, các ứng dụng sẽ xử lý việc thực thi và đính kèm bằng chứng mật mã cho thấy các điều kiện đó đã được đáp ứng, theo CoinDesk.

Sự khác biệt này rất quan trọng đối với cách định hình dự án. Thay vì chỉ mô tả tương tác của người dùng như một chuỗi các bước thực thi, mô hình mà Hoskinson trình bày bắt đầu từ kết quả và giao cho ứng dụng nhiệm vụ thực hiện kết quả đó. Thành phần bằng chứng được thiết kế để đi kèm quá trình này, làm bằng chứng liên quan đến các điều kiện đã nêu.

Groth16 là công nghệ bằng chứng cụ thể được nêu trong thông báo. Cả tiết lộ của Hoskinson lẫn phần mô tả được đưa tin đều chưa công bố chi tiết về cách công nghệ này được triển khai trong ngôn ngữ, dữ liệu nào sẽ được bao quát bởi các bằng chứng, hay cách ứng dụng sẽ trình bày các giao dịch tạo ra cho người dùng Cardano.

Đây là những vấn đề triển khai quan trọng đối với một ngôn ngữ đưa ra tuyên bố về việc xây dựng và xác minh giao dịch. Không thể giải đáp chúng chỉ từ một thông báo khái quát, nhất là khi chưa có mã nguồn công khai hoặc tài liệu kỹ thuật.

Bên cạnh Plutus và Aiken

Hoskinson cho biết ông đang cùng kỹ sư Lucas Rosa của Input Output Global, đồng sáng tạo Aiken, đích thân phát triển một ngôn ngữ lập trình mới cho Cardano.

Ông cho biết ngôn ngữ được đề xuất sẽ kết hợp ý định giao dịch, dữ liệu kèm bằng chứng và bằng chứng mật mã Groth16. Theo hệ thống được đề xuất, người dùng sẽ xác định kết quả giao dịch mong muốn, còn các ứng dụng sẽ xử lý việc thực thi và cung cấp bằng chứng mật mã cho thấy các điều kiện đã được đáp ứng.

Nếu được phát hành, dự án sẽ bổ sung một lựa chọn phát triển khác cho Cardano bên cạnh Plutus và Aiken. CryptoSlate đưa tin rằng Aiken được kỳ vọng giúp việc phát triển hợp đồng thông minh trên Cardano dễ tiếp cận hơn so với môi trường Plutus dựa trên Haskell.

Theo CryptoSlate, tính đến ngày 19 tháng 10, Hoskinson chưa tiết lộ tên ngôn ngữ, công bố mã nguồn công khai hay thông báo ngày phát hành cho nhà phát triển.

Tuyên bố miễn trừ trách nhiệm: Bài viết này chỉ nhằm mục đích cung cấp thông tin. Nội dung không được đưa ra hoặc dự định sử dụng làm tư vấn pháp lý, thuế, đầu tư, tài chính hay bất kỳ hình thức tư vấn nào khác.