[논문 리뷰] Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f+1

Marc Leinweber, Hannes Hartenstein|arXiv (Cornell University)|2023. 01. 01.

Distributed systems and fault tolerance인용 수 2

한 줄 요약

이 논문은 신뢰할 수 있는 실행 환경(Tee)과 DAG-Rider 프레임워크를 통합하여 n ≥ 2f+1 장애 내성 성능을 달성하는 비동기 Byzantine 원자 브로드캐스트(ABAB) 프로토콜인 TEE-Rider를 제안한다. TEE에서 유도된 고유한 순차 식별자(USIG)를 활용해 단일에코 신뢰성 브로드캐스트를 수행하고, 쿼orum 임계값을 ⌊n/2⌋+1로 조정함으로써, DAG-Rider의 단순성은 유지하면서도 상수 크기의 메시지 오버헤드로만 전면 Byzantine 장애 내성 기능을 구현한다.

ABSTRACT

Asynchronous Byzantine Atomic Broadcast (ABAB) promises simplicity in implementation as well as increased performance and robustness in comparison to partially synchronous approaches. We adapt the recently proposed DAG-Rider approach to achieve ABAB with $n\geq 2f+1$ processes, of which $f$ are faulty, with only a constant increase in message size. We leverage a small Trusted Execution Environment (TEE) that provides a unique sequential identifier generator (USIG) to implement Reliable Broadcast with $n>f$ processes and show that the quorum-critical proofs still hold when adapting the quorum size to $\lfloor \frac{n}{2} floor + 1$. This first USIG-based ABAB preserves the simplicity of DAG-Rider and serves as starting point for further research on TEE-based ABAB.

연구 동기 및 목표

• n ≥ 2f+1 프로세스에서 Byzantine 장애를 지원하는 단순하고 효율적이며 견고한 ABAB 프로토콜을 설계하기.
• 기존의 부분적으로 동기적인 BFT 프로토콜(PBFT 등)과 비교해 통신 복잡도를 감소시키기.
• 단지 상수 크기의 TEE 확장 기능만을 사용해 이국적인 환경에서도 전면 장애 내성을 달성하기.
• TEE 기반 원리로 기존 DAG-Rider의 구조적 단순성을 유지하면서도 장애 내성 능력을 향상시키기.
• DAG-Rider의 쿼럼 기반 정당성 논증이 TEE 기반 신뢰성 브로드캐스트와 함께 더 작은 쿼럼 크기로도 유효한지 입증하기.

제안 방법

• DAG-Rider 프로토콜을 개선하여 이중에코 신뢰성 브로드캐스트를 TEE 기반 USIG로 구동하는 단일에코 신뢰성 브로드캐스트로 대체한다.
• USIG를 사용해 각 메시지에 대해 고유하고 암호적으로 서명된 순차 식별자를 생성함으로써 무결성을 보장하고 이중성 방지 기능을 수행한다.
• 기존의 2f+1에서 ⌊n/2⌋+1로 쿼럼 요구 조건을 수정함으로써 새로운 신뢰성 브로드캐스트 의미 체계와 일치시키면서도 정당성을 유지한다.
• DAG-Rider의 핵심 DAG 구조와 경로 기반의 약속 로직을 그대로 유지하며, 오직 하위 수준의 신뢰성 브로드캐스트 원리만 교체한다.
• 공통 코인을 사용해 웨이브 리더를 선정하고 최종화를 유도하는 웨이브 기반 결정 메커니즘을 도입한다.
• DAG 내 강한 경로와 약한 경로를 활용해 약속을 전파하고, 정상 프로세스 간 총순서 전달을 보장한다.

실험 결과

연구 질문

• RQ1 DAG-Rider 프로토콜은 TEE 기반의 신뢰성 브로드캐스트 원리를 사용해 n ≥ 2f+1 Byzantine 장애 내성을 달성할 수 있는가?
• RQ2 2f+1에서 ⌊n/2⌋+1로 쿼럼 크기를 줄였을 때, TEE 기반 신뢰성 브로드캐스트를 사용하는 ABAB 프로토콜의 정당성과 활성화가 유지되는가?
• RQ3 TEE 기반 접근 방식은 DAG-Rider의 단순성과 낮은 통신 오버헤드를 유지하면서도 이국적인 환경에서 전면 Byzantine 장애 내성을 달성할 수 있는가?
• RQ4 새로운 쿼럼 크기와 TEE 기반 신뢰성 브로드캐스트 하에서 총순서 전달에 대한 쿼럼 기반 논증이 여전히 유효한가?
• RQ5 보안성과 활성화를 확보하면서도 메시지 오버헤드가 상수 크기(예: 카운터와 서명)로만 유지되는가?

주요 결과

• TEE-Rider 프로토콜은 n ≥ 2f+1 프로세스에서 비동기 Byzantine 원자 브로드캐스트를 성공적으로 달성하여, 원래의 f < n/2 제약 조건을 초월한 DAG-Rider의 적용 범위를 확장한다.
• 메시지 복잡도는 DAG-Rider와 동일하며, USIG 덕분에 메시지당 상수 크기의 증가(카운터와 서명)만 발생한다.
• DAG-Rider의 쿼럼 기반 정당성 논증은 새로운 쿼럼 크기 ⌊n/2⌋+1 하에서도 유지되어 합의성과 총순서를 보장한다.
• TEE 기반의 단일에코 신뢰성 브로드캐스트 사용으로 이중에코 메커니즘의 필요성이 제거되어 통신 오버헤드가 감소하고 구현이 단순화된다.
• 이 프로토콜은 TEE를 활용해 기존의 부분적으로 동기 프로토콜을 전면 비동기 Byzantine 장애 내성으로 업그레이드할 수 있으며, 변경 사항은 최소화되고 오버헤드는 상수 수준을 유지함을 입증한다.
• 이 설계는 향후 TEE 기반 ABAB 프로토콜 연구, 특히 딜러 없는 비동기 환경에서의 연구에 기초적인 블루프린트로 기여한다.