Alapfogalmak
이 논문은 오류 없는 동기식 비잔틴 합의 알고리즘 Ext를 제시합니다. Ext는 외부 유효성(valid 값만 결정될 수 있음)을 만족하면서도 근접 최적의 비트 복잡도와 라운드 복잡도를 달성합니다.
Kivonat
이 논문은 오류 없는 동기식 비잔틴 합의 알고리즘 Ext를 제안합니다. Ext는 다음과 같은 특징을 가집니다:
- 외부 유효성(valid 값만 결정될 수 있음)을 만족합니다.
- 근접 최적의 비트 복잡도 O(n log(n)L + n^2 log(n))와 라운드 복잡도 O(n)을 달성합니다.
- 최적의 내성(t < n/3 고장 허용)을 가집니다.
Ext는 다음과 같은 방식으로 설계되었습니다:
- Berman, Garay and Perry, Coan and Welch이 제안한 재귀적 프레임워크를 활용합니다.
- Chen이 제안한 COOL 알고리즘과 Das, Xiang and Ren이 제안한 데이터 전파 기본 연산을 활용합니다.
- 등급 합의(graded consensus) 및 위원회 전파(committee dissemination) 기본 연산을 구현합니다.
등급 합의는 COOL 기반으로 구현되며, 위원회 전파는 ADD 기반으로 구현됩니다. 이를 통해 Ext는 오류 없는 근접 최적화된 검증된 합의를 달성할 수 있습니다.
Statisztikák
모든 올바른 프로세스는 유효한 값만 제안합니다.
모든 올바른 프로세스는 유효한 값만 Ext 내에서 제안합니다.
만약 H1이 건강하다면, 모든 올바른 프로세스는 동일한 유효한 값 v*를 esti 변수에 저장합니다.
만약 H2가 건강하다면, 모든 올바른 프로세스는 동일한 유효한 값을 결정합니다.
Idézetek
"이 논문은 오류 없는 동기식 비잔틴 합의 알고리즘 Ext를 제안합니다."
"Ext는 외부 유효성(valid 값만 결정될 수 있음)을 만족하면서도 근접 최적의 비트 복잡도와 라운드 복잡도를 달성합니다."
"Ext는 최적의 내성(t < n/3 고장 허용)을 가집니다."