Corpus ID: 233240986

A Tractable Probabilistic Approach to Analyze Sybil Attacks in Sharding-Based Blockchain Protocols

  title={A Tractable Probabilistic Approach to Analyze Sybil Attacks in Sharding-Based Blockchain Protocols},
  author={Hafid Abdelatif and Senhaji Hafid Abdelhakim and Samih Mustapha},
Blockchain like Bitcoin and Ethereum suffer from scalability issues. Sharding is one of the most promising and leading solutions to scale blockchain. The basic idea behind sharding is to divide the blockchain network into multiple committees, where each processing a separate set of transactions, rather than the entire network processes all transactions. In this paper, we propose a probabilistic approach to analyze the security of sharding-based blockchain protocols. Based on this approach, we… Expand

Figures and Tables from this paper

Sharding-Based Proof-of-Stake Blockchain Protocols: Security Analysis
The security of the second category of sharding is analyzed by computing the probability of committing a faulty block and measuring the number of years to fail, to show the effectiveness of the proposed model. Expand
Pravuil: Global Consensus for a United World
  • David Sánchez
  • Computer Science, Economics
  • IACR Cryptol. ePrint Arch.
  • 2021
Pravuil 1 is a robust, secure, and scalable consensus protocol for a permissionless blockchain suitable for deployment in an adversarial environment such as the Internet, leading to a more valuable and stable crypto-currency. Expand


New Mathematical Model to Analyze Security of Sharding-Based Blockchain Protocols
In recent years, the scalability issue of blockchain protocols has received huge attention. Sharding is one of the most promising solutions to scale blockchain. The basic idea behind sharding is toExpand
A Novel Methodology-Based Joint Hypergeometric Distribution to Analyze the Security of Sharded Blockchains
This methodology estimates the failure probability of one sharding round taking into consideration the failure probabilities of all shards, a novel methodology to analyze the security of these protocols (e.g., OmniLedger and RapidChain). Expand
A Methodology for a Probabilistic Security Analysis of Sharding-Based Blockchain Protocols
This paper analyzes the security of three Sharding-based protocols using tail inequalities for sums of bounded hypergeometric and binomial distributions and upper bound the failure probability for one committee and so for each epoch using head inequalities. Expand
On the Feasibility of Sybil Attacks in Shard-Based Permissionless Blockchains
It is shown that the PoW technique used for identifier or ID generation in the initial phase of the protocol is vulnerable to Sybil attacks, and a node with high hash-power can generate enough Sybil IDs to successfully compromise Elastico. Expand
RapidChain: Scaling Blockchain via Full Sharding
RapidChain is proposed, the first sharding-based public blockchain protocol that is resilient to Byzantine faults from up to a 1/3 fraction of its participants, and achieves complete sharding of the communication, computation, and storage overhead of processing transactions without assuming any trusted setup. Expand
A Secure Sharding Protocol For Open Blockchains
ELASTICO is the first candidate for a secure sharding protocol with presence of byzantine adversaries, and scalability experiments on Amazon EC2 with up to $1, 600$ nodes confirm ELASTICO's theoretical scaling properties. Expand
Scaling Blockchains: A Comprehensive Survey
This paper focuses on sharding as a promising first layer solution to the scalability issue and proposes a taxonomy based on committee formation and intra-committee consensus, and presents a performance-based comparative analysis of the advantages and disadvantages in existing scalability solutions. Expand
Applications of Blockchains in the Internet of Things: A Comprehensive Survey
This survey aims to shape a coherent and comprehensive picture of the current state-of-the-art efforts in this direction by starting with fundamental working principles of blockchains and how blockchain-based systems achieve the characteristics of decentralization, security, and auditability. Expand
Analysis of the Average Confirmation Time of Transactions in a Blockchain System
A type of non-exhaustive queueing model with a limited batch service and a possible zero-transaction service is established and the stationary probability distribution for the number of transactions in the system at the regeneration points is obtained. Expand
The blockchain paradigm when coupled with cryptographically-secured transactions has demonstrated its utility through a number of projects, with Bitcoin being one of the most notable ones, and Ethereum implements this paradigm in a generalised manner. Expand