Expand description
§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.
Status: early development — this crate name is reserved. The umbrella API
(re-exporting the public jinn-* crates) is not published yet. Follow
development at https://github.com/hackphobic/jinn.