We generalize Unicity token ownership to programmable spending conditions called predicates, enabling smart-contract like functionality executed off-chain directly by relying parties rather than by consensus participants. We prove that the security properties of the Unicity execution layer are preserved under reduction to predicate family unforgeability. To demonstrate the utility of the model, we show how to implement trustless atomic swaps by using predicates.

翻译：摘要：我们将唯一性代币所有权泛化为可编程支出条件，称为谓词，从而使类似智能合约的功能能够在链下直接由依赖方而非共识参与者执行。我们证明，唯一性执行层的安全属性在归约为谓词族不可伪造性时得以保留。为展示该模型的实用性，我们展示了如何通过使用谓词实现无需信任的原子交换。