{"ID":2923695,"CreatedAt":"2026-06-02T04:05:25.881865328Z","UpdatedAt":"2026-06-04T12:39:57.127498422Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2606.02192","arxiv_id":"2606.02192","title":"Unicity: Predicates and Atomic Swaps","abstract":"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.","short_abstract":"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...","url_abs":"https://arxiv.org/abs/2606.02192","url_pdf":"https://arxiv.org/pdf/2606.02192v1","authors":"[\"Ahto Buldas\",\"Dirk Draheim\",\"Mike Gault\",\"Risto Laanoja\",\"Vladimir Rogojin\",\"Ahto Truu\"]","published":"2026-06-01T12:46:37Z","proceeding":"cs.CR","tasks":"[\"cs.CR\"]","methods":"[]","has_code":false}