밀도‑지연 법칙: 오픈 분산 시스템의 안정적 이벤트 기반 상태 진행

초록

본 논문은 전파 지연이 존재하는 오픈 분산 시스템에서, 상호 배타적인 상태 전이를 안정적으로 유지하기 위한 “밀도‑지연 법칙”을 제시한다. 제안된 모델은 제안 도착을 포아송 과정으로, 포크 깊이를 출생‑소멸 과정으로 근사하여, 전체 제안 강도 λ와 전파 지연 Δ의 곱 λΔ가 O(1)이어야 포크 깊이가 유계임을 증명한다. 이는 개별 노드의 제안 속도가 N⁻¹으로 감소해야 함을 의미하며, 비트코인 난이도 조정이 이 법칙을 구현하는 실증적 사례임을 보여준다.

상세 분석

논문은 먼저 “배타적 결정 시스템”을 정의한다. N개의 노드가 독립적으로 후보 전이를 생성하고, 하나의 전이만이 전역적으로 채택되는 구조이며, 전파 지연 Δ가 존재해 제안이 전 세계에 알려지기까지 일정 시간 창을 만든다. 이 창 안에 두 개 이상의 제안이 겹치면 충돌(포크)이 발생한다. 제안 도착을 포아송 과정(강도 λ = N·g(N))으로 모델링함으로써, 길이 Δ인 창 안에 발생하는 제안 수 K_Δ는 평균 λΔ를 갖는 포아송 분포를 따른다. 충돌 확률 P_coll = 1 – e^{‑λΔ}(1+λΔ)이며, λΔ≪1일 때 P_coll≈(λΔ)²/2 로 2차 항에 의해 지배됨을 보인다.

포크 동역학은 출생‑소멸 과정으로 기술된다. 각 결정 에포크 τ에서 충돌이 발생하면 포크 깊이 F_τ가 1 증가하고, 일정 확률 q로 기존 포크가 해소되어 1 감소한다. 기대 드리프트는 E