[Paper Review] Faithful Simulation of Randomized BFT Protocols on Block DAGs

Attiya, Hagit, Enea, Constantin+1 more|arXiv (Cornell University)|Dec 11, 2020

Blockchain Technology Applications and Security164 references57 citations

TL;DR

This paper presents a systematic analysis of DAG-based blockchain systems, proposing a generalized two-dimensional model that identifies six distinct design patterns. It evaluates these systems across structure, consensus, security, performance, and properties, offering a comprehensive framework to guide future research and development in scalable, high-throughput blockchain architectures.

ABSTRACT

Blockchain plays an important role in cryptocurrency markets and technology services. However, limitations on high latency and low scalability retard their adoptions and applications in classic designs. Reconstructed blockchain systems have been proposed to avoid the consumption of competitive transactions caused by linear sequenced blocks. These systems, instead, structure transactions/blocks in the form of Directed Acyclic Graph (DAG) and consequently re-build upper layer components including consensus, incentives, extit{etc.} The promise of DAG-based blockchain systems is to enable fast confirmation (complete transactions within million seconds) and high scalability (attach transactions in parallel) without significantly compromising security. However, this field still lacks systematic work that summarises the DAG technique. To bridge the gap, this Systematization of Knowledge (SoK) provides a comprehensive analysis of DAG-based blockchain systems. Through deconstructing open-sourced systems and reviewing academic researches, we conclude the main components and featured properties of systems, and provide the approach to establish a DAG. With this in hand, we analyze the security and performance of several leading systems, followed by discussions and comparisons with concurrent (scaling blockchain) techniques. We further identify open challenges to highlight the potentiality of DAG-based solutions and indicate their promising directions for future research.

Motivation & Objective

• To address the lack of systematic understanding in DAG-based blockchain systems, especially regarding design patterns and architectural trade-offs.
• To provide a unified framework for classifying existing DAG-based blockchain systems based on structural and consensus characteristics.
• To evaluate the performance, security, and scalability of DAG-based systems in comparison to classical blockchain and alternative scaling techniques.
• To identify open challenges and research directions for future work in DAG-based blockchain design and deployment.
• To clarify misconceptions around DAG semantics, consensus mechanisms, and the role of blocks in graph-based ledgers.

Proposed method

• Proposes a two-dimensional mathematical model to abstract DAG-based blockchain systems, using 'unit type' and 'topology' as core dimensions.
• Classifies existing systems into six distinct types by combining the two dimensions, enabling systematic categorization of real-world implementations.
• Deconstructs consensus mechanisms into components such as block/transaction selection, voting, and finality determination for comparative analysis.
• Evaluates systems across five dimensions: structure, consensus, properties, security, and performance, using both qualitative and quantitative metrics.
• Compares DAG-based approaches with alternative scaling techniques (e.g., sharding, layer-2, hybrid consensus) to highlight unique advantages and limitations.
• Identifies and discusses open research challenges, including support for smart contracts, finality guarantees, and the trade-off between decentralization, security, and scalability.

Experimental results

Research questions

• RQ1 What are the fundamental structural and consensus design patterns in DAG-based blockchain systems?
• RQ2 How do DAG-based systems achieve higher throughput and faster confirmation times compared to classical linear blockchains?
• RQ3 To what extent do DAG-based systems maintain security guarantees under varying network conditions and adversarial models?
• RQ4 What are the key trade-offs between decentralization, security, scalability, and performance in DAG-based designs?
• RQ5 Can DAG-based systems natively support smart contracts and stateful applications, and what are the architectural barriers?

Key findings

• The authors identify six distinct design patterns in DAG-based blockchain systems through a two-dimensional classification model based on unit type and topology.
• DAG-based systems achieve faster confirmation times (within milliseconds) and higher throughput by enabling parallel transaction processing, unlike linear blockchains.
• While most DAG systems improve scalability and performance, they often weaken strict consistency guarantees, making them unsuitable for stateful applications like smart contracts without additional mechanisms.
• Hybrid consensus approaches combining Nakamoto consensus and BFT-style finality are emerging as a promising path to balance performance and security.
• Existing DAG systems do not yet simultaneously achieve high throughput, strong security, and storage efficiency, indicating an open research challenge.
• The paper concludes that no current DAG-based blockchain fully satisfies the ideal trade-off among decentralization, security, and scalability, highlighting this as a key area for future innovation.