Abstract:Sharding is proposed to enhance blockchain scalability. However, a size-security dilemma where every shard must be large enough to ensure its security constrains the efficacy of individual shards and the degree of sharding itself. Most existing sharding solutions therefore rely on either weakening the adversary or making stronger assumptions on network links. This paper presents Arete, an optimally scalable blockchain sharding protocol designed to resolve the dilemma based on an observation that if individual shards can tolerate a higher fraction of (Byzantine) faults, we can securely create smaller shards in a larger quantity. The key idea of Arete, therefore, is to improve the security resilience/threshold of shards by dividing the blockchain's State Machine Replication (SMR) process itself. Similar to modern blockchains, Arete first decouples SMR in three steps: transaction dissemination, ordering, and execution. However, unlike other blockchains, for Arete, a single ordering shard performs the ordering task while multiple processing shards perform the dissemination and execution of blocks. As processing shards do not run consensus, each of those can tolerate up to half compromised nodes. Moreover, the SMR process in the ordering shard is lightweight as it only operates on the block digests. Second, Arete considers safety and liveness against Byzantine failures separately to improve the safety threshold further while tolerating temporary liveness violations in a controlled manner. Apart from the creation of more optimal-size shards, such a deconstructed SMR scheme also empowers us to devise a novel certify-order-execute architecture to fully parallelize transaction handling, thereby improving the performance of sharding systems. We implement Arete and evaluate it on a AWS environment by running up to 500 nodes, showing that Arete outperforms the state-of-the-art sharding protocol.

Challenges and Pitfalls of Partitioning Blockchains

Building blocks of sharding blockchain systems: Concepts, approaches, and open problems

A survey of state-of-the-art sharding blockchains: Models, components, and attack surfaces

Sharding for Scalable Blockchain Networks

Efficient State Sharding in Blockchain via Density-based Graph Partitioning

Divide and Scale: Formalization and Roadmap to Robust Sharding

Towards Scaling Blockchain Systems via Sharding

A Sharding Scheme Based on Graph Partitioning Algorithm for Public Blockchain

ShardingSim: A Modular Committee-Based Sharding Blockchain Simulator

Understanding the Transaction Placement Problem in Blockchain Sharding Protocols

SoK: Public Blockchain Sharding

Dynamically Sharded Ledgers on a Distributed Hash Table

State sharding model on the blockchain

Sharon: Secure and Efficient Cross-shard Transaction Processing via Shard Rotation

Advancing Blockchain Scalability: A Linear Optimization Framework for Diversified Node Allocation in Shards

Sharding Distributed Databases: A Critical Review

Enhancing Scalability of Trusted Blockchains through Optimal Sharding

Transaction Placement in Sharded Blockchains

Stable Blockchain Sharding under Adversarial Transaction Generation

Optimal Sharding for Scalable Blockchains with Deconstructed SMR

A $p/2$ Adversary Power Resistant Blockchain Sharding Approach