jinn 0.0.1

Verification-first language and framework for whole Cardano EUTXO protocols (early development; name reserved).
Documentation
  • Coverage
  • 100%
    1 out of 1 items documented0 out of 0 items with examples
  • Size
  • Source code size: 3.68 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 230.86 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 3s Average build duration of successful builds.
  • all releases: 3s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Homepage
  • Repository
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • hackphobic

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.