그레이드캐스트 기반 단순 Byzantine 합의 알고리즘

초록

본 논문은 Feldman‑Micali의 3라운드 그레이드캐스트를 활용해 Byzantine 합의를 구현하는 간단한 알고리즘을 제시한다. 변형을 통해 근사 합의와 다중 합의 문제에 적용하며, 각각 메시지 복잡도를 O(k·n³)와 O(l·n³) 수준으로 낮추고, 고장 허용 한계를 기존 1/4 n에서 1/3 n으로 확대한다. 또한, 동기화된 시작이 필요 없는 조기 종료를 지원한다.

상세 분석

이 논문은 그레이드캐스트(Gradecast)라는 세 라운드 통신 원리를 핵심으로 삼아, Byzantine 환경에서의 합의 프로토콜을 설계한다. 그레이드캐스트는 송신자가 자신의 값을 전파하고, 수신자는 해당 값에 대한 ‘신뢰도(grade)’를 부여한다. 3라운드 후, 각 노드는 동일한 값과 최소 신뢰도(2)를 가진 경우에만 그 값을 최종 결정값으로 채택한다. 이 메커니즘은 전형적인 ‘전파‑수렴‑확정’ 단계와 유사하지만, 신뢰도 레벨을 명시적으로 도입함으로써 악의적 노드가 전파하는 값의 일관성을 검증한다는 점에서 차별화된다.

제안된 기본 알고리즘은 모든 노드가 그레이드캐스트를 한 번 수행하고, 수신된 (값, grade) 쌍을 집계해 다수결에 따라 최종 값을 선택한다. 핵심은 ‘grade ≥ 2’인 메시지만을 고려함으로써, 최대 f < n/3개의 Byzantine 노드가 존재하더라도 정상 노드 간에 최소 n − 2f개의 일치된 (값, grade) 쌍이 확보된다는 보장을 얻는 것이다. 이는 기존의 ‘오직 2f+1개의 일치’ 요구조건을 자연스럽게 만족한다.

근사 합의(Approximate Agreement)에서는 값이 실수 구간에 존재한다는 전제가 추가된다. 논문은 기본 합의 프로토콜에 ‘값 절삭(truncation)’과 ‘범위 축소(shrink)’ 연산을 삽입해, 각 라운드마다 정상 노드가 유지하는 값 구간을 반으로 줄인다. 이때 그레이드캐스트가 제공하는 신뢰도 정보는 악의적 노드가 구간을 인위적으로 넓히는 것을 방지한다. 결과적으로 k 라운드 후에 정상 노드들의 값 차이는 2⁻ᵏ 이하가 되며, 메시지 복잡도는 O(k·n³)으로 기존 O(nᵏ) 대비 크게 개선된다. 또한, 허용 가능한 Byzantine 비율을 1/4 n에서 1/3 n으로 확대함으로써 실용성을 높였다.

다중 합의(Multi‑consensus) 문제는 l개의 연속된 합의를 수행해야 하는 상황을 다룬다. 기존 연구는 각 합의 인스턴스가 동기화된 시작을 전제로 최적의 ‘평균’ 복잡도를 달성했지만, 실제 시스템에서는 조기 종료와 비동기 시작이 일반적이다. 본 논문은 각 인스턴스마다 독립적인 그레이드캐스트 라운드를 실행하고, 이전 인스턴스의 결과를 다음 인스턴스의 초기값으로 활용한다. 이렇게 하면 라운드 수는 l·O(1)으로 유지되면서도, 조기 종료가 발생하면 남은 라운드가 자동으로 생략된다. 메시지 복잡도는 O(l·n³)이며, 동기화 요구가 사라져 실제 분산 환경에 더 적합하다.

보안 측면에서, 그레이드캐스트는 ‘grade = 2’ 조건을 만족하는 경우에만 값을 신뢰하도록 설계돼 있기 때문에, 악의적 노드가 전파하는 값이 정상 노드에 영향을 미치려면 최소 2f+1개의 정상 노드가 동일한 잘못된 값을 전파해야 한다. 이는 f < n/3인 경우 불가능하므로, 프로토콜은 강력한 Byzantine 내성을 제공한다. 또한, 라운드 수가 고정(3)되어 있어 시간 복잡도는 O(1)이며, 라운드당 메시지 양이 O(n²)인 점을 고려하면 전체 복잡도는 O(n³) 수준으로 실용적인 범위에 머문다.

요약하면, 이 논문은 그레이드캐스트라는 간단하면서도 강력한 기본 블록을 활용해, 기존에 복잡하고 제한적인 Byzantine 합의·근사 합의·다중 합의 알고리즘을 구조적으로 단순화하고, 메시지 복잡도와 허용 고장 비율을 동시에 개선한 점이 가장 큰 공헌이다.