Policies

This section explains the Tx3 syntax for policies.

Policies represent specific logic involved with a protocol. These are usually scripts on-chain that validate actions.

Definition

To define a named policy use the following syntax:

policy {Name};

If you have a static on-chain identifier for this policy use the following syntax:

policy {Name} = {Value};

Name: an alphanumeric string to identify a policy within the protocol.
Value: the on-chain identifier of the policy usually represented as the hash of the script.

A basic policy definition with name Validator:

party Validator;

A policy definition with a static on-chain identifier:

policy Vesting = 0xABCDEF;

Policies can be used to specify the owner for an input UTxO:

tx transfer(amount: Int) {
    input source {
        from: Validator,
    }
}

Policies can be used to specify the target for an output UTxO:

tx transfer(amount: Int) {
    output {
        to: Vesting,
    }
}