# jinn
**A verification-first language and framework for whole Cardano EUTXO protocols.**
Model a protocol once, then **prove** safety properties, **emit** the on-chain
validators (compiled directly to UPLC), and **derive** the off-chain transaction
builders — projections of one checked artifact that cannot drift.
> **Status: early development.** This crate is a **name reservation**; the umbrella
> API (re-exporting the public `jinn-*` crates) is not published yet.
## What it is
- **Language + compiler** — write protocols in a declarative surface; get
*safe-by-construction* UPLC validators, a CIP-57 blueprint, and off-chain builders.
- **Verification** — machine-checked proofs of value conservation,
double-satisfaction freedom, and protocol invariants.
Follow development at <https://github.com/hackphobic/jinn>.