Search papers, labs, and topics across Lattice.
This paper extends the concept of Unicity token ownership by introducing programmable spending conditions known as predicates, which facilitate smart contract-like functionalities executed off-chain by relying parties. The authors establish that the security of the Unicity execution layer remains intact when reduced to the unforgeability of predicate families. They illustrate the practical application of this model by implementing trustless atomic swaps, showcasing the potential for enhanced transaction security and efficiency.
Programmable predicates enable trustless atomic swaps, revolutionizing off-chain transaction security without the need for consensus participants.
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.
