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.8.0 — 2026-04-24 GA

WASM + Amnesia + Bridge + Advanced Optimizations. V0.8 rolls up V0.7.1 (WebAssembly backend + Cryptographic Amnesia) and V0.7.2 (Bridge module + Advanced Optimizations) into a single GA milestone. Fully backward compatible with V0.7 at the source level; OMEGA V4 audit findings remain resolved. Three targets (EVM, Aster Chain, WebAssembly) and a 22-crate workspace (was 19).

  • WebAssembly backend — covenant build contract.cov --target-chain wasm produces deterministic, wasmparser::validate-clean output. Runs in browsers and in wasmtime / wasmer.
  • Cryptographic amnesia complete — Wesolowski VDF, Shamir secret sharing, and keccak-bound destruction proofs lowered to dedicated precompiles at 0x124–0x127. Externally verifiable in pure Python via tools/verify_destruction_proof.py.
  • Cross-chain bridge module — bridge … anchored_on [...] synthesizes four canonical functions per bridge artifact (local_chain, nonce_for, mark_processed, is_processed) and emits one artifact per anchored chain. Per-pair nonce anti-replay, validator-set Merkle commitments, threshold ECDSA attestations.
  • Advanced optimizer — FHE coalescing, @precompute(keccak(...)) compile-time hash evaluation, noise-budget tracking (W701 / W702), @batch_up_to(N) bounded-loop annotation with W406 actionability check. 15–30 % pGas reduction on FHE-heavy contracts.
  • CLI bench — covenant bench --baseline gas_baselines.json … performs gas-regression checks against a committed baseline. Exits non-zero on regressions > 5 %.
  • Migration guide — V0.7 → V0.8 migration.

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.x follow-ups (in development)

Planned for Q3 2026. Additive to V0.8 GA; no breaking changes.

  • Generic Loop opcode — unblocks true @batch_up_to(N) unrolling.
  • Aggregate operator surface syntax (.sum, .count, .max, .argmax_by_address); IR-level lowering plan already reusable via covenant-stdlib::aggregates::lower_aggregate_plan.
  • Real TFHE key-switching precompile 0x0128.
  • Dilithium / BLS validator signatures for the bridge module (ECDSA secp256k1 is the V0.8 wire format).
  • Full Aster SDK lowering, replacing the COV7\x01 placeholder artifacts.
  • Halo2 destruction-proof variant (optional; the V0.8 keccak256 scheme remains canonical for ERC-8228).