Comandos del CLI
Referencia de comandos del CLI de Achronyme.
Banderas Globales
Estas banderas aplican a todos los subcomandos:
| Bandera | Descripción |
|---|---|
--error-format <fmt> | Formato de salida de diagnósticos: human (predeterminado), json, o short. Ver Diagnósticos y Advertencias |
run — Ejecutar un programa
Ejecuta un archivo fuente de Achronyme (.ach) o un binario compilado (.achb).
ach run script.ach
ach run script.achbBanderas
| Bandera | Descripción |
|---|---|
--stress-gc | Ejecutar GC en cada asignación (para pruebas) |
--prove-backend <backend> | Backend para bloques prove {}: r1cs (predeterminado) o plonkish |
Ejemplos
ach run hello.ach
ach run hello.ach --prove-backend plonkishcircuit — Compilar un circuito ZK
Compila un archivo fuente de circuito Achronyme en restricciones R1CS/Plonkish y genera un testigo.
ach circuit circuit.ach --inputs "x=42,y=7"Consulta Opciones de Circuito para todas las banderas disponibles.
compile — Compilar a bytecode
Compila un archivo fuente de Achronyme en un binario (.achb) que se puede ejecutar con ach run.
ach compile script.ach --output script.achbBanderas
| Bandera | Descripción |
|---|---|
--output <ruta> | Ruta del archivo de salida (requerido) |
disassemble — Mostrar bytecode
Desensambla un archivo fuente o binario de Achronyme, mostrando las instrucciones de bytecode.
ach disassemble script.achrepl — Modo interactivo
Inicia un bucle interactivo de Lectura-Evaluación-Impresión. (Aún no implementado.)