Changelog

Version history for the Covenant language, compiler, and standard library. Semantic versioning applies to the language spec and stable CLI surface; internal compiler details may change between minor versions.

v0.7.0 — 2026-04-23 GA

First general-availability release. Language spec is frozen for the 0.7.x line. Compiler OMEGA V4 audit complete — all 41 findings resolved.

  • New Styx Protocol ERCs: 8227 (FHE Tokens), 8228 (Amnesia), 8229 (FHE Verify), 8231 (Post-Quantum).
  • Compiler: Nova IVC + Halo2 + Groth16 wrapping in the ZK backend.
  • LSP v1: hover, go-to-definition, diagnostics, completion, formatting.
  • Cookbook: 30+ production-ready recipes across tokens, auth, upgrades, privacy, integration, testing.
  • Migration guide from Solidity.

v0.6.0 — 2026-01-15

  • Introduced amnesia {} block with three-phase cleanup semantics.
  • CRYSTALS-Dilithium-5 (FIPS 204) as default signature scheme under @pq_signed.
  • BFV ciphertext serialization stabilized.
  • Breaking: renamed encrypt builtin to fhe_encrypt for consistency.

v0.5.0 — 2025-10-02

  • First public testnet release.
  • Core language: token, contract, field, action, guard, event, error.
  • covenant CLI shipped with build, test, deploy.

Unreleased — v0.8.0 (in development)

Planned for Q3 2026. See the V0.7 → V0.8 migration draft.

  • WASM target stabilization (currently gated under --experimental-wasm).
  • @async_action keyword for multi-block actions.
  • Revised FHE API with explicit BFV parameter selection.
  • Improved compiler diagnostics (serde-compatible JSON format).