[논문 리뷰] A Resilient Convex Combination for consensus-based distributed algorithms

Xuan Wang, Shaoshuai Mou외 1명|arXiv (Cornell University)|2018. 06. 27.

Distributed Control Multi-Agent Systems참고 문헌 23인용 수 3

한 줄 요약

이 논문은 악성 벡터를 악성 벡터에서 분리하기 위해 볼록 다각형의 교차를 활용하여 계산 복잡도가 낮은 내성적인 볼록 조합 방법을 제안한다. 이 방법은 악성 에이전트를 사전에 식별하지 않아도 Byzantine 공격 상황에서도 일관성 확보가 가능하며, 시간 변화가 있는 네트워크에 적용 가능한 것으로, Tverberg 점 기반 방법보다 수렴 속도와 적용 범위에서 뛰어나다.

ABSTRACT

Consider a set of vectors in $\mathbb{R}^n$, partitioned into two classes: normal vectors and malicious vectors. The number of malicious vectors is bounded but their identities are unknown. The paper provides a way for achieving a resilient convex combination, which is a convex combination of only normal vectors. Compared with existing approaches based on Tverberg points, the proposed method based on the intersection of convex hulls has lower computational complexity. Simulations suggest that the proposed method can be applied to resilience for consensus-based distributed algorithms against Byzantine attacks.

연구 동기 및 목표

• 악성 에이전트가 위조 정보를 주입하는 상황에서 다중 에이전트 시스템에서 내성적인 일관성을 달성하는 데 도전 과제를 해결하기 위해.
• 악성 에이전트의 신원을 사전에 식별하지 않고도 악성 벡터를 배제할 수 있는 볼록 조합 방법을 개발하기 위해.
• 기존의 Tverberg 점 기반 접근법에 비해 계산 복잡도를 감소시키기 위해.
• 고정 및 시간 변화가 있는 네트워크 토폴로지 모두에서 내성성을 확보하기 위해, 특히 제약 조건이 있는 일관성 문제에 적용 가능하도록 하기 위해.
• 제약 조건이 있는 일관성 시나리오와 제약 조건이 없는 일관성 시나리오에서의 시뮬레이션을 통해 방법의 효과성을 검증하기 위해.

제안 방법

• 내성적인 볼록 조합을 에이전트 상태의 부분집합에서 형성된 다수의 볼록 다각형의 교차 내에 존재하는 벡터로 수식화한다.
• 유효한 내성적 조합 집합을 선형 제약 조건의 집합으로 모델링하여 2차 프rogramming을 통해 해결할 수 있도록 한다.
• 모든 크기가 최소 p 이상인 부분집합의 볼록 다각형 교차 내에 존재하는 볼록 조합을 계산하는 알고리즘을 설계한다. 여기서 p는 정상 벡터의 하한이다.
• 악성 에이전트를 식별할 필요 없이, 충분히 큰 부분집합의 볼록 다각형 교차가 정상 벡터만 포함한다는 기하학적 성질에 의존한다.
• 표준 볼록 조합 대신 내성적 조합을 일관성 업데이트 규칙에 통합하여, 악성 입력이 존재하더라도 수렴을 보장한다.
• 이 방법은 제약 조건이 없는 경우와 제약 조건이 있는 경우 모두에 적용 가능하며, 분산 환경에서 선형 방정식을 해결하는 데에도 유용하다.

실험 결과

연구 질문

• RQ1 Tverberg 점 기반 방법보다 계산 복잡도가 낮은 내성적 볼록 조합을 계산할 수 있는가?
• RQ2 제시된 방법이 악성 에이전트의 신원을 식별하지 않아도 일관성을 확보할 수 있는가?
• RQ3 Tverberg 기반 방법이 실패하는 경우, 시간 변화가 있는 네트워크 토폴로지 상에서도 이 방법이 효과를 발휘하는가?
• RQ4 제안된 방법의 수렴 속도는 Tverberg 점 기반 내성 조합에 비해 어떻게 비교되는가?
• RQ5 내성적 볼록 조합이 악성 조건 하에서 분산 알고리즘에 효과적으로 통합될 수 있는가, 특히 선형 방정식을 푸는 데에 적용 가능한가?

주요 결과

• 제안된 방법은 볼록 다각형의 교차를 통해 내성적 볼록 조합을 달성하여, Tverberg 점 기반 접근법에 비해 계산 복잡도를 감소시킨다.
• 시뮬레이션 결과, 악성 에이전트가 위조 데이터를 주입하는 상황에서도 내성적 볼록 조합이 제약 조건이 없는 일관성 문제와 제약 조건이 있는 일관성 문제 모두에서 일관성을 달성함을 보여준다.
• 고정 네트워크와 시간 변화가 있는 네트워크에서의 시뮬레이션을 통해, Tverberg 점 기반 내성 조합보다 수렴 속도가 빠르다는 점이 입증되었다.
• Tverberg 기반 방법이 이웃 수가 부족하여 실패하는 시간 변화가 있는 네트워크에서 이 방법이 효과적으로 작동함을 확인했다.
• 내성적 볼록 조합은 Byzantine 공격 상황에서도 분산 선형 방정식 해법에서 올바른 일관성 값으로 지수 수렴을 보장한다.
• 이 방법은 악성 에이전트의 신원 식별이 필요 없어, 동적이고 악성 환경에 적합하다.