Aptos：L1 đầu tiên hỗ trợ hợp đồng điều phối động dựa trên AI

Tin tức từ Coinjie.com, Aptos tuyên bố mạng lưới của họ trở thành mạng lưới L1 đầu tiên hỗ trợ hợp đồng điều phối động dựa trên AI, gọi Move Prover của họ là “người dự báo” giữa thị trường và đại lý máy móc. Aptos nhấn mạnh rằng, hệ thống hợp đồng thông minh Move của họ có thể chứng minh bằng toán học rằng hành vi của nó phù hợp với thiết kế, ngay cả khi hợp đồng sử dụng hàm bậc cao và điều phối động. Aptos Labs trên mạng xã hội cho biết, AI viết chuẩn mực, chứng minh bằng toán học tính chính xác của nó, Move Prover như một lớp tin cậy, đảm bảo sự tin cậy giữa thị trường và máy móc. Nhóm cũng chỉ ra rằng, Move là ngôn ngữ hợp đồng thông minh duy nhất tích hợp xác thực dạng nguyên thủy, đồng thời mở rộng hỗ trợ cho điều phối động. Theo tài liệu của Aptos về Move Prover, bộ xác thực đã được sử dụng ở cấp độ giao thức để xác minh logic cốt lõi, bao gồm staking, đo lường, triển khai mã và hỗ trợ cấu trúc dữ liệu. Các nghiên cứu mới nhất cho thấy, điều phối động làm tăng đáng kể độ phức tạp của không gian trạng thái, yêu cầu các kỹ sư của Aptos thiết kế lại cách tạo và kiểm tra điều kiện xác thực. Việc thúc đẩy xác thực hỗ trợ AI lần này đi kèm với một kế hoạch tài trợ trị giá 50 triệu USD của Aptos, nhằm hỗ trợ thị trường on-chain và hệ thống AI.