[논문 리뷰] A Simple and Efficient Asynchronous Randomized Binary Byzantine Consensus Algorithm

Tyler Crain|arXiv (Cornell University)|2020. 02. 09.

Distributed systems and fault tolerance참고 문헌 37인용 수 6

한 줄 요약

이 논문은 최대 1/3의 장애 노드를 가진 이방형 환경에서 예상 상수시간 종료를 달성하는 간단하고 효율적인 비동기 랜덤화된 이진 바르비시안 합의 알고리즘을 제시한다. 전역 랜덤 코인을 위해 임계값 서명을 사용하고, 메시지 유효성을 위한 암호학적 증명을 적용하여 라운드 수를 줄이고, 메시지 조합을 통해 성능을 향상시켰으며, 10개의 데이터 센터를 포함한 지리적으로 분산된 실험에서 평균 지연 시간이 최소 400ms에 도달했다.

ABSTRACT

This paper describes a simple and efficient asynchronous Binary Byzantine faulty tolerant consensus algorithm. In the algorithm, non-faulty nodes perform an initial broadcast followed by a executing a series of rounds each consisting of a single message broadcast plus the computation of a global random coin using threshold signatures. Each message is accompanied by a cryptographic proof of its validity. Up to one third of the nodes can be faulty and termination is expected in a constant number of rounds. An optimization is described allowing the round message plus the coin message to be combined, reducing rounds to a single message delay. Geodistributed experiments are run on replicates in ten data center regions showing average latencies as low as 400 milliseconds.

연구 동기 및 목표

• 최대 1/3의 장애 프로세스를 가진 이방형 네트워크에서 단순하고 효율적인 바르비시안 합의 알고리즘을 설계한다.
• 동기성 가정에 의존하지 않고 예상 상수시간 종료(O(1) 메시지 지연)를 달성한다.
• 메시지 조합과 최적화된 암호학적 검증을 통해 통신 오버헤드와 라운드 복잡도를 줄인다.
• 실제 지리적으로 분산된 환경에서 실용적인 지연 시간과 대역폭 제약 조건 하에서 성능을 평가한다.
• 안정적인 조건에서 암호학적 증명을 연기하거나 생략할 수 있음을 보여주어 효율성을 향상시킨다.

제안 방법

• 각 노드는 다른 모든 노드에게 초기 이진 제안을 브로드캐스트하기 시작한다.
• 각 라운드는 두 번의 전지전비 메시지 브로드캐스트로 구성되며, 하나는 현재 추정치 전달용이고, 다른 하나는 임계값 서명을 사용한 전역 랜덤 코인 계산용이다.
• 전역 랜덤 코인은 n−t개의 서로 다른 프로세스로부터의 서명을 조합하여 임계값 서명 기반으로 생성되며, 위조 방지 및 일관성을 보장한다.
• 각 메시지에는 비대칭 서명을 사용한 유효성에 대한 암호학적 증명이 포함되어 있어 무결성과 진위성 검증이 가능하다.
• 최적화된 방법으로 다음 라운드의 보조 메시지와 코인 메시지를 결합하여 라운드 수를 한 개 줄이고 메시지 지연을 최소화한다.
• 해시 함수에 대해 랜덤 오라클 모델을 사용하고, 위조 불가능한 디지털 서명과 신뢰할 수 있는 양방향 통신을 가정한다.

실험 결과

연구 질문

• RQ1 최대 1/3의 장애 노드를 가진 이방형 네트워크에서 바르비시안 합의 알고리즘이 예상 상수시간 종료를 달성할 수 있는가?
• RQ2 보안성과 정확성을 유지하면서 메시지 복잡도와 라운드 수를 어떻게 최소화할 수 있는가?
• RQ3 메시지 조합과 암호학적 증명 검증 연기로 인한 성능 향상은 어느 정도 가능한가?
• RQ4 변동하는 네트워크 지연 시간을 가진 실제 지리적으로 분산된 환경에서 알고리즘은 어떻게 확장되는가?
• RQ5 보안을 해치지 않으면서 안정적인 실행 환경에서 암호학적 증명을 얼마나 생략할 수 있는가?

주요 결과

• 알고리즘은 예상 상수시간 종료를 달성하였으며, 평균 결정 라운드는 약 3이며, 모든 실험에서 최대 11라운드였다.
• 10개의 데이터 센터를 포함한 지리적으로 분산된 환경에서 10개의 노드로 구성된 실험에서 평균 합의 지연 시간이 최소 400ms에 도달했으며, 라운드당 400ms였다.
• 메시지 조합 최적화로 인해 시뮬레이션에서 4코어 머신을 시뮬레이션한 결과 평균 지연 시간이 75~100ms 감소했지만, 단일 스레드 환경에서는 실제 서명 검증으로 인해 지연 시간이 증가했다.
• 암호학적 증명을 생략한 경우, 합의 인스턴스당 전송된 바이트 수가 크게 감소했으며, 안정적인 조건에서는 지연 시간이나 라운드 수에 거의 영향을 주지 않았다.
• 10개의 노드와 노드당 4개의 하드웨어 스레드를 사용하여 1,000개의 합의 인스턴스를 실행한 결과, 실행 부하가 증가하여 평균 지연 시간이 약간 증가했지만, 이전 실험과 일관된 결과를 보였다.
• 알고리즘의 성능은 암호학적 검증 비용에 매우 민감하며, 더 강력한 하드웨어에서 성능 향상이 크게 이루어지므로, 현대 시스템에서의 추가 최적화 가능성이 있다.