Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2606.02192 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910281753427968 |
|---|---|
| author | Buldas, Ahto Draheim, Dirk Gault, Mike Laanoja, Risto Rogojin, Vladimir Truu, Ahto |
| author_facet | Buldas, Ahto Draheim, Dirk Gault, Mike Laanoja, Risto Rogojin, Vladimir Truu, Ahto |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2606_02192 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Unicity: Predicates and Atomic Swaps Buldas, Ahto Draheim, Dirk Gault, Mike Laanoja, Risto Rogojin, Vladimir Truu, Ahto Cryptography and Security 68M25 H.0 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. |
| title | Unicity: Predicates and Atomic Swaps |
| topic | Cryptography and Security 68M25 H.0 |
| url | https://arxiv.org/abs/2606.02192 |