이 논문은 오류 없는 동기식 비잔틴 합의 알고리즘 Ext를 제시합니다. Ext는 외부 유효성(valid 값만 결정될 수 있음)을 만족하면서도 근접 최적의 비트 복잡도와 라운드 복잡도를 달성합니다.
