The Unicity Execution Layer
It provides a formal security model and privacy-preserving mechanisms for blockchain-like systems, addressing double-spending and privacy for users and services.
The paper introduces the Unicity Execution Layer for secure off-chain transactions with trustless double-spending prevention, proving no double-spending, no blocking, and service-side privacy, and enabling private transactions with minimal key management overhead.
This paper introduces the Unicity Execution Layer, a modular component of the Unicity framework enabling secure off-chain transactions while maintaining trustless double-spending prevention. We present a formal security model where token ownership is represented by public keys and transfers require digital signatures. We prove three fundamental security properties: (1) no double-spending--each token state can be spent at most once, (2) no blocking--only the legitimate owner can prevent a token from being spent, and (3) service-side privacy--the Unicity Service cannot link transactions with the same token. The user-side privacy is addressed by introducing generalized multi-public-key signature schemes that allow one secret to generate multiple unlinkable public keys, and interactive and non-interactive concrete instantiations, enabling private transactions with stable public identity with minimal key management overhead.