根据 Aptos，公链已成为首个支持动态调度形式化验证的 Layer 1，能够提供数学证明，证明其系统按设计运行。Aptos 表示，由 AI 生成的规范结合 Move Prover 作为预言机机制，构建了市场参与者与协议之间的信任层。