[论文解读] Building Blocks of Sharding Blockchain Systems: Concepts, Approaches, and Open Problems

Yizhong Liu, Jianwei Liu+6 more|arXiv (Cornell University)|Feb 26, 2021

Blockchain Technology Applications and Security被引用 6

一句话总结

本文将分片区块链系统系统性地分解为七个核心组件——节点选择、时代随机性、节点分配、组内共识、跨分片事务处理、分片重组以及激励机制——提供了一个概念性框架，用于分析、设计和改进分片区块链系统，以实现更高的安全性和性能。

ABSTRACT

Sharding is the prevalent approach to breaking the trilemma of simultaneously achieving decentralization, security, and scalability in traditional blockchain systems, which are implemented as replicated state machines relying on atomic broadcast for consensus on an immutable chain of valid transactions. Sharding is to be understood broadly as techniques for dynamically partitioning nodes in a blockchain system into subsets (shards) that perform storage, communication, and computation tasks without fine-grained synchronization with each other. Despite much recent research on sharding blockchains, much remains to be explored in the design space of these systems. Towards that aim, we conduct a systematic analysis of existing sharding blockchain systems and derive a conceptual decomposition of their architecture into functional components and the underlying assumptions about system models and attackers they are built on. The functional components identified are node selection, epoch randomness, node assignment, intra-shard consensus, cross-shard transaction processing, shard reconfiguration, and motivation mechanism. We describe interfaces, functionality, and properties of each component and show how they compose into a sharding blockchain system. For each component, we systematically review existing approaches, identify potential and open problems, and propose future research directions. We focus on potential security attacks and performance problems, including system throughput and latency concerns such as confirmation delays. We believe our modular architectural decomposition and in-depth analysis of each component, based on a comprehensive literature study, provides a systematic basis for conceptualizing state-of-the-art sharding blockchain systems, proving or improving security and performance properties of components, and developing new sharding blockchain system designs.

研究动机与目标

• 通过分析分片作为关键架构解决方案，解决区块链三难问题（去中心化、安全性和可扩展性）。
• 识别并形式化地将分片区块链系统分解为具有明确定义接口和特性的模块化功能组件。
• 为每个组件提供全面的分类法，突出显示开放问题和研究空白。
• 分析安全威胁和性能瓶颈，如确认延迟和吞吐量限制，出现在分片设计中。
• 通过提出具体的开放问题和组件级改进与系统级组合的研究方向，为未来研究提供指导。

提出的方法

• 对150多个分片区块链系统进行系统性文献综述，以提取并分类设计模式和架构原则。
• 提出一种包含七个功能组件的模块化架构分解，每个组件具有明确的角色、接口和所需属性。
• 使用统一的概念性框架分析每个组件，识别关于系统模型和敌手能力的假设。
• 调查每个组件的现有方法，包括用于随机性和分配的密码学技术、共识协议以及跨分片协调机制。
• 评估组件级别的安全性和性能属性，重点关注拜占庭容错性、吞吐量、延迟和确认延迟。
• 将组件级别的分析整合到一种组合式设计方法中，实现组件的独立优化和分片系统的安全组合。

实验结果

研究问题

• RQ1 构成分片区块链系统的根本功能组件是什么？它们如何相互协作？
• RQ2 现有方法在每个组件（如节点分配、跨分片事务）的设计、安全假设和性能方面有何不同？
• RQ3 当前分片设计中的关键开放问题和漏洞是什么，特别是在安全性和确认延迟方面？
• RQ4 如何将组件级别的改进组合成一个安全且可扩展的端到端分片区块链系统？
• RQ5 哪些未来研究方向最有可能推动分片区块链系统技术的前沿发展？

主要发现

• 本文识别并形式化定义了七个对分片区块链系统至关重要的核心组件，为系统设计与分析提供了标准化的概念性框架。
• 每个组件（如时代随机性、跨分片事务处理）均存在多种现有方法，其在安全性、效率和容错性方面存在不同的权衡。
• 研究揭示了跨分片事务处理中的重大开放问题，包括高确认延迟以及对恶意分片协调的脆弱性。
• 安全风险如分片接管和Sybil攻击在当前设计中依然普遍存在，尤其是在节点分配或随机性生成机制薄弱时。
• 性能瓶颈，特别是跨分片通信和最终确认延迟方面，即使在高吞吐量的分片系统中也是主要关注点。
• 模块化分解使得各组件可独立改进而不损害整体系统安全性，为未来的研究与开发提供了可扩展的路径。