Authoring Protocols

This section is for protocol authors — the people writing .tx3 files that describe a UTxO protocol’s interface. You declare the parties involved, the assets at stake, the transaction templates a user can invoke, and the rules each one must satisfy. The Tx3 toolchain parses, type-checks, and analyses your file, and emits a publishable interface artifact (the TII) that downstream applications consume.

If instead you’re building an application that uses an existing Tx3 protocol, see Consuming Protocols.

Quick Start Write your first .tx3 protocol — a simple Ada transfer — and run it on a local devnet.

Language Guide Reference for every top-level declaration, transaction block, and expression form.

Example Catalog Idiomatic .tx3 snippets organised by use-case: transfers, mints, vesting, swaps, state machines.

Local Devnet Run an ephemeral Cardano devnet to invoke and inspect transactions during development.

Testing Write TOML test scenarios that exercise your transactions against a managed devnet.