비잔틴 장군들의 문제는 무엇인가?

비잔틴 장군의 문제는 컴퓨터 과학의 핵심 질문인 지리적으로 분산된 독립적인 노드로 구성된 컴퓨터 네트워크에서 합의를 형성하는 것이 가능한가를 다루는 사고 실험입니다.

이 문제는 1982년 SRI 국제연구소의 연구자들이 제안했습니다.

다음과 같이 진행됩니다. 도시를 포위하는 비잔틴 장군이 많이 있습니다. 그들은 서로에게 메신저를 보내야만 의사소통이 가능합니다. 장군들은 공통 행동 계획, 즉 도시를 공격할지 아니면 후퇴할지에 동의해야 합니다. 그러나 일부 장군들은 배신적이며 합의 형성에 적극적으로 반대하고 있습니다. 그들의 수와 신원은 알려져 있지 않습니다.

문제가 제기하는 질문은 반역자들의 간섭에 관계없이 장군들이 공통 계획을 고안하기 위해 어떤 의사 결정 알고리즘을 사용해야 하는지, 그리고 그러한 알고리즘이 존재하는지 여부입니다.

연구원의 자체 분석에 따르면 이러한 시스템은 실제로 실현 가능하지만 충성스러운 장군의 수가 엄격히 2/3를 초과해야 합니다. 예를 들어, 세 명의 장군이 있는 상황에서 그 중 한 명은 배신자이며, 충성스러운 장군들은 결코 합의에 도달할 수 있다고 보장할 수 없습니다.

이 문제는 본질적으로 분산 컴퓨터 시스템인 암호화폐와 매우 관련이 있습니다. 암호화폐는 서로 독립적이고 중앙 기관과 독립적이며 원격으로만 통신할 수 있는 트랜잭션 처리 노드로 구성됩니다. 그들은 어떤 거래가 언제 이루어졌는지에 대한 합의에 도달해야 하는 "장군"입니다.

노드는 선택에 의해 또는 우연히 거래에 대한 잘못된 데이터를 제공할 가능성이 있으므로 해당 정보를 분류해야 합니다. 비트코인(BTC) 및 기타 암호화폐는 작업 증명 및 지분 증명 알고리즘과 같은 기술 솔루션을 통해 이 문제를 해결합니다.

비잔틴 내결함성(BFT)을 참조하세요.