[论文解读] Building Scalable Decentralized Payment Systems

John R. Adler, Mikerah Quintyne-Collins|arXiv (Cornell University)|Apr 12, 2019

Blockchain Technology Applications and Security参考文献 31被引用 15

一句话总结

本文提出了一种基于乐观汇总的 Layer-2 扩容解决方案，采用具有合并共识的无许可侧链，以实现高交易吞吐量，同时保持父区块链的安全性和去中心化。通过实现链间信任最小化的资金转移，并优化区块传播与客户端实现，该系统在不增加全节点资源需求的前提下，突破了当前区块链的性能限制。

ABSTRACT

Increasing the transactional throughput of decentralized blockchains in a secure manner has been the holy grail of blockchain research for most of the past decade. This paper introduces a scheme for scaling blockchains while retaining virtually identical security and decentralization, colloquially known as optimistic rollup. We propose a layer-2 scaling technique using a permissionless side chain with merged consensus. The side chain only supports functionality to transact UTXOs and transfer funds to and from a parent chain in a trust-minimized manner. Optimized implementation and engineering of client code, along with improvements to block propagation efficiency versus currently deployed systems, allow use of this side chain to scale well beyond the capacities exhibited by contemporary blockchains without undue resource demands on full nodes.

研究动机与目标

• 为解决去中心化区块链当前每秒交易吞吐量仅 3–15 笔的局限性，同时保持强大的安全性和去中心化特性。
• 设计一种无需更改主网协议的 Layer-2 扩容方案，以实现更简便的部署与升级。
• 确保父链与侧链之间实现信任最小化的互操作性，以支持资产转移。
• 通过优化客户端代码与区块传播机制，降低全节点的资源消耗。
• 形式化定义区块链中的关键概念，如无信任性、安全性与活性，以减少研究与开发中的歧义。

提出的方法

• 使用仅支持 UTXO 交易及与父链之间实现信任最小化的资金转移的无许可侧链。
• 采用合并共识机制，通过提交链方案从父链借用安全性。
• 应用乐观汇总模型：默认假设交易有效，挑战期允许提交欺诈证明。
• 使用“拉取”机制实现单向或双向锚定，以在链间转移资产，最大限度减少对中间方的信任。
• 通过优化客户端实现与区块传播机制，降低全节点的延迟与资源使用。
• 依赖密码学哈希与数字签名，确保跨链数据的完整性与可验证性。

实验结果

研究问题

• RQ1 无许可侧链结合合并共识是否能在不牺牲去中心化或安全性的情况下实现区块链吞吐量的扩展？
• RQ2 如何在父链与侧链之间实现信任最小化的跨链资金转移？
• RQ3 为使高吞吐量侧链可行，需要哪些工程优化以避免过度增加全节点的负担？
• RQ4 如何通过最少的假设，形式化定义并保证侧链的安全模型？
• RQ5 区块传播效率在实现去中心化系统中可扩展、低延迟的交易处理方面发挥什么作用？

主要发现

• 所提出的结合合并共识的侧链在不修改父链协议的前提下，实现了远超当前比特币与以太坊等区块链的交易吞吐量。
• 通过提交链机制从父链借用安全性，该系统在安全性和去中心化特性上与父链保持一致。
• 优化后的客户端代码与区块传播机制显著降低了全节点的资源消耗，从而支持更广泛的参与与可扩展性。
• 通过“拉取”机制实现了信任最小化的资金转移，使用户无需依赖可信中间方即可在链间转移资产。
• 对安全性、活性与无信任性的形式化定义为评估未来区块链系统提供了严谨基础，避免了语义混淆。
• 该方案避免了以往方法的缺陷，如 Plasma（如大规模退出、证明膨胀）与通道方案（如参与者集合固定、需持续在线）。