Aptos 发推表示，Aptos 成为首个实现动态分发（dynamic dispatch）形式化验证的 L1，可通过数学证明其按设计正确运行。Aptos 表示，AI 负责编写规范，Move Prover 通过数学方式证明其正确性。这为市场和机器提供了信任基础层。此外，Move 是唯一原生内置形式化验证的智能合约语言，现已扩展对动态分发的支持。