[논문 리뷰] Optimal Communication Complexity of Authenticated Byzantine Agreement

Ittai Abraham, Dahlia Malkhi외 1명|arXiv (Cornell University)|2018. 11. 04.

Distributed systems and fault tolerance참고 문헌 13인용 수 15

한 줄 요약

이 논문은 최적의 내성성(f < n/3), 점근적으로 최적의 기대 실행 시간 O(1), 최적의 기대 단어 통신 O(n²)를 달성하는 검증된 비동기 바르자인 합의(VABA)를 위한 새로운 프로토콜을 제안한다. 이 프로토콜은 적응형 보안 임계값 서명과 증명 가능한 브로드캐스트 추상화를 활용한 새로운 뷰 기반 아키텍처를 사용하여 메시지 복잡도를 O(n³)에서 O(n²)로 감소시키며, 분산 시스템 분야에서 20년간 미해결된 문제를 해결한다.

ABSTRACT

Byzantine Agreement (BA) is one of the most fundamental problems in distributed computing, and its communication complexity is an important efficiency metric. It is well known that quadratic communication is necessary for BA in the worst case due to a lower bound by Dolev and Reischuk. This lower bound has been shown to be tight for the unauthenticated setting with f < n/3 by Berman et al. but a considerable gap remains for the authenticated setting with n/3 ≤ f < n/2. This paper provides two results towards closing this gap. Both protocols have a quadratic communication complexity and have different trade-offs in resilience and assumptions. The first protocol achieves the optimal resilience of f < n/2 but requires a trusted setup for threshold signature. The second protocol achieves near optimal resilience f ≤ (1/2 - ε)n in the standard PKI model.

연구 동기 및 목표

• 통신 복잡도 측면에서 이론적 하한선과 실용적 프로토콜 간 격차를 해소하기 위해 검증된 비동기 바르자인 합의(VABA)에 대해.
• 최적의 내성성(f < n/3)과 점근적으로 최적의 기대 실행 시간(O(1))를 확보하면서 기대 단어 통신을 최소화하기 위해.
• Cachin 등(2001)이 제기한 문제를 해결하기 위해, VABA 프로토콜에서 기대 단어 통신을 O(n³)에서 O(n²)로 감소시키기 위해.
• 적응형 대상자에 대비한 보안을 확보하기 위해 적응형 보안 임계값 서명과 공통 코인 프로토콜을 사용한 프로토콜 설계를 위해.
• 이성적 브로드캐스트와 상태 기계 복제를 위한 통신 효율적인 빌딩 블록을 제공하기 위해.

제안 방법

• 각 뷰에서 리더가 4단계-f+1-증명 가능한 브로드캐스트를 사용해 값을 확산시키는 뷰 기반 프로토콜 아키텍처를 사용한다.
• 적응형 침해에 대비해 메시지의 진위성과 무결성을 보장하기 위해 적응형 보안 임계값 서명을 사용한다.
• 신뢰할 수 있는 당사자들이 다른 이들의 충분한 유효한 '스킵' 메시지를 수신하면 뷰를 건너뛸 수 있는 '스킵' 메커니즘을 도입한다.
• 리더 선출의 무작위성을 확보하고 예측 불가능성과 공정성을 보장하기 위해 공통 코인 프로토콜을 활용한다.
• 2f+1개의 유효한 임계값 서명가 포함된 '뷰 변경' 메시지를 수신함으로써 종료 조건을 설정하여 진행성을 보장한다.
• 만약 f+1개의 신뢰할 수 있는 당사자들이 값의 전달을 완료하면 이를 유효한 값으로 간주하고 결정에 사용할 수 있도록 보장하기 위해 증명 가능한 브로드캐스트 추상화를 사용한다.

실험 결과

연구 질문

• RQ1 VABA 프로토콜이 O(n²) 기대 단어 통신을 유지하면서도 최적의 내성성과 점근적으로 최적의 시간을 달성할 수 있는가?
• RQ2 적응형 대상자에 대비한 보안을 유지하면서도 VABA의 기대 단어 통신을 O(n³)에서 O(n²)로 줄일 수 있는가?
• RQ3 증명 가능한 브로드캐스트 추상화를 사용하여 이성적이고 적응형 환경에서 결정을 효율적으로 조율할 수 있는가?
• RQ4 임계값 서명과 공통 코인의 사용이 VABA에서 보안성과 통신 효율성을 동시에 달성하는 데 기여하는가?
• RQ5 프로토콜이 모든 신뢰할 수 있는 당사자가 기대되는 상수 개의 뷰 내에서 결정을 내릴 수 있도록 보장할 수 있는가?

주요 결과

• 프로토콜은 f < n/3의 바르자인 결함을 허용하는 최적의 내성성을 확보하며, 점근적으로 최적의 기대 실행 시간 O(1)을 달성한다.
• 기대 총 단어 통신은 O(n²)이며, 이는 점근적으로 최적의 수준이며 이전의 O(n³) 기준에 비해 엄밀한 개선이다.
• 외부적으로 유효한 입력을 가정할 경우, 모든 신뢰할 수 있는 당사자들이 단일 완료된 뷰 내에서 확률 2/3 이상으로 결정을 내린다.
• 프로토콜은 뷰당 기대로 O(n²)개의 메시지만을 사용하며, 결정이 기대 상수 개의 뷰 내에서 발생하므로 총 통신 복잡도는 O(n²)로 유지된다.
• 적응형 대상자에 대비해 적응형 보안 임계값 서명과 공통 코인 프로토콜을 사용하여 보안성이 확보된다.
• 적응형 대상자 하에서 어떤 VABA 프로토콜이라도 최소 Ω(n²)의 기대 메시지 수가 필요하다는 하한선이 설정되었으며, 이는 O(n²) 통신이 점근적으로 최적임을 증명한다.