Living roadmap - updated Aug 2026

Roadmap

Published releases, exact source receipts, and future research are labeled separately.

Jan 2026 Started

v0.1.2 Core stable

cd7a6e66 Core revision

v0.3.1 Editor stable

v0.1.2 Web stable

Published v0.0.1 · Native Linux packaging, JIT, AOT, and reproducible installer artifacts.

0.0.1 foundation

Native execution and reproducible packaging

The published 0.0.1 release provides LLVM JIT, interpreter fallback, native AOT bundles, checksums, and Linux x86_64/aarch64 production gates.

arrow_right_alt Released v0.1.2 · Published · View release arrow_outward

First-class proof pipeline

Proof blocks, ProveIR, R1CS export, and detached interoperability remain part of the stable product line.

arrow_right_alt stable · ProveIR

Solidity verifier generation

Generate Groth16 verifier contracts and export standard proof artifacts for external verification.

arrow_right_alt Groth16 verifier

Circom-compatible optimization

Achronyme lowers native and imported circuits through checked optimization and witness validation.

arrow_right_alt checked optimization

Published 0.1.2 · Detached verification now preserves operational errors and applies the global JSON output contract.

0.1.2 published

Structured concurrency and host authority

The 0.1.0 release adds lexical task scopes, bounded channels, owned resources, exact host grants, and shared interpreter/JIT/AOT semantics.

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

arrow_right_alt Release notes v0.1.2 · Release notes 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

Trusted proving boundary

Proof generation fails closed, production keys are circuit-bound, and independently verifiable ceremony evidence is preserved with the release.

bolt phase 2 + beacon + interop

Next next · Stabilize SDK and editor distribution from measured usage.

After 0.1.2

Editor and documentation distribution

The 0.3.1 editor line, playground, language reference, and release artifacts are pinned to the same core semantics.

check editor v0.3.1 · docs aligned

Stable embedding surface

Turn the internal compiler and proof pipeline into a small, documented SDK only after the release contracts settle.

radio_button_unchecked post-0.1.0 SDK

Exploratory v0.x · Scoped ideas, not release commitments.

Research horizon

Transparent proof systems

Explore AIR and STARK backends without presenting research as a committed release.

radio_button_unchecked research scoped · Plonky3

Additional circuit frontends

Evaluate Noir or other frontends only where they reuse ProveIR without weakening diagnostics or trust boundaries.

radio_button_unchecked post-Circom

Rust SDK

Expose a stable embedding API after real downstream use identifies the minimal supported surface.

radio_button_unchecked after measured usage

Target v1.0.0 · API freeze and backward-compatibility guarantees.

Stable target

1.0 stable API

Freeze the language specification, bytecode compatibility policy, and public SDK contracts.