[论文解读] IOTA-based Directed Acyclic Graphs without Orphans

Pietro Ferraro, Christopher King+1 more|arXiv (Cornell University)|Dec 13, 2018

Blockchain Technology Applications and Security参考文献 12被引用 28

一句话总结

本文提出了一种用于 IOTA 的 Tangle DAG 的混合tip选择机制，通过结合马尔可夫链蒙特卡洛（MCMC）选择与随机tip选择，确保所有交易在有限时间内被验证。该方法通过保证至少一个tip被随机选择，防止了孤立交易的产生，从而稳定系统并确保长期交易批准，同时保持了MCMC方法的安全性和效率。关键结果是未批准的tip数量随时间保持一致有界，证明了系统范围内的验证稳定性。

ABSTRACT

Directed Acylic Graphs (DAGs) are emerging as an attractive alternative to traditional blockchain architectures for distributed ledger technology (DLT). In particular DAG ledgers with stochastic attachment mechanisms potentially offer many advantages over blockchain, including scalability and faster transaction speeds. However, the random nature of the attachment mechanism coupled with the requirement of protection against double-spend transactions leaves open the possibility that not all transactions will be eventually validated. Such transactions are said to be orphaned, and will never be validated. Our principal contribution is to propose a simple modification to the attachment mechanism for the Tangle (the IOTA DAG architecture). This modification ensures that all transactions are validated in finite time, and preserves essential features of the popular Monte-Carlo selection algorithm. In order to demonstrate these results we derive a fluid approximation for the Tangle (in the limit of infinite arrival rate) and prove that this fluid model exhibits the desired behavior. We also present simulations which validate the results for finite arrival rates.

研究动机与目标

• 解决基于DAG的分布式账本（如IOTA的Tangle）中由于tip选择的随机性而产生的未验证或孤立交易问题。
• 确保所有交易在有限时间内被验证，从而提高系统在现实应用中的稳定性和可靠性。
• 在保持广泛使用的马尔可夫链蒙特卡洛（MCMC）tip选择算法兼容性的同时，引入最小修改以防止孤立交易。
• 通过流体近似模型进行数学证明系统稳定性，并通过模拟验证结果。

提出的方法

• 提出一种混合tip选择机制，其中两个选定的tip中至少有一个以均匀随机方式选择，而另一个使用MCMC算法。
• 利用一组带时间延迟的偏微分方程（PDEs）建立Tangle的流体近似模型，以描述交易年龄分布和tip动态。
• 推导出描述交易验证随时间演化的常微分方程（ODEs）和偏微分方程（PDEs）系统，其中包含表示选择偏好的权重函数g_j(s)。
• 利用PDE模型证明，当至少一个tip被随机选择（即至少一个j满足g_j(s) = 1）时，未批准tip数量l(t)保持一致有界。
• 应用渐近分析表明，lim_{s→∞} x(s) > 0 且 ∫₀^∞ x(u)du = ∞，意味着所有交易最终都会被批准。
• 通过基于代理的模拟验证理论结果，确认在有限到达率下系统具有收敛性和稳定性。

实验结果

研究问题

• RQ1 混合tip选择机制能否确保IOTA Tangle中的所有交易在有限时间内被验证？
• RQ2 tip选择算法的何种条件可防止未批准（孤立）交易数量无界增长？
• RQ3 引入随机tip选择如何影响Tangle验证过程的稳定性，相较于纯MCMC或纯随机选择？
• RQ4 流体近似模型是否能准确反映有限交易到达率下实际Tangle的行为？
• RQ5 理论稳定性结果是否可在有限、现实的环境中通过模拟得到验证？

主要发现

• 当至少一个tip被随机选择时，未批准tip数量l(t)随时间保持一致有界，确保所有交易最终都会被验证。
• 当所有tip选择均为短程（偏好近期交易）时，孤立交易数量无界增长，证实系统不稳定。
• 流体模型证明，当至少一个tip被随机选择时，系统会达到稳定平衡，无限年龄处的tip密度趋于零。
• 理论分析表明，lim_{s→∞} x(s) > 0 且 ∫₀^∞ x(u)du = ∞，确认所有交易在有限时间内被批准。
• 模拟结果证实，PDE模型能准确反映基于代理的Tangle行为，特别是在tip数量L(t)随参数α的收敛性方面。
• 所提出的混合算法正在由IOTA基金会评估，表明其具有实际应用价值和潜在部署前景。