Roadmap vivo - actualizado ago 2026

Roadmap

Releases publicados, recibos exactos del source e investigación futura se etiquetan por separado.

Ene 2026 Inicio

v0.1.2 Core estable

cd7a6e66 Revisión del core

v0.3.1 Editor estable

v0.1.2 Web estable

Publicado v0.0.1 · Empaquetado Linux nativo, JIT, AOT y artefactos reproducibles del instalador.

Base 0.0.1

Ejecución nativa y empaquetado reproducible

El release 0.0.1 publicado incluye LLVM JIT, fallback al intérprete, bundles AOT, checksums y gates Linux x86_64/aarch64.

arrow_right_alt Publicado v0.1.2 · Publicado · Ver release arrow_outward

Pipeline de pruebas first-class

Bloques prove, ProveIR, exportación R1CS e interoperabilidad separada forman parte de la línea estable.

arrow_right_alt stable · ProveIR

Generación de verificador Solidity

Genera contratos Groth16 y exporta artefactos estándar para verificación externa.

arrow_right_alt Groth16 verifier

Optimización compatible con Circom

Achronyme baja circuitos nativos e importados mediante optimización comprobada y validación del witness.

arrow_right_alt checked optimization

Publicado 0.1.2 · La verificacion separada conserva errores operativos y aplica el contrato global de salida JSON.

0.1.2 publicado

Concurrencia estructurada y autoridad del host

El release 0.1.0 agrega scopes de tareas, canales acotados, recursos con propietario, grants exactos y semántica compartida entre intérprete, JIT y AOT.

concurrent check spawn check await check owned I/O check runtime limits check

arrow_right_alt Notas del release v0.1.2 · Notas del release arrow_outward

// lexical task ownership
let total = concurrent {
  let left = spawn work(10)
  let right = spawn work(11)

  await left
    + await right
}

// children cannot outlive the scope

Límite de proving confiable

Generar pruebas falla de forma cerrada, las llaves de producción quedan ligadas al circuito y la evidencia independiente de ceremonia se preserva con el release.

bolt phase 2 + beacon + interop

Siguiente siguiente · Estabilizar SDK y distribución del editor a partir de uso medido.

Despues de 0.1.2

Distribución de editor y documentación

La linea 0.3.1 del editor, el playground, la referencia y los artefactos estan ligados a la misma semantica del core.

check editor v0.3.1 · docs aligned

Superficie de embedding estable

Convertir el compilador y pipeline internos en un SDK pequeño y documentado después de estabilizar contratos de release.

radio_button_unchecked post-0.1.0 SDK

Exploratorio v0.x · Ideas acotadas, no compromisos de release.

Horizonte de investigación

Sistemas de prueba transparentes

Explorar backends AIR y STARK sin presentar investigación como un release comprometido.

radio_button_unchecked research scoped · Plonky3

Frontends de circuitos adicionales

Evaluar Noir u otros frontends solo cuando reutilicen ProveIR sin debilitar diagnósticos ni límites de confianza.

radio_button_unchecked post-Circom

SDK Rust

Exponer una API estable de embedding después de que uso downstream real revele la superficie mínima.

radio_button_unchecked after measured usage

Objetivo v1.0.0 · API congelada y garantías de compatibilidad hacia atrás.

Objetivo estable

API estable 1.0

Congelar especificación del lenguaje, política de compatibilidad de bytecode y contratos públicos del SDK.