Modo Dual
ach run ejecuta tu programa. ach circuit lo compila a restricciones ZK. Misma sintaxis, dos objetivos.
Achronyme
Escribe código. Demuestra partes de él. El mismo lenguaje para ejecución y circuitos ZK — sin DSL separado, sin cambio de contexto.
Dos Backends
R1CS para Groth16. Plonkish para KZG-PlonK. Elige el sistema de pruebas que se adapte.
Pruebas en Línea
prove {} compila, genera testigos y prueba — todo en línea. Sin herramientas externas.
Compatible con snarkjs
Exporta archivos .r1cs y .wtns. Conéctalos directamente a snarkjs para generación de pruebas Groth16.