Notas extensas sobre arquitectura de compiladores, runtimes y herramientas zero-knowledge.
Este artículo sigue una subasta de tres postores desde tareas TCP acotadas hasta una prueba Groth16 separada. Define con precisión la afirmación del circuito, separa las validaciones del host de las restricciones de la prueba, explica las cuatro entradas públicas y los nueve valores testigo, y registra los límites de seguridad y motores que exigen los contratos.
Achronyme separa scripting dinámico, generación de witness y emisión de constraints entre Akron, Artik y Lysis. Cada VM usa el modelo de memoria que requiere su trabajo en lugar de compartir un solo runtime de propósito general.
ProveIR compila un bloque prove como template de circuito paramétrico, lo guarda en el constant pool del bytecode y lo instancia con valores capturados en runtime. Este artículo sigue el template por clasificación, serialización, lowering a SSA, optimización y generación de constraints.
Un recorrido técnico por la ruta de circuitos de Achronyme: validación estática, lowering a SSA, optimización, layout del witness y los distintos modelos de costo de R1CS y Plonkish.
Una comparación entre bytecode de stack y de registros a partir de la primera reescritura de la VM de Achronyme. El diseño de registros agrandó cada instrucción, pero redujo los dispatches en las cargas medidas en ese momento.