Living roadmap · updated Apr 2026

Roadmap

Real receipts, not promises. Versioned milestones, shipped commits, and what comes next.

Jan 2026 Started

v0.1.0-beta.19 Current

11 crates

2,700+ tests

0 JS deps

Shipped v0.1.0-beta.19 · Latest stable release.

Now shipping

Generic FieldBackend

Monomorphized constraint pipeline over F: FieldBackend. BN254, BLS12-381, and Goldilocks compile natively. 162 E2E cross-prime tests.

arrow_right_alt Released v0.1.0-beta.19 · +43 commits · 2026-04-02 · View release arrow_outward

ProveIR pipeline

Pre-compiled circuit templates serialized in bytecode. prove {} blocks are first-class values.

arrow_right_alt beta.14 · 186+ tests

Solidity verifier generation

Export Groth16 verifier contracts for on-chain proof verification on Ethereum.

arrow_right_alt Groth16 verifier

R1CS optimizer v2

Frequency heuristic, tautological linear removal, Gaussian elimination, BN254 constant folding. EscalarMulAny 3.6x faster.

arrow_right_alt 3.6x perf gain

In Progress v0.1.0-beta.20 · Branch: feature/circom-frontend

Active development

Circom Frontend

Import .circom templates and circomlib (Poseidon, MiMCSponge, EdDSA, BabyJubjub) directly. Constraint counts match circom O2 or beat it — Num2Bits 9 vs 17, LessThan 10 vs 20.

Poseidon check MiMCSponge check EscalarMulAny check BabyJubjub check EdDSA · pending

bolt Branch: main · 180+ circom commits · View branch arrow_outward

// 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 O2

Adversarial soundness suite

Tests that try to forge proofs prove constraint deltas are real LC folding wins, not under-constrained bugs.

bolt 4 forge-attempt tests

Planned v0.3.0 · Browser playground.

Next milestone

Web Playground

WASM-compiled compiler + VM running in the browser. Write, run, and prove circuits online — no install. WASM feasibility verified beta.16.

radio_button_unchecked WASM feasibility verified · beta.16

Multi-field VM

VM runtime parameterized over FieldBackend. prove {} blocks use native field arithmetic for any curve.

radio_button_unchecked blocked by VM single-field assumption

Exploratory v0.x · Researched, scoped, not yet started.

On the horizon

STARK backend (Goldilocks)

AIR constraint backend using Plonky3 for transparent STARK proofs over the Goldilocks field — no trusted setup.

radio_button_unchecked research scoped · Plonky3

Noir frontend

Import Noir programs as ProveIR modules. Use existing Noir circuits inside Achronyme alongside Circom.

radio_button_unchecked post-Circom

Rust SDK (cargo add)

Embed the Achronyme runtime in Rust apps via crate. Proc-macros, full interop. Targets Rust devs, not just ZK engineers.

radio_button_unchecked 3-phase plan

Target v1.0.0 · API freeze + backwards-compat guarantees.

Stable target

1.0 stable API

Language specification freeze, backward compatibility guarantees, and stable bytecode format.