Trang chủ
Sàn giao dịch
Admin
Nguồn ảnh: Pixabay
Nhà sáng lập Cardano, Charles Hoskinson, vừa công bố dự án cá nhân trong việc xây dựng một ngôn ngữ lập trình mới dành riêng cho mạng lưới blockchain này. Ông cho biết đang trực tiếp tham gia phát triển cùng với Lucas Rosa, kỹ sư phần mềm tại Input Output Global – người từng đồng sáng tạo nên Aiken, một trong những ngôn ngữ hợp đồng thông minh phổ biến nhất trên Cardano.
Đặc điểm kỹ thuật của ngôn ngữ mới
Theo chia sẻ của Hoskinson trên mạng xã hội X, ngôn ngữ lập trình này hướng tới mục tiêu kết hợp nhu cầu thực hiện giao dịch của người dùng với các bằng chứng mật mã xác thực tính tuân thủ của các quy tắc trong mạng lưới.
Ngôn ngữ này dự kiến sẽ hỗ trợ ba công cụ kỹ thuật chính:
– Transaction intents (Ý định giao dịch): Cho phép người dùng xác định mục tiêu cuối cùng mà không cần lập trình các bước thực hiện cụ thể. Ví dụ, một nhà giao dịch có thể yêu cầu hoán đổi token khi giá đạt điều kiện nhất định mà không cần can thiệp vào quy trình xử lý phía sau.
– Proof-carrying data (Dữ liệu mang bằng chứng): Gắn kèm bằng chứng mật mã vào thông tin để chứng minh dữ liệu đó tuân thủ các quy tắc nhất định. Điều này giúp các ứng dụng khác có thể kiểm chứng dữ liệu mà không cần thực hiện lại toàn bộ các phép tính toán học phức tạp.
– Groth16 proofs: Một cơ chế bằng chứng mật mã được tích hợp để tối ưu hóa khả năng xác thực.
Việc một nhà sáng lập dự án quy mô lớn trực tiếp tham gia lập trình công cụ cho các ứng dụng tương lai là một trường hợp khá hiếm gặp. Hiện tại, Charles Hoskinson vẫn đang duy trì vai trò điều hành tại Input Output Global, công ty sở hữu đội ngũ kỹ sư hùng hậu hỗ trợ sự phát triển của hệ sinh thái Cardano.
Theo Coindesk
