未经测试，但已验证。适用于所有输入。在主网之前。 Aptos Move Prover——市场和机器的信任层。