[논문 리뷰] CFT-Forensics: High-Performance Byzantine Accountability for Crash Fault Tolerant Protocols

Weizhao Tang, Peiyao Sheng외 5명|arXiv (Cornell University)|2023. 05. 16.

Distributed systems and fault tolerance인용 수 2

한 줄 요약

CFT-Forensics는 Raft와 같은 크래시 Fault Tolerant (CFT) 프로토콜을 위한 고성능 책임성 프레임워크로, 최소한의 오버헤드로 비잔틴 노드를 암호학적으로 식별할 수 있도록 한다. 실제 CBDC 구현에서 Raft의 97.8%의 Throughput를 달성하고 지연 시간은 14.5% 높게 유지하며, 일반적인 솔루션인 PeerReview보다 우수한 성능을 보이며, 프로토콜 특화 최적화를 통해 달성한다.

ABSTRACT

Crash fault tolerant (CFT) consensus algorithms are commonly used in scenarios where system components are trusted -- e.g., enterprise settings and government infrastructure. However, CFT consensus can be broken by even a single corrupt node. A desirable property in the face of such potential Byzantine faults is \emph{accountability}: if a corrupt node breaks protocol and affects consensus safety, it should be possible to identify the culpable components with cryptographic integrity from the node states. Today, the best-known protocol for providing accountability to CFT protocols is called PeerReview; it essentially records a signed transcript of all messages sent during the CFT protocol. Because PeerReview is agnostic to the underlying CFT protocol, it incurs high communication and storage overhead. We propose CFT-Forensics, an accountability framework for CFT protocols. We show that for a special family of \emph{forensics-compliant} CFT protocols (which includes widely-used CFT protocols like Raft and multi-Paxos), CFT-Forensics gives provable accountability guarantees. Under realistic deployment settings, we show theoretically that CFT-Forensics operates at a fraction of the cost of PeerReview. We subsequently instantiate CFT-Forensics for Raft, and implement Raft-Forensics as an extension to the popular nuRaft library. In extensive experiments, we demonstrate that Raft-Forensics adds low overhead to vanilla Raft. With 256 byte messages, Raft-Forensics achieves a peak throughput 87.8\% of vanilla Raft at 46\% higher latency ($+44$ ms). We finally integrate Raft-Forensics into the open-source central bank digital currency OpenCBDC, and show that in wide-area network experiments, Raft-Forensics achieves 97.8\% of the throughput of Raft, with 14.5\% higher latency ($+326$ ms).

연구 동기 및 목표

• 크래시 Fault Tolerant (CFT) 프로토콜에서 비잔틴 장애 상황 하에 효율적이고 실용적인 책임성이 부족한 문제를 해결하기 위해.
• 기존 CFT 공인 프로토콜을 대체하지 않고도 암호학적으로 오작행을 하는 노드를 식별할 수 있는 책임성—즉, 암호학적 식별 능력—을 제공하기 위해.
• 모든 메시지를 기록하는 일반적인 책임 솔루션인 PeerReview와 같은 것들에서 유래하는 통신 및 저장소 오버헤드를 줄이기 위해.
• 중앙은행 디지털 통화(CBDCs)와 같은 실세계 시스템에 책임성을 실용적으로 구현할 수 있도록 하되, 성능에 미치는 영향을 최소화하기 위해.

제안 방법

• Raft와 다중 Paxos를 포함한 CFT 프로토콜의 포렌식 호환성 가족을 설계하여, 구조화된 로깅과 암호학적 서명을 통해 효율적인 책임성을 지원하도록 한다.
• 모든 메시지의 전문을 기록하는 것과 비교해 오버헤드를 줄이기 위해 필수 상태와 메시지 메타데이터만 기록하는 경량의 프로토콜 특화 로깅 메커니즘을 도입한다.
• nuRaft 라이브러리에 확장된 Raft-Forensics를 구현하여 원본 프로토콜에 최소한의 변경으로 공인 로직에 통합한다.
• 조각화된 데이터 구조와 암호학적 해싱을 사용하여 포렌식 분석을 위한 효율적인 감사 및 증거 생성을 가능하게 한다.
• 공격 탐지 및 증거 제시를 시각화하는 뷰어를 개발하여, 유해한 노드 식별 및 끝내기 어쩔 수 없는 증거를 포함한다.
• 마이크로 벤치마크와 OpenCBDC와의 실세계 통합을 통한 평가를 수행하여 실제 워크로드 하에서의 Throughput와 지연 시간을 측정한다.

실험 결과

연구 질문

• RQ1 일반적인 솔루션인 PeerReview보다 훨씬 낮은 오버헤드를 유발하면서도 실용적인 책임성 프레임워크를 CFT 프로토콜에 구축할 수 있는가?
• RQ2 실세계 구현에서 프로토콜 특화 책임성 확장 기능이 원본 CFT 프로토콜 대비 성능에 비해 어떻게 비교되는가?
• RQ3 Raft와 같이 널리 사용되는 CFT 프로토콜에 최소한의 변경으로 책임성을 통합할 수 있고, 시스템 가용성이나 정확성에 영향을 주지 않을 수 있는가?
• RQ4 Raft와 같은 대규모 지리적으로 분산된 구현, 예를 들어 CBDC에서 책임성 오버헤드와 시스템 성능 간의 상호 교환 관계는 어떠한가?
• RQ5 제안된 프레임워크는 독립적인 감사가 가능한 암호학적으로 강력한 오작행 증거를 제공할 수 있는가?

주요 결과

• 256바이트 메시지로 Raft-Forensics는 원래 Raft의 피크 Throughput의 87.8%를 달성하며, 지연 시간은 44ms 증가한다.
• OpenCBDC와의 광역망 실험에서 Raft-Forensics는 Raft의 97.8%의 Throughput를 달성하고 지연 시간은 14.5% 높아져 (+326ms) 성능이 향상된다.
• 프로토콜 특화 구조를 활용하고 전체 메시지 로깅을 피하기 때문에, PeerReview 대비 통신 및 저장소 오버헤드를 줄였다.
• 성능 평가 결과, Raft-Forensics는 고부하 및 네트워크 파artition 상황에서도 강력한 일致성과 감사 가능성을 유지한다.
• OpenCBDC와의 통합을 통해 책임성이 생산 수준의 CBDC 시스템에 수용 가능한 성능 트레이드오프로 추가될 수 있음을 입증했다.
• 뷰어는 공격 탐지 및 증거 제시를 성공적으로 시각화하였으며, 유해한 노드 식별과 오작행에 대한 끝내기 어쩔 수 없는 암호학적 증거를 포함한다.