Diseño de lenguaje - Achronyme

Achronyme es un lenguaje y toolchain en Rust para ejecutar programas de host y compilar circuitos zero-knowledge. Akron ejecuta el lenguaje dinámico y los bloques prove; Artik corre programas auxiliares de witness; Lysis recorre el programa que emite constraints. Este caso documenta la versión pública v0.1.2.

Akron acepta un heap administrado para closures, strings y colecciones. Artik limita cada llamada a los registros declarados por su bytecode y evita un heap general durante la generación de witness. Lysis añade almacenamiento auxiliar con una sola escritura por slot para recorrer programas SSA grandes. La separación permite que cada máquina aplique su propia invariante.

El compilador construye una vez el template de cada bloque prove y lo serializa dentro del archivo .achb. En runtime, ProveIR resuelve las capturas, despliega la estructura necesaria y entrega un programa SSA al backend. Así evita repetir el parsing y detecta durante la compilación las construcciones que no pueden formar parte de un circuito. La generación de pruebas falla si no se selecciona una fuente de claves. El setup local se declara como opción de desarrollo y las claves Groth16 de producción se cargan desde un almacén ligado al circuito. Este caso se limita a la versión v0.1.2, a los artefactos enlazados y a las condiciones de confianza descritas aquí.