용량 제한 링크 환경에서의 비잔틴 합의 용량 및 최적 알고리즘

초록

본 논문은 유한 용량을 가진 점대점 링크가 존재하는 네트워크에서 비잔틴 합의의 최대 처리량(throughput)을 정의하고, 일반적인 상한을 제시한다. 특히 4노드 완전 연결 네트워크에서 하나의 결함 노드까지 허용하는 경우, 제시된 상한을 정확히 달성하는 합의 알고리즘을 설계하여 합의 용량을 완전히 규명한다.

상세 분석

이 연구는 기존 비잔틴 합의 연구가 무한 용량 가정에 의존해 왔던 점을 지적하고, 실제 통신 시스템에서 흔히 마주치는 링크 용량 제한을 모델에 도입한다. 저자는 먼저 “합의 처리량”을 입력 비트열이 무한히 연속적으로 제공된다고 가정한 뒤, 시간 t 내에 모든 정상 노드가 동의한 비트 수 b(t)를 측정하여 lim b(t)/t 로 정의한다. 이 정의는 전통적인 라운드 기반 복잡도와는 달리 연속적인 데이터 흐름을 고려한다는 점에서 혁신적이다.

네트워크 모델은 완전 방향 그래프 G(V,E)이며, 각 유향 링크 e_{ij}에 용량 c_{ij} (bits/시간) 를 부여한다. 악의적인 적은 f < n/3개의 노드를 완전 제어할 수 있으며, 모든 네트워크 토폴로지와 알고리즘 내부 상태를 완전히 알고 있다. 이러한 강력한 적 모델 하에서도 합의의 ‘정합성’, ‘유효성’, ‘종료성’ 세 가지 기본 속성을 유지해야 한다.

핵심 이론적 결과는 Theorem 1 로, 모든 S⊂V, |S|≤f 에 대해 I*S = min{γ∈Γ_S} Σ_{j∈γ, i∈S} c_{ji} 로 정의된 최소 입입력 용량을 구하고, 전체 합의 용량 C_con(G) ≤ min_{|S|≤f} I*_S 라는 상한을 증명한다. 증명은 가정에 반하는 알고리즘이 존재한다면, 두 개의 입력 시나리오가 동일한 수신 정보만을 제공받아 서로 구분되지 않음으로써 ‘유효성’이 위배된다는 모순을 이용한다.

특히 4노드 완전 연결 네트워크(링크 용량 모두 양수)에서 f=1인 경우, 상한은 각 노드에 들어오는 두 개 링크 용량의 최소값 I* 로 단순화된다. Theorem 2와 Corollary 1을 통해, 임의의 전송률 R<I* 에 대해 최소 세 쌍의 양방향 링크 용량이 R을 초과함을 보이며, 이는 알고리즘 설계에 필요한 최소 대역폭을 보장한다.

알고리즘 자체는 “세대(generation)” 개념을 도입해 입력 비트를 R bits 단위로 나누고, 각 세대마다 다섯 가지 모드(Undetected 2=, Undetected 1=1, Undetected 2, Detected, Identified)를 전환한다. 각 모드에서는 (X,Y) 쌍이 직접 교환하거나 중간 노드 Z를 경유해 검증하는 절차를 수행한다. 검증은 선형 독립 코딩 패킷을 이용해 “일관성(consistency)”을 판단하고, 1‑bit 브로드캐스트를 통해 결과를 전파한다. 실패가 감지되면 기존 라운드와 유사한 전역 진단 절차를 실행해 결함 노드를 좁히고, 이후 Detected 혹은 Identified 모드로 전환해 남은 정상 노드들 간에 합의를 마무리한다.

이 설계는 각 라운드에서 사용되는 총 전송량이 최소 입입력 용량 I* 이하임을 보장하므로, R이 I*에 임의로 가까워질 수 있다. 따라서 제시된 알고리즘은 Theorem 1의 상한을 정확히 달성함을 증명한다. 결과적으로, 용량 제한 환경에서도 비잔틴 합의가 이론적 최대 처리량에 도달할 수 있음을 최초로 입증한 점이 학문적·실용적 의의를 가진다.