Proxima: A DAG-based Cooperative Distributed Ledger

Basic Information

• Paper ID: 2411.16456
• Title: Proxima: a DAG–based cooperative distributed ledger
• Author: Evaldas Drąsutis
• Classification: cs.DC (Distributed, Parallel, and Cluster Computing)
• Publication Date: 2025-10-14 (arXiv version)
• Paper Link: https://arxiv.org/abs/2411.16456

Abstract

This paper proposes a novel distributed ledger architecture employing a directed acyclic graph (DAG) structure with UTXO transactions as vertices, rather than traditional blockchain structures. Ledger asset state consistency is achieved through a "cooperative consensus" mechanism: a profit-driven behavior inherent to token holders that becomes feasible only when they comply with the "maximum ledger coverage rule" (analogous to Bitcoin's "longest chain rule"). Cooperative behavior is promoted through carefully designed UTXO transaction validity constraints. Token holders are the sole participant class authorized to modify the ledger, enabling fully permissionless participation—without miners, validators, committees, or staking—and without requiring knowledge of the consensus participant composition. This setup enables high throughput and scalability with low transaction costs while maintaining key characteristics of proof-of-work blockchains such as Bitcoin: high decentralization, open participation, and asynchronicity, but without massive energy consumption.

Research Background and Motivation

Problem Definition

Core challenges faced by existing blockchain systems include:

1. Energy Consumption: Proof-of-Work (PoW) systems such as Bitcoin consume substantial energy
2. Scalability Limitations: The serial structure of traditional blockchains constrains transaction processing capacity
3. Centralization Tendencies: Proof-of-Stake (PoS) systems often require committees and validators, introducing centralization risks
4. Participation Barriers: Existing systems typically require specialized roles (miners/validators) for consensus participation

Research Motivation

The author aims to design a distributed ledger system that maintains Bitcoin's permissionless characteristics while avoiding its high energy consumption. The core idea combines the Tangle's DAG structure with the UTXO model, implementing cooperative consensus through economic incentive mechanisms.

Limitations of Existing Approaches

• PoW Systems: Massive energy consumption and environmental unfriendliness
• PoS Systems: Require committee mechanisms with centralization risks
• Traditional DAG Systems: Lack explicit incentive mechanisms and consensus rules

Core Contributions

1. Proposed a cooperative consensus mechanism: A novel consensus algorithm based on token holders' profit-seeking behavior
2. Designed UTXO Tangle structure: Organic integration of the UTXO model with DAG structure
3. Established maximum ledger coverage rule: A consensus rule analogous to the longest chain rule but applicable to DAG structures
4. Enabled fully permissionless participation: Only token holders participate without requiring special roles
5. Provided feasible implementation: Including detailed technical specifications and testnet implementation

Methodology Details

Task Definition

Design a distributed ledger system satisfying the following requirements:

• Input: UTXO transactions generated by token holders
• Output: Globally consistent ledger state
• Constraints: Permissionless participation, low energy consumption, high scalability, maintained decentralization

Model Architecture

1. UTXO Tangle Structure

The UTXO Tangle is a directed acyclic graph where:

• Vertices: UTXO transactions containing inputs, outputs, endorsements, and timestamps
• Edges: Consumption relationships (←) and endorsement relationships (⇐)
• Past Cone: All transactions reachable through consumption and endorsement relationships

2. Transaction Structure

Each transaction T comprises:

T = (in(T), out(T), endorse(T), timestamp(T), unlock(T), senderID(T))

• in(T): Set of consumed outputs
• out(T): Set of produced outputs
• endorse(T): Set of endorsed transactions
• timestamp(T): Ledger timestamp
• unlock(T): Unlock data
• senderID(T): Sender signature

3. Ledger Coverage Definition

Ledger coverage is a key metric for measuring transaction importance:

For sequencer transaction T, its coverage is defined as:

coverage(T) = coverage_Δ(T) + coverage_Δ(baseline(T)) / 2^(slot(T)-slot(baseline(T))+1)

Where coverage_Δ(T) is the coverage increment, representing the total amount of baseline state outputs consumed in T's past cone.

4. Cooperative Consensus Mechanism

Maximum Ledger Coverage Rule: Token holders always endorse and consume transactions with maximum coverage, forming a Nash equilibrium because deviating from this strategy increases the risk of transaction isolation.

Technical Innovations

1. Sequencer Mechanism

• Branch Transactions: Special sequencer transactions positioned at slot boundaries
• Stem Outputs: Special outputs produced by branch transactions for connecting different slots
• Baseline State: Each sequencer transaction has a deterministically defined baseline state

2. Inflation Incentive Mechanism

Inflation formula:

I_t = R_t × A (when Δt ≥ 1)
R_t = 1/(C + t)

Where R_t is the inflation rate for slot t, decreasing over time.

3. Tag-along Mechanism

Non-sequencer users can "tag along" their transactions to sequencer transactions by paying a small fee, enabling permissionless transaction processing.

Experimental Setup

Testnet Implementation

The author developed a testnet version of the Proxima node to verify design feasibility.

Parameter Configuration

• Slot Length: 128 ticks
• Tick Duration: 80 milliseconds (testnet)
• Minimum Sequencer Amount: 1/1000 of initial total supply
• Maximum Sequencer Count: 1000

Evaluation Metrics

• Throughput: Transactions processed per second
• Confirmation Time: Time for transactions to achieve finality
• Energy Consumption: Energy reduction compared to PoW systems
• Decentralization Degree: Distribution of participants

Experimental Results

Main Findings

1. Scalability: Supports large-scale parallel transaction processing
2. Low Latency: Significantly reduced transaction confirmation time
3. Energy Efficiency: Substantially reduced energy consumption compared to PoW systems
4. Convergence: System rapidly converges to consistent state

Security Analysis

• Security Parameter θ: Users can select parameters 1/2 < θ < 1 to balance security and liveness
• Long-range Attack Protection: Requires control of substantial malicious capital for successful attacks
• Network Partition Handling: Similar to PoW systems, prioritizing liveness over safety

Related Work

Primary References

1. Bitcoin Whitepaper: Provides foundational concepts for permissionless consensus
2. Tangle Whitepaper: Provides DAG structure and the principle of "each transaction confirms two others"
3. UTXO Model: Draws from Bitcoin and Cardano's UTXO design

Distinctions from Existing Work

• vs PoW: Maintains permissionless characteristics while avoiding energy consumption
• vs PoS: Eliminates committee mechanisms for greater decentralization
• vs Traditional DAG: Introduces explicit economic incentives and consensus rules

Conclusions and Discussion

Main Conclusions

1. Cooperative consensus is a viable PoW alternative maintaining permissionless characteristics
2. UTXO Tangle structure enables high throughput and scalability
3. Economic incentive mechanisms effectively drive cooperative behavior

Limitations

1. Complexity: More complex than Bitcoin's design
2. Insufficient Theoretical Analysis: Convergence and security require deeper mathematical modeling
3. Lack of Deployment Experience: Requires large-scale real-world deployment validation

Future Directions

1. Mathematical Modeling: Rigorous theoretical analysis of convergence and security
2. Strategy Optimization: Improved sequencer strategies and algorithms
3. Practical Deployment: Testing and optimization in real-world environments

In-depth Evaluation

Strengths

1. Strong Innovation: Proposes novel cooperative consensus mechanism
2. Complete Design: Detailed consideration from theory to implementation
3. High Practical Value: Addresses key problems in existing systems
4. Technical Depth: Rich technical details and implementation solutions

Weaknesses

1. Theoretical Foundation: Lacks rigorous mathematical proofs and security analysis
2. Experimental Validation: Primarily testnet-based, lacking large-scale real-world deployment data
3. Complexity Management: System complexity may impact practical adoption
4. Economic Model: Long-term effects of inflation mechanism require further research

Impact

1. Academic Value: Provides new perspectives for distributed consensus research
2. Practical Prospects: Potential foundation for next-generation blockchain technology
3. Technical Advancement: Promotes development of DAG and UTXO technologies

Applicable Scenarios

1. High-frequency Trading: Suitable for applications requiring high throughput
2. Micropayments: Low transaction costs enable small-value payments
3. Decentralized Applications: Provides high-performance infrastructure for DApps
4. Green Blockchain: Suitable for environmentally conscious application domains

References

1. Nakamoto, S. (2008). Bitcoin: A peer-to-peer electronic cash system
2. Popov, S. (2018). The Tangle
3. Chakravarty, M. M., et al. (2020). The Extended UTXO Model

Overall Assessment: This is a paper of significant innovative importance, proposing the novel concept of cooperative consensus that addresses energy consumption and scalability issues while maintaining decentralization characteristics. Although theoretical analysis and practical validation require further refinement, its technical approach and implementation solutions possess substantial academic value and practical potential.