- Introducción
- Requisitos
- Instalación
- Compilación y Ejecución
- Comandos Rápidos
- Conclusiones
- Recursos Adicionales
Bienvenido a la Guía en español de Lambdaworks STARKs Prover Platinum. En esta guía, aprenderás cómo instalar el Lambdaworks STARKs Prover Platinum, una herramienta en desarrollo para demostrar la validez de ciertos programas escritos en el lenguaje Cairo.
Antes de empezar, asegúrate de tener instalado Cargo 1.69 o una versión posterior.
Para empezar, clona el repositorio del Lambdaworks STARKs Prover Platinum en tu máquina local, puede clonar la repo oficial:
- Por Github CLI
gh repo clone lambdaclass/lambdaworks_stark_platinum- Por SSH
git clone git@github.com:lambdaclass/lambdaworks_stark_platinum.git- También puede clonar este repositorio en el que ya tendrá las archivos en
CASMyJSON.
gh repo clone Nadai2010/Lambda-Guia-Platinum
Una vez que hayas clonado el repositorio, si deseas utilizar programas Cairo (Cairo 1) en lugar de Cairo 0, deberás clonar la librería de Cairo y añadir la versión compatible en este momento v1.1.0. Para ello, primero clonamos:
git clone https://github.com/starkware-libs/cairoLuego iremos a la carpeta de Cairo que acabamos de clonar y ejecutamos:
cd cairogit checkout v1.1.0
Ahora debes convertir el programa Cairo en un archivo JSON usando el comando starknet-compile, y luego en CASM usando el comando starknet-sierra-compile. A continuación, se muestra el procedimiento:
cargo run --bin starknet-compile -- ./examples/fibonacci_cairo1.cairo ./examples/fibonacci_cairo1.jsoncargo run --bin starknet-sierra-compile -- ./examples/fibonacci_cairo1.json ./examples/fibonacci_cairo1.casm
Luego puedes probar el prover y el verificador usando el comando make prove y make verify, respectivamente. Asegúrate de especificar la ruta correcta del programa Cairo que deseas probar o verificar y la ruta de salida, en nuestro caso movimos el archivo CASM a la raíz del proyecto y ejecutamos:
make prove PROGRAM_PATH=fibonacci_cairo1.casm PROOF_PATH=fibonacci_proof
make verify PROOF_PATH=fibonacci_proof
Si deseas ejecutar todos los pasos anteriores en un solo comando, puedes usar el siguiente comando rápido:
make run_all PROGRAM_PATH=fibonacci_cairo1.cairo
En esta guía, has aprendido cómo utilizar el Lambdaworks STARKs Prover Platinum para probar y verificar programas escritos en Cairo. Recuerda que esta herramienta aún está en desarrollo y puede contener errores. Si encuentras algún problema, no dudes en revisar las issues o esperar a que se resuelvan antes de utilizarla en un entorno de producción.
Esperamos que esta guía te haya sido útil y te ayude a explorar el emocionante mundo de los STARKs y la demostración de la validez de programas en Cairo. ¡Diviértete probando y verificando tus programas!