[논문 리뷰] Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority

Eli Gafni, Giuliano Losa|arXiv (Cornell University)|2023. 01. 01.

Distributed systems and fault tolerance인용 수 1

한 줄 요약

이 논문은 권한 없는, 동적으로 가용한 시스템에서 바이러스성 대상이 존재하는 환경에서 결정론적 합의를 연구하기 위해 반복적이고 무한한 인증된 바이러스성(IIAB) 모델을 도입한다. 이 모델은 두 가지 합의 알고리즘을 제시한다: 확률적 리더 선출을 통해 결정론적 안전성과 일정한 기대 지연을 보장하는 알고리즘과, 취소 불가능한 위조 및 점차 안정화되는 참여를 전제로 하여 결정론적 안전성과 생존성을 확보하는 알고리즘으로, 1/2 이하의 위조 프로세서를 가진 少수 대상자 모델 하에서 작동한다.

ABSTRACT

In a permissionless system like Ethereum, participation may fluctuate dynamically as some participants unpredictably go offline and some others come back online. In such an environment, traditional Byzantine fault-tolerant consensus algorithms may stall - even in the absence of failures - because they rely on the availability of fixed-sized quorums. The sleepy model formally captures the main requirements for solving consensus under dynamic participation, and several algorithms solve consensus with probabilistic safety in this model assuming that, at any time, more than half of the online participants are well behaved. However, whether safety can be ensured deterministically under these assumptions, especially with constant latency, remained an open question. Assuming a constant adversary, we answer in the positive by presenting a consensus algorithm that achieves deterministic safety and constant latency in expectation. In the full version of this paper, we also present a second algorithm which obtains both deterministic safety and liveness, but is likely only of theoretical interest because of its high round and message complexity. Both algorithms are striking in their simplicity.

연구 동기 및 목표

• 권한 없는, 동적으로 가용한 시스템에서 바이러스성 대상이 존재하는 환경에서 합의를 연구하기 위한 수학적으로 규칙적인 모델을 정식화하기 위해.
• 소수 대상자 모델 하에서 이러한 시스템에서 결정론적 안전성이 달성될 수 있는지 조사하기 위해.
• 동적 참가와 악성 위조 참가자 존재 하에서 안전성과 생존성을 보장하는 합의 알고리즘을 설계하기 위해.
• 참가자가 알려지지 않았고 변화하는 환경에서 결정론적 합의의 실현 가능 경계를 명확히 하기 위해.

제안 방법

• IIAB 모델을 제안: 동기식이고 라운드 기반의 시스템으로, 무한한 수의 프로세서가 가능하며, 온라인인 프로세서는 악성 당사자에 의해 위조될 수 있다.
• 메시지에 발신자와 라운드를 모두 바인딩하는 강력한 메시지 인증 메커니즘을 도입하여, 라운드 간 복제나 위조를 방지한다.
• 확률적 리더 선출 오라클을 사용하여 결정론적 안전성과 일정한 기대 지연을 달성하는 합의 알고리즘을 설계한다.
• 취소 불가능한 위조와 점차 안정화되는 참가를 전제로 하여 결정론적 안전성과 생존성을 확보하는 두 번째 알고리즘을 개발한다.
• 위원회 기반 접근 방식을 사용하여 프로세서들이 인증된 메시지를 통해 구성원 자격을 검증하고, 위원회 크기를 사전에 알지 못하더라도 합의를 가능하게 한다.
• 효율성보다 명확성과 정확성을 우선시하는 모듈러한 구조로 알고리즘을 구성하여, 교육적 및 이론적 분석에 적합한 설계를 한다.

실험 결과

연구 질문

• RQ1 소수 대상자 모델 하에서 위조가 가능한 동적으로 가용한 권한 없는 합의 시스템에서 결정론적 안전성이 달성될 수 있는가?
• RQ2 참가자가 알려지지 않았고 변화하는 환경에서 결정론적 안전성과 생존성을 확보하기 위해 필요한 최소한의 가정은 무엇인가?
• RQ3 발신자와 라운드에 모두 바인딩된 메시지 인증 메커니즘이 적응적 위조 상황에서도 안전성을 어떻게 보장하는가?
• RQ4 최종 안정화나 유한 장애 집합에 의존하지 않고 IIAB 모델에서 합의 문제를 해결할 수 있는가?
• RQ5 IIAB 모델과 이전의 모델들(예: 수면 모델 또는 인증된 바이러스성 모델) 간의 관계는 어떠한가?

주요 결과

• 논문은 확률적 리더 선출 오라클을 사용하여, 한 명의 양호한 프로세서도 한 라운드 이상 온라인에 머무르지 않는 상황에서도 결정론적 안전성과 일정한 기대 지연을 보장하는 합의 알고리즘을 제시한다.
• 두 번째 알고리즘은 취소 불가능한 위조와 점차 안정화되는 참가를 전제로 하여 결정론적 안전성과 결정론적 생존성을 보장한다.
• IIAB 모델은 정적 수면 모델의 버전을 일반화하며, 유한한 프로세스 집합과 고정된 장애 집합이 존재할 경우 기존의 인증된 바이러스성 모델을 포함한다.
• 모델은 책임의 분리를 명확히 하여, 복잡한 악성 행동에도 불구하고 단순하고 모듈러하며 교육적으로 활용 가능한 합의 알고리즘을 가능하게 한다.
• 결과적으로 IIAB 모델에서 장애 비율이 1/2 이하일 경우 결정론적 합의가 가능하며, 최종 안정화 없이도 가능함을 입증하여 분야 내 열린 질문을 해결한다.
• 메시지 인증이 발신자와 라운드에 모두 바인딩된다는 것은, 지역 상태 유지 없이도 악성 당사자의 위조를 방지할 수 있음을 보여주며, 이는 안전성 확보에 충분하다.