据 Aptos 在 X 平台发文表示,Aptos 是首个支持动态调度形式化验证的 L1,可通过数学证明按设计运行。Aptos 称,AI 编写规范并数学证明其正确性,Move Prover 是市场与机器的信任层。