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

قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.