Move Prover 在 Aptos 上正式验证智能合约，在代码上线主网之前，通过数学证明其按设计运行。 内置于技术栈中，原生支持的第一方形式化验证——专属于 Aptos。