Người sáng lập Cardano Charles Hoskinson đang xây dựng một ngôn ngữ lập trình mới cho mạng lưới

Nhà sáng lập Cardano Charles Hoskinson đang viết một ngôn ngữ lập trình mới cho blockchain của mình. Ông cho biết đây sẽ là ngôn ngữ đầu tiên kết hợp những gì người dùng muốn một giao dịch thực hiện với bằng chứng mã hóa rằng các quy tắc đã được tuân thủ.

“Tôi thực sự đang cá nhân phát triển một ngôn ngữ lập trình cho Cardano,” Hoskinson đã viết trên X vào Chủ Nhật, nói thêm rằng ông đang thực hiện dự án này cùng với Lucas Rosa, một kỹ sư phần mềm tại Input Output Global, người đã đồng sáng tạo ra Aiken, một trong những ngôn ngữ hợp đồng thông minh chính của Cardano.

Đó không phải là điều mà hầu hết các nhà sáng lập thường làm khi mạng lưới của họ đã lớn mạnh như thế này. Hoskinson điều hành một công ty với đầy rẫy các kỹ sư và vẫn chọn tự mình viết công cụ mà các ứng dụng Cardano trong tương lai có thể được xây dựng trên đó.

Ngôn ngữ này sẽ hỗ trợ ba công cụ: transaction intents, proof-carrying data và bằng chứng Groth16.

Một ý định (intent) cho phép người dùng nêu rõ những gì họ muốn thực hiện và để lại các bước thực hiện cho ứng dụng. Một nhà giao dịch có thể yêu cầu hoán đổi một token này lấy một token khác chỉ khi mức giá cuối cùng đáp ứng các điều kiện đã đặt ra, mà không cần nêu rõ cách thức thực hiện.

Proof-carrying data gắn bằng chứng mã hóa vào một mẩu thông tin, chứng minh rằng nó tuân theo các quy tắc nhất định. Một ứng dụng khác có thể kiểm tra bằng chứng đó mà không cần thực hiện lại mọi tính toán đằng sau nó.