Wu说获悉,Aptos 表示,其成为首个支持对动态分发(dynamic dispatch)进行形式化验证的 Layer 1 区块链,可通过数学方法验证相关机制是否按设计运行。Aptos 称,开发者可借助 AI 编写规范,并通过 Move Prover 对智能合约逻辑进行验证,以提升链上程序的可验证性与安全性。

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