Vista General
El Move Prover soporta especificación formal y verificación de código Move. El Move Prover puede validar automáticamente propiedades lógicas de contratos inteligentes Move mientras ofrece una experiencia de usuario similar a un verificador de tipos o linter.
El Move Prover existe para hacer los contratos más confiables; él:
- Protege activos masivos gestionados por la blockchain de Aptos de bugs de contratos inteligentes
- Protege contra adversarios bien financiados
- Anticipa escrutinio regulatorio justificado y requisitos de cumplimiento
- Permite a expertos en el dominio con un fondo matemático, pero no necesariamente un fondo de ingeniería de software, entender qué hacen los contratos inteligentes
Para más información, consulta la documentación: