[论文解读] Cerberus: Minimalistic Multi-shard Byzantine-resilient Transaction Processing

Jelle Hellings, Daniel P. Hughes+2 more|arXiv (Cornell University)|Aug 10, 2020

Blockchain Technology Applications and Security参考文献 39被引用 6

一句话总结

Cerberus 提出了一种极简、高度可扩展的框架，用于在分布式账本中实现拜占庭容错的多分片事务处理，利用 UTXO 语义以最小化协调开销。它引入了 Core-Cerberus，以在良性条件下实现最佳性能；Optimistic-Cerberus，实现低延迟的乐观执行并具备攻击恢复能力；以及 Pessimistic-Cerberus，以在对抗性环境中提供强健性——在每个分片每笔事务仅需一到两个共识步骤的情况下实现高吞吐量。

ABSTRACT

To enable high-performance and scalable blockchains, we need to step away from traditional consensus-based fully-replicated designs. One direction is to explore the usage of sharding in which we partition the managed dataset over many shards that independently operate as blockchains. Sharding requires an efficient fault-tolerant primitive for the ordering and execution of multi-shard transactions, however. In this work, we seek to design such a primitive suitable for distributed ledger networks with high transaction throughput. To do so, we propose Cerberus, a set of minimalistic primitives for processing single-shard and multi-shard UTXO-like transactions. Cerberus aims at maximizing parallel processing at shards while minimizing coordination within and between shards. First, we propose Core-Cerberus, that uses strict environmental requirements to enable simple yet powerful multi-shard transaction processing. In our intended UTXO-environment, Core-Cerberus will operate perfectly with respect to all transactions proposed and approved by well-behaved clients, but does not provide any guarantees for other transactions. To also support more general-purpose environments, we propose two generalizations of Core-Cerberus: we propose Optimistic-Cerberus, a protocol that does not require any additional coordination phases in the well-behaved optimistic case, while requiring intricate coordination when recovering from attacks; and we propose Pessimistic-Cerberus, a protocol that adds sufficient coordination to the well-behaved case of Core-Cerberus, allowing it to operate in a general-purpose fault-tolerant environments without significant costs to recover from attacks. Finally, we compare the three protocols, showing their potential scalability and high transaction throughput in practical environments.

研究动机与目标

• 解决传统基于共识的区块链在高性能分布式账本系统中面临的可扩展性和吞吐量限制。
• 设计一种极简、协调高效的原原子 primitive，用于在分片化 DLT 网络中处理多分片 UTXO 类事务。
• 通过协议变体支持高性能的乐观执行和对抗环境下的强健容错能力。
• 在最小化协调开销的前提下，实现跨分片的高效、可扩展且容错的事务处理。

提出的方法

• Core-Cerberus 利用严格的环境假设，使正常客户端在每个分片仅需一次共识步骤即可完成处理，从而最大化并行性并最小化协调开销。
• Optimistic-Cerberus 在无故障情况下消除了额外的协调阶段，仅在发生攻击时依赖恢复机制。
• Pessimistic-Cerberus 在正常操作中增加轻量级协调，以确保容错性，同时避免高昂的恢复成本。
• 这些协议基于 PBFT 构建，但设计为与底层共识协议无关，可与 HotStuff 等其他协议集成。
• 支持乱序事务处理，以提升吞吐量并降低延迟，尤其在高负载场景下表现更优。
• 设计充分利用 UTXO 语义，以减少事务依赖关系，并实现高效的跨分片协调。

实验结果

研究问题

• RQ1 如何在保持拜占庭容错性的同时，最小化多分片事务处理的协调成本？
• RQ2 能否通过极简协议实现在每个分片每笔事务仅需一次共识步骤的分片化 DLT 中的高吞吐量与可扩展性？
• RQ3 如何在多分片环境中安全地结合乐观执行与容错恢复机制？
• RQ4 多分片事务处理中，性能、协调开销与容错性之间存在哪些权衡？

主要发现

• Core-Cerberus 在正常客户端行为良好的条件下，仅需每个分片每笔事务一次共识步骤，即可实现高吞吐量，从而实现最大并行性。
• Optimistic-Cerberus 通过避免额外的共识阶段，在正常操作中显著降低了协调开销，从而在良性环境中提升了延迟和吞吐量。
• Pessimistic-Cerberus 仅以极小的正常情况协调开销增加，提供了强大的容错能力，实现了强健性而不会造成显著性能下降。
• 这些协议设计为与底层共识协议无关，可与高性能实现（如优化后的 PBFT）无缝集成。
• 支持乱序处理显著提升了性能，尤其在高负载场景下，通过减少阻塞和延迟实现了更优表现。