[논문 리뷰] IOTA-based Directed Acyclic Graphs without Orphans

Pietro Ferraro, Christopher King외 1명|arXiv (Cornell University)|2018. 12. 13.

Blockchain Technology Applications and Security참고 문헌 12인용 수 28

한 줄 요약

이 논문은 IOTA의 Tangle DAG에서 몬테카를로 마르코프 체인(MCMC) 선택과 무작위 토핑 선택을 조합하여 모든 거래가 유한 시간 내에 검증되도록 보장하는 하이브리드 토핑 선택 메커니즘을 제안한다. 이 방법은 적어도 하나의 토핑을 무작위로 선택하여 고립된 거래를 방지함으로써 시스템을 안정화시키고 장기적으로 거래 승인을 보장하면서도 MCMC 방법의 보안성과 효율성을 유지한다. 주요 결과는 승인되지 않은 토핑 수가 시간이 지남에 따라 균일하게 유계로 유지된다는 것이며, 이는 전반적인 검증 안정성을 입증한다.

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.

연구 동기 및 목표

• IOTA의 Tangle과 같은 DAG 기반 분산 블록체인에서 거래 선택의 확률적 성격으로 인해 발생할 수 있는 미검증 또는 고립된 거래 문제를 해결하기 위해.
• 모든 거래가 유한 시간 내에 검증되도록 보장하여 실세계 응용 프로그램을 위한 시스템의 안정성과 신뢰성을 향상시키기 위해.
• 고립 방지를 위해 최소한의 수정을 가하며 널리 사용되는 몬테카를로 마르코프 체인(MCMC) 토핑 선택 알고리즘과의 호환성을 유지하기 위해.
• 유체 근사 모델을 사용하여 수정된 시스템의 안정성을 수학적으로 증명하고, 시뮬레이션을 통해 결과를 검증하기 위해.

제안 방법

• 적어도 두 개의 선택된 토핑 중 하나는 균일하게 무작위로 선택하고, 나머지 하나는 MCMC 알고리즘을 사용하는 하이브리드 토핑 선택 메커니즘을 제안한다.
• 거래 연령 분포와 토핑 역학을 기술하기 위해 시간 지연을 고려한 편미분방정식(PDE) 시스템을 사용한 Tangle의 유체 근사 모델을 개발한다.
• 선택 선호도를 나타내는 가중치 함수 g_j(s)를 포함하여 시간에 따른 거래 검증의 진화를 모델링하는 상미분방정식(ODE)과 편미분방정식(PDE)의 시스템을 유도한다.
• PDE 모델을 사용하여 적어도 하나의 토핑이 무작위로 선택될 경우(즉, 적어도 하나의 j에 대해 g_j(s) = 1), 승인되지 않은 토핑 수 l(t)가 균일하게 유계로 유지됨을 증명한다.
• 점근적 분석을 적용하여 lim_{s→∞} x(s) > 0 및 ∫₀^∞ x(u)du = ∞임을 보이며, 이는 모든 거래가 결국 승인됨을 의미한다.
• 유한 도착률 하에서의 에이전트 기반 시뮬레이션을 통해 이론적 결과를 검증하여 수렴성과 안정성을 확인한다.

실험 결과

연구 질문

• RQ1 하이브리드 토핑 선택 메커니즘이 IOTA Tangle의 모든 거래가 유한 시간 내에 검증되도록 보장할 수 있는가?
• RQ2 어떤 조건에서 토핑 선택 알고리즘이 승인되지 않은(고립된) 거래의 수가 유계로 유지되지 않는가?
• RQ3 무작위 토핑 선택의 포함이 순수 MCMC 또는 순수 무작위 선택과 비교해 Tangle의 검증 과정 안정성에 어떤 영향을 미치는가?
• RQ4 유체 근사 모델은 유한한 거래 도착률 하에서 실제 Tangle의 행동을 정확하게 반영하는가?
• RQ5 이론적 안정성 결과는 실재적인 유한한 환경에서의 시뮬레이션을 통해 검증될 수 있는가?

주요 결과

• 적어도 하나의 토핑이 무작위로 선택될 경우, 승인되지 않은 토핑 수 l(t)는 시간이 지남에 따라 균일하게 유계로 유지되어 모든 거래가 결국 검증됨을 보장한다.
• 모든 토핑 선택이 최근 거래를 선호하는 단기 범위일 경우, 고립된 거래의 수는 무한히 증가하며, 이는 시스템의 불안정성을 확인한다.
• 유체 모델은 적어도 하나의 토핑이 무작위로 선택될 경우, 무한 연령에서의 토핑 밀도가 0으로 수렴하는 안정된 평형 상태에 도달함을 증명한다.
• 이론적 분석을 통해 lim_{s→∞} x(s) > 0 및 ∫₀^∞ x(u)du = ∞임을 보이며, 모든 거래가 유한 시간 내에 승인됨을 확인한다.
• 시뮬레이션 결과는 PDE 모델이 에이전트 기반 Tangle 행동을 정확하게 반영함을 확인하며, 특히 매개변수 α에 따라 토핑 수 L(t)의 수렴성이 뚜렷하게 나타난다.
• 제안된 하이브리드 알고리즘은 IOTA 재단에서 평가 중이며, 실세계 적용 가능성과 임박한 배포 가능성을 시사한다.