Hợp đồng thông minh có Turing không hoàn chỉnh là một tính năng mới của Algorand 2.0, chứ không phải một lỗi

Algorand blockchain proof-of-stake hiện đang hỗ trợ cho các hợp đồng thông minh

Tổ chức Algorand đã phát hành bản cập nhật cho giao thức của blockchain vào thứ năm, bổ sung các tính năng tài chính phi tập trung (DeFi) cùng với các hợp đồng thông minh được chờ đợi từ lâu. “Algorand 2.0” là sự mở rộng lớn nhất về khả năng của mạng kể từ khi ra mắt vào tháng 6 năm 2019.

“Với bản phát hành này, các tính năng mới và nguồn tài nguyên dành cho nhà phát triển cho phép các trường hợp sử dụng mới và được áp dụng rộng rãi hơn cho blockchain nói chung,” CEO Algorand Steve Kokinos cho biết trong một tuyên bố .

Trong nhiều tháng, nhân viên của Algorand đã có nhiều ý tưởng đang chờ phát triển. Đây là lần đầu tiên Algorand hỗ trợ các hợp đồng thông minh, các hợp đồng dựa trên code giúp theo dõi và thực hiện các điều khoản của hợp đồng chính thức theo thời gian.

Hợp đồng thông minh ASC của Algorand có sự khác biệt về back-end so với các hợp đồng thông minh được tiên phong bởi blockchain như Ethereum. Đó là bởi vì ngôn ngữ lập trình nội bộ mới của Algorand mang tên Transaction Execution Approval Language (TEAL), là Turing không hoàn chỉnh.

Kỹ thuật độc đáo

Tính đầy đủ của Turing là thước đo khả năng của ngôn ngữ lập trình giúp mô phỏng ngôn ngữ lập trình khác và điều khiển các lệnh lập trình của chính ngôn ngữ đó.

Hầu như các ngôn ngữ lập trình hiện đại đều có Turing hoàn chỉnh, nhưng Algorand lại coi sự khác biệt của TEAL như một tính năng, chứ không phải một lỗi. Hợp đồng thông minh TEAL an toàn hơn để viết và thực thi, mặc dù có nhiều chức năng tiềm năng bị hạn chế, Algorand lập luận.

Ví dụ, ASC không thể hỗ trợ logic đệ quy, theo trang nhà phát triển .

“Chúng tôi không thực sự tin rằng Turing hoàn chỉnh cần thiết cho phần lớn các trường hợp sử dụng,” Paul Riegle, người đứng đầu sản phẩm tại Algorand cho biết. “Có chăng nó chỉ có thêm bề mặt tấn công rộng lớn và khiến tác động về hiệu suất có khả năng lao dốc.”

Chức năng càng đơn giản thì bảo mật càng tốt – hoặc, ít nhất, một cách đơn giản hơn để đảm bảo các coder từ hợp đồng ASC không vô tình làm mất tài sản. Theo Hacker Noon, việc kiểm tra code hợp đồng thông minh sẽ dễ dàng và nhanh hơn khi ngôn ngữ lập trình không có logic đệ quy .

Các nâng cấp khác

Chức năng phát hành tài sản theo tiêu chuẩn (ASA) mang lại các tính năng token hóa rộng rãi cho Algorand và đây cũng là một công cụ DeFi cơ bản.

Trang Developer của tổ chức cho biết bất kỳ tài sản nào cũng có thể được số hóa và lưu trữ on-chain với ASA.

Algorand cũng giới thiệu chức năng giao dịch hàng loạt với tính năng “giao dịch nguyên tử” được phát hành hôm thứ năm.

Với công cụ mới, người dùng có thể thực hiện giao dịch  các token phức tạp – chẳng hạn như các giao dịch tuần hoàn và các thanh toán tài khoản nội bộ – trong một giao dịch, trang developer cho biết.

Tổ chức cho biết Algorand 2.0 không ảnh hưởng đến chứng nhận hợp chuẩn sharia của Algorand, các tính năng chính khác không thay đổi.

Algorand có vốn hóa thị trường là 108 triệu đô la, theo Nomics và được xếp hạng thứ 48 trên blockchain, theo CoinMarketCap.

Thùy Ngân

Tạp chí Bitcoin | Coindesk

• Cập nhật tin tức tại Telegram