Roadmap
What we're building, and what's coming next.
Multi-prime field support
Generic FieldBackend across the full pipeline. BN254, BLS12-381, and Goldilocks compile natively.
ProveIR pipeline
Pre-compiled circuit templates serialized in bytecode. prove {} blocks are first-class values.
Solidity verifier generation
Export Groth16 verifier contracts for on-chain proof verification on Ethereum.
Web Playground
WASM-compiled compiler + VM running in the browser. Write, run, and prove circuits online.
Multi-field VM
VM runtime parameterized over FieldBackend. prove {} blocks use native field arithmetic for any curve.
STARK backend (Goldilocks)
AIR constraint backend using Plonky3 for transparent STARK proofs over the Goldilocks field.
Circom / Noir frontends
Import Circom templates and Noir programs as ProveIR modules. Use existing circuits inside Achronyme.
1.0 stable API
Language specification freeze, backward compatibility guarantees, and stable bytecode format.