吳說獲悉，Aptos 表示，其成為首個支持對動態分發（dynamic dispatch）進行形式化驗證的 Layer 1 區塊鏈，可通過數學方法驗證相關機制是否按設計運行。Aptos 稱，開發者可借助 AI 編寫規範，並通過 Move Prover 對智能合約邏輯進行驗證，以提升鏈上程序的可驗證性與安全性。