Instalar el Move Prover
Si quieres usar el Move Prover, instala las dependencias del Move Prover después de instalar el binario del CLI. Hay dos formas de instalar las dependencias del Prover.
Instalación a través del CLI de Aptos (Recomendado)
Sección titulada «Instalación a través del CLI de Aptos (Recomendado)»-
Ejecuta el comando
aptos update prover-dependencies
.
Instalación a través de aptos-core
(No Recomendado)
Sección titulada «Instalación a través de aptos-core (No Recomendado)»-
Luego, en el directorio aptos-core clonado, instala herramientas Move adicionales:
Linux / macOS
- Abre una sesión de Terminal.
- Ejecuta el script de configuración de desarrollo para preparar tu entorno:
./scripts/dev_setup.sh -yp
- Actualiza tu entorno de shell actual:
source ~/.profile
Windows
- Abre una terminal de PowerShell como administrador.
- Ejecuta el script de configuración de desarrollo para preparar tu entorno:
PowerShell -ExecutionPolicy Bypass -File ./scripts/windows_dev_setup.ps1 -y
Después de la instalación, puedes ejecutar el Move Prover para probar un ejemplo:
aptos move prove --package-dir aptos-move/move-examples/hello_prover/
Resolución de Problemas
Sección titulada «Resolución de Problemas»Si encuentras errores como el de abajo al ejecutar el comando, verifica tu versión del CLI de Aptos o verifica que estés usando la herramienta aptos
correcta, especialmente si tienes múltiples versiones instaladas.
error: unexpected token ┌─ ~/.move/https___github_com_aptos-labs_aptos-core_git_main/aptos-move/framework/aptos-framework/sources/randomness.move:515:16 │515 │ for (i in 0..n) { │ - ^ Expected ')' │ │ │ To match this '('
{ "Error": "Move Prover failed: exiting with model building errors"}