Comandos del CLI

Referencia de comandos del CLI de Achronyme.

Banderas Globales

Estas banderas aplican a todos los subcomandos:

init — Crear un proyecto nuevo

Genera un proyecto Achronyme nuevo con achronyme.toml, directorio de fuentes, y .gitignore.

ach init my-circuit
ach init my-app --template vm

Argumentos

Banderas

Plantillas

• circuit — Un circuito independiente con declaraciones public/witness y assert_eq
• vm — Un programa de propósito general con print()
• prove — Un programa mixto con un bloque inline prove {}

Estructura generada

my-circuit/
├── achronyme.toml
├── src/
│   └── main.ach
└── .gitignore

Ver Configuración del Proyecto para la referencia de achronyme.toml.

run — Ejecutar un programa

Corre un archivo fuente Achronyme (.ach) o binario compilado (.achb).

ach run script.ach
ach run script.achb
ach run                # usa [project].entry de achronyme.toml

Si se omite <path>, el CLI resuelve el archivo de entrada desde [project].entry en achronyme.toml.

Banderas

Ejemplos

ach run hello.ach
ach run hello.ach --prove-backend plonkish
ach run hello.ach --max-heap 256M --gc-stats
ach run                              # desde un proyecto con achronyme.toml

circuit — Compilar un circuito ZK

Compila un archivo fuente Achronyme a constraints R1CS/Plonkish y genera un testigo.

ach circuit circuit.ach --inputs "x=42,y=7"
ach circuit --inputs "x=42,y=7"    # usa entry de achronyme.toml

Ver Opciones de Circuito para todas las banderas disponibles.

circom — Compilar un archivo .circom

Compila un archivo fuente Circom 2.x a través del frontend de Achronyme, produciendo los mismos artefactos .r1cs/.wtns que circuit y opcionalmente una prueba Groth16. Úsalo para correr templates de circomlib (o tus propios proyectos .circom) sin salir de la cadena de herramientas Achronyme.

ach circom poseidon.circom --inputs "in=42"
ach circom merkle.circom --inputs "root=0x...,leaf=42" --prove --solidity Verifier.sol
ach circom -l vendor/circomlib/circuits sha256.circom --input-file inputs.toml

Banderas

Resolución de librerías

El lookup de include recorre primero los directorios --lib, luego [circom].libs del manifest del proyecto, y finalmente el directorio del propio archivo. Ver Importando Templates para el modelo de resolución completo.

compile — Compilar a bytecode

Compila un archivo fuente Achronyme a un binario (.achb) que puede correrse con ach run.

ach compile script.ach --output script.achb
ach compile --output script.achb   # usa entry de achronyme.toml

Banderas

disassemble — Mostrar bytecode

Desensambla un archivo fuente o binario Achronyme, mostrando las instrucciones de bytecode.

ach disassemble script.ach
ach disassemble                    # usa entry de achronyme.toml

inspect — Abrir el inspector de circuitos

Compila un circuito (o un bloque prove {} con nombre) y sirve una página HTTP local que visualiza el DAG del IR, los valores del testigo y estadísticas de constraints. El UI del inspector (Astro+D3) vive en el repo achronyme-inspector y se distribuye embebido para uso offline.

ach inspect circuit.ach --inputs "x=42"
ach inspect script.ach --prove main_block --inputs "secret=7"
ach inspect --bind 127.0.0.1 --port 3000

Banderas