该论文提出并实现了一种名为 Unicity 的新型区块链基础设施，其核心目标是支持用户进行链下（off-chain）点对点代币交易，同时防止代币的平行状态（即双重支付），并保持区块链本身的极简复杂度与存储开销。基础设施的关键组件是聚合层（Aggregation Layer），它负责存储代币已花费状态的信息，并向用户提供关于无双重支付的紧凑密码学证明，且无需牺牲任何信任假设。聚合层本质上是一个二层（Layer 2）服务，维护一个仅追加（append-only）的键值存储库，并周期性通过被称为共识层（Consensus Layer）的传统区块链来认证其状态。在每一轮状态变更时，聚合层需向共识层提供密码学证明，以证明键值存储的仅追加一致性。论文采用 Radix 稀疏默克尔树（RSMT）生成每一轮 i 的存储摘要 r_i，并构造特殊类型的认证路径，以证明下一轮摘要 r_{i+1} 仅通过向存储库中添加若干键值对 (k,v) 得到。证明验证代码实现为代数中间表示（AIR）电路，构建在 Plonky3 STARK 工具包之上。该实现无需可信设置，在单台普通消费级 CPU 上可达到每秒 10000 次插入的吞吐量，验证时间在毫秒级范围内。论文的主要贡献在于设计了一个无需信任的聚合层，兼顾可扩展性、安全性和低存储成本，为链下交易提供实用的双重支付防护方案。该研究适合对区块链扩容、二层协议、密码学证明（STARK/Merkle 树）以及去中心化系统安全感兴趣的从业者阅读。

本文提出Unicity执行层（Unicity Execution Layer），作为Unicity框架的一个模块化组件，旨在实现安全的链下交易，同时保持无需信任的双花预防。论文首先建立了形式化安全模型，其中代币所有权由公钥表示，转移需要数字签名。作者证明了三个基本安全属性：（1）无双花——每个代币状态最多只能被花费一次；（2）无阻塞——只有合法所有者才能阻止代币被花费；（3）服务端隐私——Unicity服务无法将不同交易关联到同一代币。针对用户端隐私，引入了广义多公钥签名方案，允许一个秘密生成多个不可链接的公钥，并提供了交互式和非交互式具体实例化，从而实现使用稳定公共身份的私密交易，且密钥管理开销最小。该工作通过形式化方法确保了链下执行的安全性和隐私保护，为扩展区块链吞吐量提供了理论支撑。适合区块链安全研究人员、分布式系统开发者以及关注隐私保护的密码学从业者阅读。