[논문 리뷰] Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR

Oded Naor, Idit Keidar|arXiv (Cornell University)|2020. 01. 01.

Distributed systems and fault tolerance인용 수 6

한 줄 요약

이 논문은 비잔티너 상태 기계 복제(SMR)를 위한 새로운 라운드 동기화 알고리즘을 제안하며, 비잔티너 결함 조건 하에서도 기대 선형 메시지 복잡도와 기대 상수 지연을 달성한다. 릴레이 기반의 임계 서명 메커니즘과 지연된 프로세스를 보조하는 메커니즘을 사용함으로써 이전 솔루션의 이차 통신 비용을 제거하여, 최적의 성능을 보이는 최초의 엔드 투 엔드 선형 비잔티너 SMR 프로토콜을 가능하게 한다.

ABSTRACT

State Machine Replication (SMR) solutions often divide time into rounds, with a designated leader driving decisions in each round. Progress is guaranteed once all correct processes synchronize to the same round, and the leader of that round is correct. Recently suggested Byzantine SMR solutions such as HotStuff, Tendermint, and LibraBFT achieve progress with a linear message complexity and a constant time complexity once such round synchronization occurs. But round synchronization itself incurs an additional cost. By Dolev and Reischuk’s lower bound, any deterministic solution must have Ω(n²) communication complexity. Yet the question of randomized round synchronization with an expected linear message complexity remained open. We present an algorithm that, for the first time, achieves round synchronization with expected linear message complexity and expected constant latency. Existing protocols can use our round synchronization algorithm to solve Byzantine SMR with the same asymptotic performance.

연구 동기 및 목표

• 라운드 동기화로 인한 비잔티너 SMR 프로토콜의 성능 저하 문제를 해결한다. 이는 이차 통신 비용을 수반한다.
• 이전 솔루션이 이차 복잡도를 가졌거나 양호한 결함 조건에서만 작동함으로써 발생하는 기대 복잡도 격차를 메운다.
• 비잔티너 프로세스가 존재하는 조건 하에서도 기대 선형 메시지 복잡도와 상수 지연을 달성한다. 이는 무심한 또는 강력한 대상자 모델을 기반으로 한다.
• 기존 SMR 프로토콜인 HotStuff, Tendermint, LibraBFT 등에 통합될 수 있는 모듈형이고 조합 가능한 솔루션을 제공함으로써 엔드 투 엔드 성능을 향상시킨다.
• 비잔티너 결함 조건 하에서도 정확성과 활성화를 보장하면서, 신규 릴레이 기반 임계 서명 및 캐치업 메커니즘을 통해 통신 오버헤드를 최소화한다.

제안 방법

• 협력 로직을 격리하기 위해 라운드 동기화를 동기화자 추상화와 로컬 함수로 분해한다.
• 모든 프로세스가 모든 다른 프로세스에게 브로드캐스트하는 대신, 각 프로세스가 지정된 릴레이에 메시지를 전송하는 릴레이 기반 메시지 배포 방식을 사용한다.
• 임계 서명을 활용하여 다수의 메시지를 단일 상수 크기의 서명으로 압축함으로써, 각 라운드당 통신을 O(n)으로 줄인다.
• 지연된 프로세스가 전체 모든 대상 간 브로드캐스트 없이도 효율적으로 캐치업할 수 있도록 보조 메커니즘을 도입한다.
• 재생 공격 및 릴레이 위조 공격을 방지하기 위해 각 메시지를 대상 릴레이에 서명한다.
• 릴레이 선택 및 메시지 집합에 무작위성을 도입하여 비잔티너 릴레이 및 악성 행동에 대한 내성을 확보한다.

실험 결과

연구 질문

• RQ1 비잔티너 SMR에서 라운드 동기화를 기대 선형 메시지 복잡도와 상수 지연으로 달성할 수 있는가?
• RQ2 비잔티너 결함을 견딜 수 있는 조건 하에서, 라운드 동기화의 기대 통신 비용을 이차 이하로 낮출 수 있는가?
• RQ3 릴레이 기반 시스템은 비잔티너 릴레이가 메시지를 선택적으로 전달하거나 메시지 폭발을 일으키는 것을 방지할 수 있는가?
• RQ4 캐치업 메커니즘은 전체 모든 대상 간 통신 없이도 지연된 프로세스가 효율적으로 동기화할 수 있도록 할 수 있는가?
• RQ5 강력한 대상자 조건 하에서 라운드 동기화의 성능 한계는 무엇이며, 무한 실행에 대해 기대치로 유한하게 제한될 수 있는가?

주요 결과

• 제안된 알고리즘은 무심한 대상자 조건 하에서 라운드 동기화에 대해 기대 선형 메시지 복잡도와 기대 상수 지연을 달성한다.
• 강력한 대상자 조건 하에서, 무한 실행에 걸쳐 평균 기대 메시지 복잡도와 지연은 각각 선형 및 상수 값으로 유한하게 제한된다.
• 임계 서명의 사용으로 인해 메시지의 크기가 프로세스 수에 관계없이 항상 상수 크기로 유지된다.
• 보조 메커니즘 덕분에 지연된 프로세스는 전체 모든 대상 간 브로드캐스트 없이도 O(n) 메시지만으로 현재 라운드에 동기화할 수 있다.
• 메시지 서명 및 임계 기반 집합을 통해 비잔티너 결함, 특히 악성 릴레이에 대한 내성을 확보하여 프로토콜의 안정성을 확보한다.
• 이 솔루션은 비잔티너 SMR에서 중요한 성능 격차를 메우며, HotStuff 및 LibraBFT와 같은 프로토콜에 대해 엔드 투 엔드 선형 복잡도를 가능하게 한다.