[논문 리뷰] Some Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs

Danny Dolev, Eli Gafni|arXiv (Cornell University)|2016. 07. 05.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 t개의 입력이 숨겨진 오라클에 의해 악성으로 수정될 때, 이방형 t-비잔틴 시스템이 표준 이방형 t-유지 가능한 시스템과 동일시됨을 입증한다. 저자들은 비잔틴 장애를 활동적인 악성 행동이 아닌 입력의 손상으로 모델링함으로써, 기존의 t-유지 가능한 프로토콜이 새로운 위상적 방법 없이도 비잔틴 행동을 시뮬레이션할 수 있음을 보여주며, 최근의 비잔틴 벡터 ϵ-합의에 대한 전용 분석이 불필요하다는 것을 밝힌다.

ABSTRACT

We show that asynchronous $t$ faults Byzantine system is equivalent to asynchronous $t$-resilient system, where unbeknownst to all, the private inputs of at most $t$ processors were altered and installed by a malicious oracle. The immediate ramification is that dealing with asynchronous Byzantine systems does not call for new topological methods, as was recently employed by various researchers: Asynchronous Byzantine is a standard asynchronous system with an input caveat. It also shows that two recent independent investigations of vector $ε$-agreement in the Byzantine model, and then in the fail-stop model, one was superfluous - in these problems the change of $t$ inputs allowed in the Byzantine has no effect compared to the fail-stop case. This result was motivated by the aim of casting any asynchronous system as a synchronous system where all processors are correct and it is the communication substrate in the form of message-adversary that misbehaves. Thus, in addition, we get such a characterization for the asynchronous Byzantine system.

연구 동기 및 목표

• 이방형 t-비잔틴 시스템이 t개의 악성으로 수정된 입력이 있는 표준 t-유지 가능한 시스템과 동일함을 보여주는 것.
• 장애를 입력 손상으로 재정의함으로써 비잔틴 합의에서 특수 위상적 방법의 필요성을 제거하는 것.
• 최근의 비잔틴 벡터 ϵ-합의 결과가 양호한 t-유지 가능한 모델에서도 동일한 결과를 낳기 때문에, 이 결과들이 중복됨을 보여주는 것.
• t-모바일 메시지 공격자 모델을 이방형 비잔틴 시스템에서 입력 수준의 조작만을 사용해 시뮬레이션하는 프로토콜을 제공하는 것.
• 비잔틴 행동이 프로세서 수준의 장애가 아니라 협력적 스레드 진행을 통해 중립화되는 모델을 정형화하는 것.

제안 방법

• 비잔틴 장애를 실행 이전에 최대 t개의 프로세서의 개인 입력을 수정하는 오라클로 모델링한다.
• 입력을 라운드 0에서 고정하고, 라운드 1부터는 동기식 t-모바일 메시지 공격자(MOB)로 시스템을 표현한다.
• 모든 올바른 노드에서 공통 코어 프로토콜을 사용해 공통의 n−t개의 올바른 프로세서 집합으로 수렴한다.
• 각 프로세서는 수락된 송신자 집합(accept[r])을 유지하고, 공통 코어 프로토콜을 통해 일관성을 확보한다.
• 수신 메시지 집합과 이전 상태를 기반으로 각 프로세서가 로컬로 다음 상태를 계산함으로써 결정론적 프로토콜을 시뮬레이션한다.
• 배경 메시지 처리 루프를 도입하여 수신 메시지를 추적하고, 송신자 집합에 대해 충분한 합의가 이루어진 후에만 상태 업데이트를 트리거한다.

실험 결과

연구 질문

• RQ1 활동적인 비잔틴 행동을 모델링하지 않고도 입력 수준의 손상만으로 이방형 비잔틴 시스템을 시뮬레이션할 수 있는가?
• RQ2 t-모바일 메시지 공격자 모델은 이방형 t-비잔틴 시스템의 능력을 충분히 반영할 수 있는가?
• RQ3 최근의 비잔틴 벡터 ϵ-합의 결과가 왜 양호한 t-유지 가능한 모델과 동일한 결과를 낳는가?
• RQ4 t-유지 가능한 시스템에서 협력적 스레드 진행이 비잔틴 장애의 영향을 중립화할 수 있는가?
• RQ5 t-비잔틴과 손상된 입력이 있는 t-유지 가능한 시스템 간의 동등성이 최근의 비잔틴 합의에 대한 위상적 접근 방식을 무효로 하는가?

주요 결과

• n > 3t일 경우, 이방형 t-비잔틴 모델은 t개의 손상된 입력이 있는 표준 t-유지 가능한 시스템과 동일하다.
• 공통 코어 프로토콜은 모든 올바른 프로세서가 공통의 n−t개의 올바른 프로세서 집합으로 수렴하도록 보장하여 일관된 상태 진화를 가능하게 한다.
• t-모바일 메시지 공격자 시스템에서의 결정론적 프로토콜은 제안된 알고리즘을 사용해 이방형 비잔틴 시스템에서 완전히 시뮬레이션할 수 있다.
• 동등성은 비잔틴 모델과 양호한 모델 모두에서 벡터 ϵ-합의 결과가 동일함을 의미하므로, 최근의 비잔틴 ϵ-합의에 대한 위상적 분석은 불필요하다.
• 장애 모델을 활동적인 비잔틴 행동에서 수동적인 입력 손상으로 전환함으로써 분석을 단순화하고 새로운 위상 도구의 필요성을 제거한다.