Core Concepts
Lumiere는 부분 동기화 모델에서 최악의 경우 통신 복잡도 O(n^2), 최악의 경우 지연 O(nΔ)를 달성하면서도 동시에 최적의 낙관적 반응성을 제공하는 최초의 비잔틴 뷰 동기화 프로토콜이다.
Abstract
Lumiere는 부분 동기화 모델에서 비잔틴 장애 허용 합의 프로토콜을 위한 뷰 동기화 문제를 해결한다. 이 문제는 많은 BFT 상태 머신 복제 프로토콜의 성능 병목 지점이었다.
Lumiere는 다음과 같은 특성을 가진다:
최악의 경우 통신 복잡도 O(n^2)
최악의 경우 지연 O(nΔ)
최적의 낙관적 반응성
궁극적인 최악의 경우 통신 복잡도 O(fan + n)
Lumiere는 LP22 프로토콜과 Fever 프로토콜의 기술을 결합하여 이러한 특성을 달성한다. LP22는 최악의 경우 통신 복잡도 O(n^2)를 달성하지만 단일 Byzantine 프로세서로 인해 Ω(nΔ) 지연이 발생할 수 있다. Fever는 모든 측면에서 최적의 성능을 제공하지만 동기화된 클록을 가정한다. Lumiere는 이 두 프로토콜의 장점을 결합하여 부분 동기화 모델에서 최적의 성능을 제공한다.
Lumiere의 핵심 아이디어는 에포크 개념을 사용하여 "무거운" 동기화 프로세스를 에포크 시작 시에만 수행하고, 에포크 내에서는 "가벼운" 동기화 프로세스를 사용하는 것이다. 또한 성공적인 에포크 이후에는 더 이상 무거운 동기화가 필요 없도록 하는 메커니즘을 도입한다.
Stats
Lumiere는 부분 동기화 모델에서 최악의 경우 통신 복잡도 O(n^2)와 최악의 경우 지연 O(nΔ)를 달성한다.
Lumiere는 궁극적으로 실제 장애 수 fa에 따라 통신 복잡도 O(fan + n)과 지연 O(faΔ + δ)를 달성한다.