Move Prover

Move Prover 支持 Move 代码的形式化规范与验证。Move Prover 能够自动验证 Move 智能合约的逻辑属性，并提供类似类型检查器或 linter 的用户体验。

Move Prover 的目标是让合约更加 值得信赖 ；它：

• 保护 Aptos 区块链上管理的大量资产免受智能合约漏洞影响
• 防范资源充足的攻击者
• 满足合理的监管审查和合规要求
• 让具有数学背景但不一定具备软件工程背景的领域专家能够理解智能合约的行为

如需了解更多信息，请参阅以下文档：

• 安装
• Move Prover 用户指南
• Move 规范语言
• Move Prover 支持资源