FieldBackend generico
Pipeline de restricciones monomorfizado sobre F: FieldBackend. BN254, BLS12-381 y Goldilocks compilan nativamente. 162 tests E2E cross-curva.
Roadmap vivo · actualizado abr 2026
Roadmap
Recibos reales, no promesas. Hitos versionados, commits enviados, y lo que sigue.
Ene 2026 Inicio
v0.1.0-beta.19 Actual
11 crates
2,700+ tests
0 deps JS
Lanzado v0.1.0-beta.19 · Ultimo release estable.
Ahora en produccion
Pipeline ProveIR
Plantillas de circuito pre-compiladas serializadas en bytecode. Los bloques prove {} son valores first-class.
beta.14 · 186+ tests
Generacion de verificadores Solidity
Exporta contratos verificadores Groth16 para verificacion on-chain en Ethereum.
Groth16 verifier
Optimizador R1CS v2
Heuristica de frecuencia, eliminacion de lineales tautologicas, eliminacion gaussiana, plegado de constantes BN254. EscalarMulAny 3.6x mas rapido.
3.6x perf gain
En progreso v0.1.0-beta.20 · Rama: feature/circom-frontend
Desarrollo activo
Frontend Circom
Importa templates .circom y circomlib (Poseidon, MiMCSponge, EdDSA, BabyJubjub) directamente. Conteos de restricciones igualan circom O2 o lo superan — Num2Bits 9 vs 17, LessThan 10 vs 20.
Poseidon MiMCSponge EscalarMulAny BabyJubjub EdDSA · pending
// import circomlib directly
use circom "poseidon.circom"
let hash = Poseidon(2)
.compute([secret, salt])
prove(hash: Public) {
assert_eq(
Poseidon(2).hash([secret, salt]),
hash
)
}
// 240 constraints — matches O2Suite adversarial de soundness
Tests que intentan forjar pruebas demuestran que las reducciones de restricciones son ganancias reales de plegado LC, no bugs de under-constraining.
4 forge-attempt tests
Planeado v0.3.0 · Playground en el navegador.
Siguiente hito
Playground Web
Compilador + VM compilados a WASM corriendo en el navegador. Escribe, ejecuta y prueba circuitos online — sin instalar. Viabilidad WASM verificada en beta.16.
WASM feasibility verified · beta.16
VM multi-campo
Runtime de la VM parametrizado sobre FieldBackend. Los bloques prove {} usan aritmetica nativa del campo para cualquier curva.
blocked by VM single-field assumption
Exploratorio v0.x · Investigado, dimensionado, sin iniciar.
En el horizonte
Backend STARK (Goldilocks)
Backend de restricciones AIR usando Plonky3 para pruebas STARK transparentes sobre el campo Goldilocks — sin trusted setup.
research scoped · Plonky3
Frontend Noir
Importa programas Noir como modulos ProveIR. Usa circuitos Noir existentes dentro de Achronyme junto con Circom.
post-Circom
SDK Rust (cargo add)
Embebe el runtime de Achronyme en apps Rust via crate. Proc-macros, interop completa. Apunta a devs Rust, no solo a ingenieros ZK.
3-phase plan
Objetivo v1.0.0 · Congelamiento del API + garantias de compatibilidad.
Objetivo estable
API estable 1.0
Congelamiento de especificacion del lenguaje, garantias de compatibilidad hacia atras y formato de bytecode estable.