[논문 리뷰] Distributed Consensus Resilient to Both Crash Failures and Strategic Manipulations

Xiaohui Bei, Wei Chen외 1명|arXiv (Cornell University)|2012. 03. 20.

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

한 줄 요약

이 논문은 동기 시스템에서 크래시 장애와 이성적인 에이전트의 전략적 조작 양쪽에 대해 내성적인 합의 프로토콜을 제안한다. 2명의 공모자에 견디는 결정론적 프로토콜과 최대 $ n-1 $명의 공모자를 수용하는 확률적 프로토콜을 도입하며, 공모에 저항하는 내쉬 균형을 사용하여 조작과 장애 상황에서도 안정성을 확보한다.

ABSTRACT

In this paper, we study distributed consensus in synchronous systems subject to both unexpected crash failures and strategic manipulations by rational agents in the system. We adapt the concept of collusion-resistant Nash equilibrium to model protocols that are resilient to both crash failures and strategic manipulations of a group of colluding agents. For a system with $n$ distributed agents, we design a deterministic protocol that tolerates 2 colluding agents and a randomized protocol that tolerates $n - 1$ colluding agents, and both tolerate any number of failures. We also show that if colluders are allowed an extra communication round after each synchronous round, there is no protocol that can tolerate even 2 colluding agents and 1 crash failure.

연구 동기 및 목표

• 크래시 장애와 이성적인 에이전트의 전략적 조작을 동시에 고려한 장애 내성 합의의 격차를 메운다.
• 에이전트들이 개인 이득을 위해 결과를 조작하기 위해 공모해도 안정적이고 일관된 프로토콜을 설계한다.
• 예기치 않은 크래시 장애와 이타적인 에이전트의 의도적인 프로토콜 조작에 모두 내성을 확보한다.
• 공모자들이 비공식적 통신 채널을 가진 시스템에서의 내성 한계를 탐구한다.
• 공모에 대한 내성성과 프로토콜 설계의 이론적 경계를 설정한다.

제안 방법

• 이성적인 에이전트가 조작을 계획적으로 수행할 수 있는 상황을 모델링하기 위해 공모에 저항하는 내쉬 균형 개념을 적응 적용한다.
• 2명의 공모자와 무제한의 크래시 장애를 수용할 수 있는 결정론적 프로토콜을 설계하며, 라운드 기반의 의사결정 메커니즘을 사용한다.
• 예측 가능한 조작 경로를 방지하기 위해 랜덤화를 도입함으로써 최대 $ n-1 $명의 공모자를 수용하는 확률적 프로토콜을 개발한다.
• 독재자 기반 분석을 통해 프로토콜의 내성을 증명한다: 어떤 장애 패tern이든 존재할 때, 유일한 에이전트가 의사결정자로 식별된다.
• 불가능성 결과를 증명하기 위해, 공모자 간의 비공식적 통신이 감지되지 않는 조작을 가능하게 하여 2명 이상의 공모자를 수용할 수 없음을 보여준다.
• 모든 라운드에 걸쳐 메시지 삭제를 고려한 논증을 적용하여, 공모자 간의 비공식적 통신을 允허하는 어떤 프로토콜도 2명 이상의 공모자에 대해 내성적이지 않음을 입증한다.

실험 결과

연구 질문

• RQ1 크래시 장애와 이성적인 에이전트의 전략적 조작에 모두 견디는 합의 프로토콜을 설계할 수 있는가?
• RQ2 크래시 장애가 존재하는 동기 시스템에서 합의 프로토콜이 수용할 수 있는 최대 공모자 수는 얼마인가?
• RQ3 랜덤화를 통해 $ n-1 $명의 공모자를 수용하는 것이 가능한가?
• RQ4 공모자들이 비공식적 통신 채널에 접근할 수 있을 경우, 합의 프로토콜의 근본적 한계는 무엇인가?
• RQ5 결정론적 프로토콜이 크래시 장애와 전략적 조작에 모두 내성을 유지하면서 2명 이상의 공모자를 수용할 수 있는가?

주요 결과

• 2명의 공모자와 무제한의 크래시 장애를 수용할 수 있는 결정론적 합의 프로토콜을 제시하며, 체계적인 라운드 기반 의사결정 과정을 통해 내성을 달성한다.
• 최대 $ n-1 $명의 공모자를 수용할 수 있는 확률적 합의 프로토콜을 설계하여, 랜덤화가 전략적 조작에 대한 더 강력한 내성을 가능하게 함을 보여준다.
• 공모자 간의 비공식적 통신이 가능한 동기 시스템에서, 어떤 확률적 프로토콜도 2명 이상의 공모자와 1건의 크래시 장애를 동시에 수용할 수 없다는 것을 증명한다.
• 공모자 간의 비공식적 통신을 允허하는 모든 프로토콜은, 감지되지 않는 메시지 생략 공격으로 인해 2명 이상의 공모자에 대해 내성적이지 않음을 입증한다.
• 메시지 삭제를 핵심 라운드에서 분석함으로써 불가능성 결과를 확립한다. 공모자들은 비대칭적 메시지 수신을 악용하여 독재자 결과를 조작할 수 있다.
• 제안된 프로토콜의 라운드 복잡도는 $ 2f+2 $ 또는 $ 3f+4 $이며, 표준 크래시 장애 전용 프로토콜의 $ f+1 $ 복잡도보다 높다. 이는 전략적 내성성을 확보하기 위한 희생임을 시사한다.