Intents on the Extended UTxO Ledger

The extended (i.e. smart contract-enabled) UTxO cryptocurrency ledger comes with strong formal guarantees. However, this comes at the cost of inflexibility of specification of what a transaction does to the ledger state. We discuss a kind of application procedure for partially valid transactions, called "intent processing", to address this inflexibility but maintain certain formal guarantees.