Roadmap
Lo que estamos construyendo y lo que viene despues.
Soporte multi-curva
FieldBackend generico en todo el pipeline. BN254, BLS12-381 y Goldilocks compilan nativamente.
Pipeline ProveIR
Plantillas de circuito pre-compiladas serializadas en bytecode. Los bloques prove {} son valores first-class.
Generacion de verificadores Solidity
Exporta contratos verificadores Groth16 para verificacion on-chain en Ethereum.
Playground Web
Compilador + VM compilados a WASM corriendo en el navegador. Escribe, ejecuta y prueba circuitos online.
VM multi-campo
Runtime de la VM parametrizado sobre FieldBackend. Los bloques prove {} usan aritmetica nativa del campo para cualquier curva.
Backend STARK (Goldilocks)
Backend de restricciones AIR usando Plonky3 para pruebas STARK transparentes sobre el campo Goldilocks.
Frontends Circom / Noir
Importa templates de Circom y programas Noir como modulos ProveIR. Usa circuitos existentes dentro de Achronyme.
API estable 1.0
Congelamiento de especificacion del lenguaje, garantias de compatibilidad hacia atras y formato de bytecode estable.