Theo ChainCatcher, Aptos đã tuyên bố trong một bài báo được đăng trên nền tảng X rằng Aptos là thuật toán L1 đầu tiên hỗ trợ xác minh chí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 đúng như thiết kế. Aptos khẳng định rằng AI viết ra các thông số kỹ thuật, chứng minh tính đúng đắn của chúng bằng toán học, và Move Prover là oracle, đóng vai trò là lớp tin cậy giữa thị trường và máy móc.
Aptos trở thành hệ thống L1 đầu tiên hỗ trợ xác minh chính thức việc lập lịch động.
Bài viết này được dịch máy
Xem bản gốc
Khu vực:
Nguồn
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
