Blockchain
Livenss & Safety
Liveness / Safety blockchain 블록의 생성 과정은 safety와 liveness를 동시에 만족시킬 수 없다. 이는 1985년에 발표된 FLP Impossibility를 통해 증명되었다. FLP Impossibility 위 논문에서는 ‘비동기 네트워크 환경에서는 Safety와 Liveness를 동시에 만족시키는 분산된 합의 알고리즘은 존재할 수 없다.’를 수학적으로 증명하였는데, 이는 곧 분산 시스템 기반의 Blockchain 환경에서 Liveness와 Safety를 모두 만족하며 합의하는 것은 불가능하다는 것을 의미한다. 때문에 블록체인에서는 이를 극복하기 위해 다음 방법들을 사용한다. 합의를 재정의한다. 비동기성을 포기한다. Liveness over Safety Liveness를 ..
