V0.8 GA · April 2026

These docs cover Covenant V0.8 GA — WebAssembly target, cross-chain bridges, complete cryptographic amnesia, and a 15–30 % pGas reduction on FHE-heavy contracts. V0.7 → V0.8 migration guide. V0.7 content is frozen in the v0.7.0 git tag.

Covenant Language Docs

where cryptographic guarantees become language primitives

Covenant is a declarative smart contract language that compiles to EVM bytecode, Aster Chain, and WebAssembly. Post-quantum signatures, FHE, zero-knowledge proofs, and cryptographic amnesia are first-class language primitives.

Quick start

Fastest path · 30 seconds New

No install. The browser-based Covenant Playground compiles your contract via WebAssembly, deploys to MockChain (in-tab EVM) or Sepolia (real testnet via MetaMask), and ships a 12-lesson Tour and a verified Examples gallery.

Open Playground ↗ Take the Tour

Or build the CLI from source:

# build from source (silent-deploy — crates.io publish deferred)
git clone https://github.com/Valisthea/covenant-lang
cd covenant-lang
cargo build --release --bin covenant

# compile for EVM (default)
./target/release/covenant build my-contract.cov

# compile to WebAssembly (new in V0.8)
./target/release/covenant build my-contract.cov --target-chain wasm

Browse

  • Getting Started — Install the CLI and write your first contract
  • By Example — 15 annotated chapters from Hello Contract to Sepolia deployment
  • ERCs (Styx Protocol) — ERC-8227/8228/8229/8231 specifications
  • Compiler — Pipeline, IR, targets, diagnostics
  • LSP — IDE capabilities, 38+ lint detectors
  • Cookbook — 14 ready-to-deploy recipes: tokens, auth, privacy, upgrades
  • Security — OMEGA V4 audit: 41 findings, all resolved
  • Glossary — 100+ terms: keywords, types, FHE primitives, ZK, PQ

V0.8 GA highlights

  • WebAssembly backend — --target-chain wasm, deterministic, wasmparser-clean, new in V0.8
  • Cross-chain bridges — bridge … anchored_on [...], per-pair nonce anti-replay, ECDSA attestations, new in V0.8
  • Cryptographic amnesia (complete) — Wesolowski VDF + Shamir SSS + keccak-bound destruction proofs at precompiles 0x124–0x127, new in V0.8
  • Advanced optimizer — FHE coalescing, @precompute, noise-budget warnings, 15–30 % pGas reduction on FHE-heavy contracts
  • Multi-target — EVM (default), Aster Chain (ID 1996), WebAssembly
  • Post-quantum signatures — Dilithium5 (NIST FIPS 204), @pq_signed
  • FHE — encrypted<T>, fhe_add, fhe_mul, ERC-8227 compliant
  • ZK proofs — zk_prove / zk_verify, Nova IVC + Halo2, ERC-8229
  • LSP — 21+ security detectors in VS Code, Neovim, IntelliJ
  • OMEGA V4 audited — 41 findings, 5 Critical, all resolved; remain resolved in V0.8