Unicity: Predicates and Atomic Swaps

Follow-up paper to the Unicity Execution Layer. It generalizes token ownership from public-key signatures to programmable predicates and shows how this model supports trustless atomic swaps.

Download

• Latest PDF: unicity-predicates.pdf
• Source repository: github.com/unicitynetwork/unicity-predicates-tex

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.

Unicity Paper Map

• Unicity Whitepaper (PDF) - protocol overview, tokenomics, and network architecture.
• Unicity Yellowpaper (PDF) - low-level protocol specification, including consensus-layer engineering details, data availability, and aggregation shard operation.
• Unicity Infrastructure: the Aggregation Layer / Unicity Bluepaper (PDF) - aggregation-layer design, sharded SMT commitments, inclusion and non-inclusion proofs, and the ZK consistency proof model.
• Unicity Execution Layer (PDF) - off-chain transaction execution, service-side privacy, user-wallet privacy, and formal security proofs.
• Unicity: Predicates and Atomic Swaps (PDF) - programmable spending conditions and trustless atomic swaps on top of the execution layer and the predicate framework.