Comandos del CLI

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.achb

Banderas

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 plonkish

---

circuit — 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.achb

Banderas

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.ach

---

repl — Modo interactivo

Inicia un bucle interactivo de Lectura-Evaluación-Impresión. (Aún no implementado.)