Aptos trở thành L1 đầu tiên hỗ trợ xác minh định dạng động theo lịch trình

Odaily Planet Daily đưa tin Aptos đã đăng bài trên nền tảng X cho biết, Aptos là L1 đầu tiên hỗ trợ xác thực định dạng động theo cách chính thức, có thể chứng minh bằng toán học rằng nó hoạt động theo thiết kế. Aptos nói rằng, AI viết chuẩn mực, chứng minh toán học về tính chính xác của nó, Move Prover chính là tiên tri, đây là lớp tin cậy giữa thị trường và máy móc.

APT-1,55%
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
Không có bình luận
  • Đã ghim