[논문 리뷰] Robustness and efficiency of leaderless probabilistic consensus protocols within Byzantine infrastructures

Angelo Capossele, Sebastian Müller외 1명|arXiv (Cornell University)|2019. 11. 20.

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

한 줄 요약

이 논문은 국소적 랜덤화와 적응형 정지 규칙을 통해 바르킨시안 네트워크에서 강건성을 향상시키는 리더 없는 확률적 공감 프로토콜(FPC)을 제안한다. 최적의 랜덤성은 악성 노드에 대한 저항력을 크게 향상시키며, 최대 10%의 악성 제어와 부분적 네트워크 가시성 조건에서도 높은 무결성 및 합의율을 달성함을 입증한다.

ABSTRACT

This paper investigates leaderless binary majority consensus protocols with low computational complexity in noisy Byzantine infrastructures. Using computer simulations, we show that explicit randomization of the consensus protocol can significantly increase the robustness towards faulty and malicious nodes. We identify the optimal amount of randomness for various Byzantine attack strategies on different kinds of network topologies.

연구 동기 및 목표

• 최소한의 계산 오버헤드로 바르킨시안 감염 네트워크에서 리더 없는 이진 다수결 공감 프로토콜의 강건성을 향상시키기.
• 중앙 집중식 조율 또는 장애 감지에 의존하지 않고, 랜덤화가 고장 난 노드 및 악성 노드에 대한 저항력을 어떻게 향상시키는지 조사하기.
• 지역 정지 규칙을 갖춘 프로토콜을 설계하여 자율적인 종료를 가능하게 하되, 높은 합의율과 무결성율을 유지하기.
• 비대칭 오류 유형(0-무결성 실패 및 1-무결성 실패)의 영향을 분석하고, 이에 따라 임계값을 최적화하기.
• 부분적 네트워크 가시성 및 다양한 악성 전략(예: 신중한 행동 및 무모한 행동) 조건 하에서 프로토콜 성능 평가하기.

제안 방법

• 지역에서 생성하거나 신뢰할 수 있는 난수를 사용하여 단순화된 빠른 확률적 공감(FPC) 프로토콜을 제안하여 확률적 의사결정을 도입한다.
• 노드가 충분한 지역적 합의를 이룬 후 자율적으로 종료하는 지역 정지 규칙을 구현하여 전역 조율이 필요 없도록 한다.
• 첫 번째 라운드에서 0.5보다 큰 고정된 큐럼 임계값을 적용하여 0과 1 결과의 비대칭적 중요성을 반영함으로써 특정 오류 유형에 대한 강건성을 향상시킨다.
• 소월 네트워크 구조를 시뮬레이션하기 위해 워츠-스트로가츠 모델을 사용하여 부분적 노드 가시성을 가능하게 하여 네트워크 인식의 현실성 있는 평가를 가능하게 한다.
• 통계적 유의성을 확보한 시뮬레이션 기반 평가를 통해 제어된 악성 전략 하에서 합의율, 종료율, 무결성 실패율을 측정한다.
• 두 가지 악성 전략 모델(신중한 전략: 일관된 응답, 무모한 전략: 일관되지 않은 응답)을 평가하여 최악의 상황에서의 강건성을 분석한다.

실험 결과

연구 질문

• RQ1 장애 감지 기능이 없는 바르킨시안 네트워크에서 랜덤화는 리더 없는 공감 프로토콜의 강건성을 어떻게 향상시키는가?
• RQ2 다양한 악성 전략 하에서 실패율을 최소화하면서 합의율과 무결성율을 최대화하는 최적의 랜덤성 수준은 무엇인가?
• RQ3 부분적 네트워크 가시성(예: 50% 노드 인식)은 프로토콜의 수렴성과 신뢰성에 어떤 영향을 미치는가?
• RQ4 무결성 또는 합의 실패 없이 프로토콜이 최대 10%의 악성 제어를 얼마나 견딜 수 있는가?
• RQ5 비대칭 오류 유형(0-무결성 실패 대비 1-무결성 실패)은 공감 프로토콜의 설계 및 성능에 어떤 영향을 미치는가?

주요 결과

• 랜덤 임계값이 최적화된 경우, 최대 10%의 노드가 악성일 경우에도 프로토콜은 높은 합의율과 무결성율을 달성한다.
• 랜덤화는 특히 종료 실패 및 합의 실패를 방지함으로써, 신중한 및 무모한 악성 전략에 의한 영향을 크게 감소시킨다.
• 단지 50%의 네트워크 인식 조건에서도 프로토콜은 링 그래프에서 강력한 성능을 유지하며, 간선의 무작위 재연결이 이루어질수록 성능이 더욱 향상된다.
• 노드당 평균 메시지 복잡도는 일정하며, 이로 인해 네트워크 크기가 증가함에 따라 총 메시지 복잡도는 O(n) 비율로 스케일링된다.
• 악성 노드가 일시적으로 난수 생성을 제어하더라도 프로토콜은 실패 없이 지연만 발생시키며 여전히 강건성을 유지한다.
• 랜덤 임계값의 범위를 줄이면 강건성이 향상되어, 임계값이 0.5에 가까워질수록 더 많은 바르킨시안 노드를 견딜 수 있다.