Người sáng lập Cardano ra mắt ngôn ngữ lập trình mới giữa thách thức TVL 63 triệu USD

Người sáng lập Cardano, Charles Hoskinson, đang phát triển một ngôn ngữ lập trình mới khi blockchain đối mặt với thử thách về nhu cầu thương mại. Hoskinson cho biết ông đang hợp tác với Lucas Rosa, một kỹ sư phần mềm tại Input Output Global, trên dự án này. Ngôn ngữ được đề xuất hỗ trợ giao dịch dựa trên ý định và dữ liệu mang bằng chứng sử dụng các bằng chứng mật mã Groth16. Hoskinson mô tả ngôn ngữ được đề xuất là loại đầu tiên trên thế giới. Ngôn ngữ này chưa có ngày ra mắt, và kiến trúc, đặc điểm hiệu năng cũng như các thông số kỹ thuật của nó chưa được công bố.

Các ứng dụng tài chính phi tập trung của Cardano chỉ giữ khoảng 63 triệu USD tài sản, dù vốn hóa thị trường của ADA vào khoảng 8,3 tỷ USD. DefiLlama ghi nhận khối lượng giao dịch trên sàn phi tập trung của Cardano ở mức khoảng 927.000 USD trong 24 giờ qua tính đến ngày 19 tháng 10. Khối lượng giao dịch hàng tuần của DefiLlama đạt 8,35 triệu USD, giảm 25% so với giai đoạn bảy ngày trước đó. Cardano ghi nhận 12.716 địa chỉ hoạt động trong ngày. Cardano xử lý 28.146 giao dịch trong ngày, tạo ra khoảng 2.196 USD phí blockchain. Nguồn cung stablecoin của Cardano ở mức khoảng 70 triệu USD, cung cấp một lượng thanh khoản được định danh bằng đô la tương đối nhỏ cho các ứng dụng tài chính.

DefiLlama ước tính tổng số tiền nạp vào tài chính phi tập trung của Solana vào khoảng 5,9 tỷ USD. DefiLlama cũng ghi nhận khối lượng giao dịch trên sàn giao dịch phi tập trung của Solana ở mức 1,45 tỷ USD trong cùng khoảng thời gian 24 giờ. Nguồn cung stablecoin của Solana vượt quá 15,5 tỷ USD. Vốn hóa thị trường của Solana hiện ở mức khoảng 62 tỷ USD, gấp khoảng bảy lần Cardano, trong khi tổng số tiền nạp vào tài chính phi tập trung của Solana lớn hơn hơn 90 lần.

Thanh khoản hạn chế của Cardano tạo ra thách thức thương mại vượt quá khả năng xử lý giao dịch. Các sàn giao dịch phi tập trung cần đủ thanh khoản để đáp ứng các giao dịch lớn mà không gây trượt giá đáng kể. Các nền tảng cho vay yêu cầu tiền nạp và nhu cầu vay để tạo doanh thu. Hoạt động hạn chế có thể khiến các ứng dụng trở nên khó duy trì đối với các nhà phát triển, làm giảm động lực để thêm vốn vào hệ sinh thái.

Ouroboros Leios là một bản nâng cấp sắp tới nhằm tăng đáng kể khả năng xử lý giao dịch của Cardano. Đường đi phát triển nhắm đến việc cải thiện công suất từ 10 đến 65 lần thông qua việc triển khai từng giai đoạn, có thể hỗ trợ các ứng dụng đòi hỏi cao hơn. Hoskinson cho biết Leios sẽ hoàn thành tầm nhìn ban đầu của ông dành cho Cardano, bao gồm sự đồng thuận và quản trị phi tập trung, mô hình kế toán mở rộng unspent transaction output, các hợp đồng thông minh Plutus, xác minh hình thức và nhiều triển khai nút mạng độc lập. Leios vẫn đang chờ triển khai. Khối lượng giao dịch khiêm tốn của Cardano cho thấy nhu cầu gia tăng có thể mang tính quyết định không kém gì việc mở rộng năng lực kỹ thuật.

Ngôn ngữ lập trình được đề xuất có thể thay đổi cách các nhà phát triển thiết kế và chạy ứng dụng trên Cardano. Các hệ thống dựa trên ý định cho phép người dùng xác định kết quả giao dịch mong muốn trong khi phần mềm thực hiện giao dịch dưới các điều kiện đã định trước. Việc thực thi dựa trên ý định có thể đơn giản hóa các giao dịch đa tài sản, thực thi tự động và các yêu cầu thanh toán phức tạp. Dữ liệu mang bằng chứng gắn bằng chứng mật mã vào thông tin để xác thực tính hợp lệ của thông tin đó. Kết hợp dữ liệu mang bằng chứng với bằng chứng không tri thức Groth16 có thể cho phép các ứng dụng xác minh một số giao dịch hoặc phép tính mà không tiết lộ toàn bộ thông tin nền tảng. Tiếp cận này có thể hỗ trợ các sản phẩm tài chính yêu cầu thanh toán tự động, xác minh bảo mật và các tương tác phức tạp hơn giữa các dịch vụ phi tập trung.

Rosa trước đây đã hỗ trợ phát triển Aiken, một ngôn ngữ lập trình được thiết kế để làm cho việc phát triển hợp đồng thông minh trên Cardano trở nên dễ tiếp cận hơn. Aiken nhằm đơn giản hóa quá trình phát triển từng gắn liền với Plutus và môi trường lập trình dựa trên Haskell. Trình biên dịch, các công cụ kiểm thử và cú pháp quen thuộc hơn của Aiken nhằm giảm rào cản kỹ thuật cho các nhà phát triển mới gia nhập hệ sinh thái. Dự án mới có thể mở rộng nỗ lực này sang thực thi dựa trên ý định và xác minh mật mã khi các ứng dụng phi tập trung tích hợp giao dịch tự động và các tác phần mềm tự trị.

Cardano đã hỗ trợ các nguyên thủy mật mã có khả năng xác minh bằng chứng không tri thức dựa trên phép ghép đôi. Khả năng thương mại của ngôn ngữ được đề xuất sẽ phụ thuộc một phần vào mức độ hiệu quả mà ngôn ngữ này làm cho các khả năng đó trở nên dễ tiếp cận với các nhà phát triển. Các công cụ phát triển được cải thiện có thể giảm chi phí và độ phức tạp khi ra mắt ứng dụng, nhưng các nhà phát triển cũng cần người dùng, thanh khoản và nhu cầu giao dịch để đảm bảo tính bền vững thương mại cho các ứng dụng.