[BlockChain] FLP Impossibility

FLP Impossibility

FLP Impossibility(Fischer, Lynch, Paterson Impossibility) 또는 FLP Theorem이라고도 불리며 Liveness, Safety, Fault Tolerance 이 3가지 속성이 모두 달성할 수 없다는 것입니다. 즉 합의 알고리즘을 선택한다는 것은 속성 중 무엇을 선택할 것인가 하는 문제입니다.

 

Safety

Safety는 시스템에 나쁜 일이 발생하지 않는다는 의미로, 모든 정상적인 참여자는 같은 상태에 동의하여야 하고, 그 상태는 유효해야 합니다. 쉽게 말해, 문제 없는 노드는 잘못된 합의를 하지 않는다는 의미입니다.

 

Liveness

Liveness는 시스템은 항상 살아 있어야 한다는 의미로, 결국에는 어떤 상태에 동의하여야 하고, 모든 참여자는 동의된 상태에 도달해야 합니다. 쉽게 말해, 문제 없는 노드는 반드시 합의를 한다는 의미입니다.