이 논문은 비잔틴 합의(BA) 프로토콜의 다중 인스턴스 실행 보안을 분석하며, 참가자 부패뿐 아니라 통신 채널 공격(메시지 재정렬)까지 결합한 새로운 적대자 모델을 제시한다. 저자들은 병렬·동시 합성 환경에서 부패 참가자 수 t와 공격받은 채널 수 c에 따라 n≤3t 또는 n≤2c+2t+1일 때 인증된 비잔틴 합의조차 안전할 수 없다는 불가능성 결과를 증명하고, 반대로 n이 이 한계를 넘으면 안전한 비인증 프로토콜이 존재함을 보였다. 또한 단일 인스턴스에서 안전한 임의의 BA 프로토콜을 병렬·동시 실행에서도 안전하게 만드는 범용 컴파일러와, 삭제정정부호를 이용해 통신 오버헤드를 크게 줄인 정교화된 버전을 함께 제시한다.

• •참가자 부패와 통신 채널 공격을 결합한 새로운 비잔틴 합의 적대자 모델 제안
• •n≤3t 또는 n≤2c+2t+1일 때 인증된 BA도 병렬 합성에서 안전할 수 없다는 불가능성 증명
• •위 한계를 넘는 n에서는 비인증 BA가 병렬·동시 실행에서도 안전할 수 있음을 증명
• •단일 인스턴스 안전 BA 프로토콜을 병렬·동시 안전 버전으로 바꾸는 범용 블랙박스 컴파일러 제시
• •삭제정정부호 기반 정교화 컴파일러로 긴 메시지에 대한 통신 오버헤드를 점근적으로 원본과 동일하게 절감