[논문 리뷰] Breaking the O(n^2) Bit Barrier: Scalable Byzantine agreement with an Adaptive Adversary

Valerie King, Jared Saia|arXiv (Cornell University)|2010. 02. 24.

Distributed systems and fault tolerance참고 문헌 19인용 수 46

한 줄 요약

이 논문은 적응형이고 러시하는 대상자에 대비해 고도로 확률적으로 성공하는 비잔티너 합의 프로토콜을 제안한다. 이 프로토콜은 각 프로세서당 통신량을 $\tilde{O}(\sqrt{n}^{1/2})$ 비트로 줄여, 다항로그 시간 복잡도를 달성한다. 이는 새로운 글로벌 코인 부분수열 원리와 효율적인 메시지 집계를 활용하여 기존의 $O(n^2)$ 통신 장벽을 돌파함으로써, 대규모 네트워크에서 최소한의 오버헤드로 실용적인 합의를 가능하게 한다.

ABSTRACT

We describe an algorithm for Byzantine agreement that is scalable in the sense that each processor sends only $ ilde{O}(\sqrt{n})$ bits, where $n$ is the total number of processors. Our algorithm succeeds with high probability against an \emph{adaptive adversary}, which can take over processors at any time during the protocol, up to the point of taking over arbitrarily close to a 1/3 fraction. We assume synchronous communication but a \emph{rushing} adversary. Moreover, our algorithm works in the presence of flooding: processors controlled by the adversary can send out any number of messages. We assume the existence of private channels between all pairs of processors but make no other cryptographic assumptions. Finally, our algorithm has latency that is polylogarithmic in $n$. To the best of our knowledge, ours is the first algorithm to solve Byzantine agreement against an adaptive adversary, while requiring $o(n^{2})$ total bits of communication.

연구 동기 및 목표

• 기존의 $O(n^2)$ 비트로 스케일링되는 비잔티너 합의 프로토콜에서 높은 통신 오버헤드 문제를 해결하기 위해.
• 실행 중 어떤 시점에서나 최대 $1/3 - \epsilon$의 프로세서를 손상시킬 수 있는 적응형 대상자에 대비해 여전히 효율적이고 정확한 프로토콜을 설계하기 위해.
• 서브스케일링 통신 복잡도를 달성하면서도, 동기적이고 비공개 채널 환경에서 낮은 지연과 강력한 정확성 보장을 유지하기 위해.
• 피어 투 피어 시스템, 클라우드 컴퓨팅, 센서 네트워크와 같은 대규모 네트워크에서 비잔티너 합의의 실용적 구현을 가능하게 하기 위해.
• $\tilde{O}(\sqrt{n})$의 통신량으로도 적응형 대상자 환경에서 비잔티너 합의를 달성할 수 있음을 입증하기 위해.

제안 방법

• 프로토콜은 두 단계 방식을 사용한다: 먼저 글로벌 코인 부분수열 원리를 통해 거의 전부의 합의를 달성하고, 이후 합의된 값을 모든 양호한 프로세서로 전파한다.
• 프로토콜은 $1 - 1/\log n$ 비율의 양호한 프로세서가 동의하는 다항로그 길이의 균일한 랜덤 비트 시퀀스를 생성하는 글로벌 코인 부분수열 문제를 도입한다.
• 프로세서들이 앎이 있는 노드에게 레이블을 전송하는 랜덤라이즈드 요청-응답 메커니즘을 사용하며, 체르노프 부등식을 적용해 고도로 확률적인 정확성을 확보한다.
• 마르코프 및 체르노프 부등식을 적용해 프로세서 오버로드와 메시지 충돌 확률을 제한함으로써 확장성을 확보한다.
• 핵심 기법은 비공개 채널과 러시하는 대상자 모델을 사용하는 것으로, 대상자가 자신의 메시지를 보낼 무렵까지 모든 양호한 메시지를 볼 수 있지만, 프로토콜은 여전히 고도로 확률적으로 성공한다.
• 서브루틴의 병렬 실행과 프로세서 간 랜덤 값의 효율적 집계를 활용해 다항로그 시간 내에 알고리즘이 실행된다.

실험 결과

연구 질문

• RQ1 적응형 대상자에 대비해 $o(n^2)$ 총 통신 비트로 비잔티너 합의를 달성할 수 있는가?
• RQ2 적응형 손상에 대비해 $\tilde{O}(\sqrt{n})$의 통신량을 가지면서도 정확성을 유지하는 프로토콜을 설계할 수 있는가?
• RQ3 다항로그 길이와 높은 양호한 프로세서 간 합의 확률을 가진 글로벌 코인 부분수열 원리를 구성할 수 있는가?
• RQ4 적응형이고 러시하는 대상자가 존재하는 상황에서 비잔티너 합의에 필요한 최소한의 통신 복잡도는 얼마인가?
• RQ5 이러한 기법을 하위-스케일링 통신을 가진 보안 다자간 계산에 확장할 수 있는가?

주요 결과

• 프로토콜은 각 프로세서당 $\tilde{O}(\sqrt{n})$ 비트의 통신량으로 비잔티너 합의를 달성하며, $O(n^2)$ 통신 장벽을 돌파한다.
• 적응형 대상자가 최대 $1/3 - \epsilon$의 프로세서를 제어하는 조건에서 프로토콜은 고도로 확률적으로 성공하며, 이는 $1 - 1/n^c$로 정의된다. 여기서 $c$는 임의의 상수이다.
• 알고리즘은 다항로그 시간 내에 실행되며, 특히 $O(\operatorname{polylog}(n))$ 라운드로 낮은 지연을 보장한다.
• 글로벌 코인 부분수열 원리는 길이 $\tilde{O}(\log n)$의 시퀀스를 생성하며, 이는 $\Omega(\log n)$개의 균일한 랜덤 비트로 구성되며, $1 - 1/\log n$ 비율의 양호한 프로세서가 동의한다.
• 단일 루프에서의 실패 확률은 $n^{-2c}$ 이하로 제한되며, 프로토콜을 $O(\epsilon \log n)$번 반복함으로써 총 실패 확률을 $1 - 1/n^c$로 감소시킬 수 있다.
• 모든 곳에서 비잔티너 합의 프로토콜은 최종 단계에서의 효율적 집계 덕분에 전체 합의를 달성함에도 불구하고 각 프로세서당 $\tilde{O}(\sqrt{n})$의 통신 비용을 유지한다.