consensus

[논문 리뷰] PBFT: Practical Byzantine Fault Tolerance

Authors : Miguel Castro, Barbara Liskov Source : OSDI 1999 [Background] 네트워크 환경 구분 3가지 : 메세지 송수신 간의 딜레이를 기준으로 (1) Synchronous, (2) Partially synchronous, (3) Asynchronous 로 구분함. Byzantine Fault Problem 을 해결하기 위해서는 Safety 와 Liveness 를 만족시켜야함. : Safety - replicated state machines 들이 linearizability를 만족하는 것. 동일한 인풋이 주어지면 모든 노드들이 같은 결과에 도달하는 것. 마치 하나의 머신이 요청을 atomic 하게 처리하는 것과 같은 효과를 내야함. : Liveness..