Covenant Language Docs

where cryptographic guarantees become language primitives

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

Quick start

cargo install covenant-cli
covenant new my-contract
cd my-contract
covenant build

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.7 GA highlights

  • 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
  • Cryptographic amnesia — amnesia [object Object] blocks, ERC-8228 ceremony lifecycle
  • Multi-target — EVM, Aster Chain (ID 1996), WASM (experimental)
  • LSP — 38+ lint detectors in VS Code, Neovim, IntelliJ
  • OMEGA V4 audited — 41 findings, 5 Critical, all resolved