Aptos trở thành L1 đầu tiên hỗ trợ xác minh hình thức lập lịch động
2026-05-14 16:30
Odaily đưa tin, Aptos đã đăng trên nền tảng X rằng Aptos là L1 đầu tiên hỗ trợ xác minh hình thức lập lịch động, có thể chứng minh bằng toán học rằng nó hoạt động theo đúng thiết kế. Aptos cho biết, AI viết thông số kỹ thuật, toán học chứng minh tính đúng đắn của nó, Move Prover đóng vai trò như một nhà tiên tri, đây là lớp tin cậy giữa thị trường và máy móc.
