[논문 리뷰] Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP

Shir Cohen, Idit Keidar외 1명|arXiv (Cornell University)|2020. 01. 01.

Distributed systems and fault tolerance참고 문헌 29인용 수 7

한 줄 요약

이 논문은 고려 확률(whp)로 하위 제곱형 비동기 Byzantine 합의 프로토콜을 처음으로 제안하며, 예상 단어 복잡도 Õ(n)과 예상 시간 O(1)을 달성한다. 이는 VRF 기반의 공유 코인을 도입하고, 이방식을 이용해 비동기 모델에서의 VRF 기반 위원회 샘플링을 체계화함으로써, 지연적-적응형 공격자에 대해 높은 내성성을 갖춘 효율적이고 랜덤화된 합의를 가능하게 한다.

ABSTRACT

King and Saia were the first to break the quadratic word complexity bound for Byzantine Agreement in synchronous systems against an adaptive adversary, and Algorand broke this bound with near-optimal resilience (first in the synchronous model and then with eventual-synchrony). Yet the question of asynchronous sub-quadratic Byzantine Agreement remained open. To the best of our knowledge, we are the first to answer this question in the affirmative. A key component of our solution is a shared coin algorithm based on a VRF. A second essential ingredient is VRF-based committee sampling, which we formalize and utilize in the asynchronous model for the first time. Our algorithms work against a delayed-adaptive adversary, which cannot perform after-the-fact removals but has full control of Byzantine processes and full information about communication in earlier rounds. Using committee sampling and our shared coin, we solve Byzantine Agreement with high probability, with a word complexity of $\widetilde{O}(n)$ and $O(1)$ expected time, breaking the $O(n^2)$ bit barrier for asynchronous Byzantine Agreement.

연구 동기 및 목표

• 비동기 Byzantine 합의에서 오랫동안 지속된 O(n²) 통신 장벽을 돌파하기 위해.
• 비동기 모델에서 하위 제곱형 단어 복잡도를 달성하는 랜덤화된 합의 프로토콜을 설계하기 위해.
• 지연적-적응형 공격자 환경에서 비동기 모델에 VRF 기반 위원회 샘플링을 체계화하고 활용하기 위해.
• 참가자에 대한 사전 지식이 없이도 일정한 성공률을 갖는 공유 코인 원시 기능을 구축하여, 위원회 기반 프로토콜에 적합하게 하기 위해.
• 신뢰할 수 있는 PKI와 계산 가정 하에 최적의 내성성( resilience )을 유지하면서 고려 확률 합의를 달성하기 위해.

제안 방법

• Verifiable Random Functions (VRFs)를 사용하여 일정한 성공률과 결과 0과 1에 대해 동일한 확률을 제공하는 공유 코인 알고리즘을 설계하기 위해.
• 비동기 모델에서 각 프로세스가 개인 키를 사용하여 크기 O(log n)의 랜덤 위원회를 샘플링하는 VRF 기반 위원회 샘플링을 체계화하기 위해.
• 위원회를 통해 통신을 제한: 메시지 전송은 오직 위원회 구성원만 수행하여 총 단어 복잡도를 감소시키기 위해.
• 승인자 추상화를 사용한 두 단계 프로토콜을 도입하여, 라운드 간에 단계적 합의와 유효성을 보장하기 위해.
• WHP(고려 확률) 코인을 활용해 정상 프로세스 간 추정치를 동기화하여, 일정한 성공률로 합의를 보장하기 위해.
• 위원회 교차 성질과 VRF 유일성에 기반한 확률적 추론을 사용하여 안전성과 활성화를 증명하기 위해.

실험 결과

연구 질문

• RQ1 지연적-적응형 공격자 하에서 비동기 Byzantine 합의에서 하위 제곱형 통신 복잡도를 달성할 수 있는가?
• RQ2 참가자에 대한 사전 지식 없이도 일정한 성공률을 갖는 공유 코인 원시 기능을 비동기 모델에서 설계할 수 있는가?
• RQ3 VRF 기반 위원회 샘플링을 비동기 모델에 체계적으로 적용하여 통신 비용을 줄일 수 있는가?
• RQ4 비잔티노스 프로세스 존재 하에서 안전성과 활성화를 고려 확률로 보장하기 위한 위원회 샘플링 조건은 무엇인가?
• RQ5 현재 ϵ-의존 하한을 초월하여 내성성 한계를 향상시키면서도 하위 제곱형 복잡도를 유지할 수 있는가?

주요 결과

• 제안된 Byzantine 합의 프로토콜은 Õ(n) 예상 단어 복잡도와 O(1) 예상 시간을 달성하여 비동기 모델에서 O(n²) 장벽을 돌파한다.
• 프로토콜은 고려 확률(whp)로 이진 Byzantine 합의를 해결한다. 즉, n이 증가함에 따라 성공 확률이 1에 수렴한다.
• VRF 기반 공유 코인 알고리즘은 일정한 성공률을 제공하며, 모든 정상 프로세스가 동일한 랜덤 비트를 던지는 확률이 ρ > 0 이상이 되도록 보장한다.
• VRF를 통한 위원회 샘플링은 효율적인 메시지 전달을 가능하게 하며, 라운드당 평균 O(log n)개의 프로세스만 참여함으로써 통신을 극적으로 감소시킨다.
• 프로토콜은 고려 확률로 합의와 유효성을 보장하며, 모든 정상 프로세스가 일정한 예상 라운드 수 내에 동일한 값을 결정한다.
• 내성성 한계는 n ≈ 4.5f이며, f < (1/3 − ϵ)n 이며, ϵ은 상수로 아래에서 제한되므로 최적 내성성은 제한되지만 하위 제곱형 복잡도는 유지된다.