Technical Report: Analytical Modeling and Throughput Computation of Blockchain Sharding

TL;DR

This paper develops queueing-theoretic models to analytically compute the maximum throughput of sharded blockchains, considering different sharding strategies and their impact on scalability.

Contribution

It introduces new queueing models for blockchain sharding, providing closed-form solutions for maximum throughput under various configurations.

Findings

Maximum throughput depends on number of shards and transaction destinations.

Fully sharded blockchain achieves higher throughput than computation sharding.

Sharding extent significantly influences blockchain scalability.

Abstract

Sharding has shown great potential to scale out blockchains. It divides nodes into smaller groups which allow for partial transaction processing, relaying and storage. Hence, instead of running one blockchain, we will run multiple blockchains in parallel, and call each one a shard. Sharding can be applied to address shortcomings due to compulsory duplication of three resources in blockchains, i.e., computation, communication and storage. The most pressing issue in blockchains today is throughput. Hence, usually the main focus is to shard computation which leads to concurrent transaction processing. In this report, we propose new queueing-theoretic models to derive the maximum throughput of sharded blockchains. We consider two cases, a fully sharded blockchain and a computation sharding. In the former nodes are exclusive to each shard in terms of their responsibilities, i.e., block production, relaying and storage. In the latter though, only block production is exclusive and nodes relay and store every piece of information. We model each with a queueing network that exploits signals to account for block production as well as multi-destination cross-shard transactions. We make sure quasi-reversibility for every queue in our models is satisfied so that they fall into the category of product-form queueing networks. We then obtain a closed-form solution for the maximum stable throughput of these systems with respect to block size, block rate, number of destinations in transactions and the number of shards. Comparing the results obtained from the two introduced sharding systems, we conclude that the extent of sharding in different domains plays a significant role in scalability.