Opciones de Circuito

Uso

ach circuit <ruta> [opciones]

Valores de Entrada

Bandera	Descripción
--inputs <vals>	Pares clave=valor separados por comas (ej., --inputs "a=6,b=7,c=42")
--input-file <ruta>	Archivo TOML con valores de entrada (arrays soportados nativamente)

Los valores se parsean como elementos del campo BN254. Soporta decimal, hex (0xFF) y valores negativos. Las dos banderas son mutuamente excluyentes.

Archivo TOML de entradas

Para circuitos con parámetros de array, --input-file evita la convención _N:

inputs.toml

root = "7853200120375982..."
leaf = "1"
path = ["2", "3"]
indices = ["0", "1"]

ach circuit merkle.ach --input-file inputs.toml

Los arrays TOML se expanden a path_0, path_1, etc. internamente. Se aceptan valores como string ("42") o entero (42).

Selección de Backend

Bandera	Descripción
--backend <backend>	Backend de restricciones: r1cs (predeterminado) o plonkish

Backend R1CS (predeterminado)

Genera archivos .r1cs y .wtns compatibles con snarkjs.

Backend Plonkish

Genera puertas Plonkish, lookups y restricciones de copia. Verifica localmente (sin exportación binaria aún).

Generación de Pruebas

Bandera	Descripción
--prove	Generar una prueba criptográfica después de compilar y verificar
--solidity	Generar un contrato verificador Solidity (solo R1CS/Groth16)

Optimización

Bandera	Descripción
--no-optimize	Omitir pases de optimización del IR SSA (plegado de constantes, DCE, propagación booleana)

Ejemplos

# Salida R1CS con inputs inline
ach circuit circuit.ach --inputs "x=42,y=7"

# Inputs desde archivo TOML
ach circuit circuit.ach --input-file inputs.toml

# Backend Plonkish
ach circuit circuit.ach --backend plonkish --inputs "x=42"

# Generar prueba Groth16
ach circuit circuit.ach --inputs "x=42,y=7" --prove

# Generar verificador Solidity
ach circuit circuit.ach --inputs "x=42,y=7" --solidity

# Compilación sin optimizar
ach circuit circuit.ach --inputs "x=42" --no-optimize

Archivos de Salida (R1CS)

Archivo	Descripción
circuit.r1cs	Sistema de restricciones R1CS (formato binario iden3 v1)
witness.wtns	Valores del testigo (formato binario iden3 v2)

Ambos archivos son compatibles con snarkjs:

snarkjs r1cs info circuit.r1cs
snarkjs wtns check circuit.r1cs witness.wtns