[논문 리뷰] Stability of local tip pool sizes

Sebastian Müller, Isabel Amigo외 2명|arXiv (Cornell University)|2023. 02. 03.

Mathematical and Theoretical Epidemiology and Ecology ModelsMedicine인용 수 3

한 줄 요약

이 논문은 이질적이고 랜덤한 네트워크 지연 조건 하에서 DAG 기반 분산 장부에서 로컬 히프 풀 크기의 안정성을 분석하기 위해 연속시간 스토케스틱 모델을 제안한다. 이는 히프 풀 크기가 에르고딕적임을 증명하고, 지연 분포와 노드 활동률에 따라 정량적 경계를 갖는 정적 분포로 수렴함을 보여준다.

ABSTRACT

In distributed ledger technologies (DLTs) with a directed acyclic graph (DAG) data structure, a block-issuing node can decide where to append new blocks and, consequently, how the DAG grows. This DAG data structure is typically decomposed into two pools of blocks, dependent on whether another block already references them. The unreferenced blocks are called the tips. Due to network delay, nodes can perceive the set of tips differently, giving rise to local tip pools. We present a new mathematical model to analyse the stability of the different local perceptions of the tip pools and allow heterogeneous and random network delay in the underlying peer-to-peer communication layer. Under natural assumptions, we prove that the number of tips is ergodic, converges to a stationary distribution, and provide quantitative bounds on the tip pool sizes. We conclude our study with agent-based simulations to illustrate the convergence of the tip pool sizes and the pool sizes' dependence on the communication delay and degree of centralization.

연구 동기 및 목표

• 실제 네트워크 지연 조건 하에서 DAG 기반 분산 장부의 로컬 히프 풀 진화를 모델링하기 위해.
• 이전 연구에서의 결정론적 지연을 가정한 모델들과 달리, 이질적이고 랜덤한 통신 지연을 통합함으로써 기존 연구의 격차를 메우기 위해.
• 연속시간 프레임워크 내에서 로컬 히프 풀 크기의 이론적 안정성 특성—특히 정적 분포와 에르고딕성—을 확립하기 위해.
• 지연 분포와 노드 활동률의 이질성이 히프 풀 크기 동역학에 미치는 영향을 정량화하기 위해.
• 실제 DAG 기반 시스템에서 기대 히프 풀 크기와 수렴 속도에 대한 경계를 도출하기 위한 기반을 제공하기 위해.

제안 방법

• 포아송 도착과 랜덤 네트워크 지연을 가진 연속시간, 공간적으로 분포된 스토케스틱 과정으로 블록 생성 및 전파를 모델링한다.
• 블록 참조 기반의 재생 구조를 도입하여 장기적 행동을 분석하고, 히프 풀 크기의 정적 분포와 에르고딕성을 증명한다.
• 마킹된 점과정을 사용하여 블록 생성 및 전파를 표현하며, 마킹은 노드 식별자, 참조 집합, 전송 지연을 포함한다.
• 일반적인 지연 분포 하에서 히프 풀 크기의 농도 경계를 유도하기 위해 스토케스틱 커플링과 음의 기울기 분석을 적용한다.
• 다양한 지연 분포(랜덤 대 상수)와 노드 속도 이질성(지프 분포)를 가진 에이전트 기반 시뮬레이션을 통해 이론적 결과를 검증한다.
• 재생 이론과 지수 모멘트 경계를 활용하여 히프 풀 크기 변동에 대한 대규변 이론 및 극값 이론의 이론적 확장을 제안한다.

(a) Heterogeneous rates according to Zipf law with $s=1$ , BPS of $500$ , and random network delay.

실험 결과

연구 질문

• RQ1 이질적이고 랜덤한 네트워크 지연은 DAG 기반 분산 장부에서 로컬 히프 풀의 안정성과 크기에 어떤 영향을 미치는가?
• RQ2 노드의 로컬 풀에 있는 히프 수가 어떤 조건에서 정적 분포로 수렴하는가?
• RQ3 노드 활동률의 이질성(예: 지프 분포)은 로컬 히프 풀 크기 변동에 어떤 영향을 미치는가?
• RQ4 메시지 지연의 랜덤성과 상수 지연은 히프 풀 크기 안정성 측면에서 어떻게 비교되는가?
• RQ5 기대 히프 풀 크기와 수렴 속도에 대한 정량적 경계를 이 모델에서 도출할 수 있는가?

주요 결과

• 노드의 로컬 풀에 있는 히프 수는 온건하고 자연스러운 가정 하에서 에르고딕적이며 정적 분포로 수렴한다.
• 이 모델은 히프 풀 크기의 점차적인 음의 기울기를 증명하여 안정된 평균 값 주변의 집중을 시사한다.
• 동일한 평균 지연 조건 하에서도 랜덤 네트워크 지연은 상수 지연보다 더 작고 더 안정적인 히프 풀을 초래한다.
• 노드 활동률의 이질성(예: 지프 분포)은 일반적으로 더 이질적이고 더 작은 로컬 히프 풀 크기를 초래한다.
• 시뮬레이션 결과는 정적 영역으로의 신속한 수렴을 확인하였으며, 히프 풀 크기는 지연 분포와 노드 속도 이질성에 크게 의존한다.
• 재생 구조는 히프 풀 크기 변동에 대한 대규변 원리 및 극값 이론으로의 이론적 확장을 가능하게 한다.

(b) Homogeneous rates according to Zipf law with $s=0$ , BPS of $500$ , and random network delay.