Người sáng lập Cardano đang phát triển ngôn ngữ lập trình mới, kết hợp ý định giao dịch với chứng minh Groth16
Theo báo cáo của CoinDesk, người sáng lập Cardano Charles Hoskinson cho biết ông đang tự tay phát triển một ngôn ngữ lập trình mới cho mạng Cardano và hợp tác với kỹ sư Lucas Rosa của Input Output Global. Lucas Rosa là một trong những đồng sáng lập ngôn ngữ hợp đồng thông minh chính của Cardano, Aiken. Hoskinson đã đăng trên nền tảng X rằng đây sẽ là ngôn ngữ lập trình đầu tiên kết hợp các thao tác mà người dùng mong muốn hoàn thành giao dịch với chứng minh mật mã.
Theo giới thiệu, ngôn ngữ này sẽ hỗ trợ ba công cụ: ý định giao dịch, dữ liệu mang chứng minh và chứng minh Groth16. Ý định giao dịch cho phép người dùng chỉ rõ mục tiêu mà họ muốn hoàn thành, trong khi các bước cụ thể sẽ được ứng dụng xử lý, ví dụ, nhà giao dịch có thể yêu cầu chỉ đổi một loại token sang loại khác khi giá cuối cùng thỏa mãn điều kiện đã đặt ra, mà không cần chỉ rõ con đường cụ thể.
Dữ liệu mang chứng minh có thể gán chứng cứ mật mã cho thông tin, chứng minh rằng nó tuân thủ các quy tắc cụ thể, các ứng dụng khác có thể xác minh mà không cần tính toán lại. Groth16 là một hệ thống chứng minh được sử dụng rộng rãi, có thể tạo ra chứng minh có kích thước nhỏ và tốc độ xác minh nhanh, chứng minh rằng các điều kiện đã được thỏa mãn mà không tiết lộ dữ liệu riêng tư.
Khi ba yếu tố này kết hợp lại, các nhà phát triển có thể xây dựng các ứng dụng điều phối giao dịch, kiểm tra các điều kiện phức tạp và truyền tải thông tin đã được xác minh giữa các dịch vụ, cuối cùng được Cardano xác minh một chứng minh nhỏ. Hiện tại, các nhà phát triển Cardano chủ yếu sử dụng Plutus dựa trên Haskell và Aiken để viết hợp đồng thông minh, trong khi blockchain riêng tư Midnight do Input Output Global của Hoskinson xây dựng có ngôn ngữ riêng là Compact. Tên, mã nguồn công khai và ngày phát hành của ngôn ngữ mới này hiện vẫn chưa được công bố.
