casper FFG에서 finality에 관한 질문입니다!!

Question

위의 사진을 보시면 Finality를 하기 위해서 체크포인트의 justified가 연속적으로 되어야 한다고 하는데

그 이유에 대해서 설명한것이 이해가 가지가 않습니다.

같은 메시지를 받고 등등의 내용이 연속된것이랑 연속되지않은것이랑 어떠한 차이가 있는지 궁금합니다.

Answer 1

블록을 검증하여 확정하기 위해서는, 이 블록이 메인 체인에 포함되어 있다는 것을 다른 모든 사람들이 알고 있다는 것을 당신이 알아야 한다.

1. 블록이 메인 체인에 있다고 당신이 믿고 있다는 것을 알림
2. 2/3 이상의 검증인들로부터 동일한 메시지 수신
3. 2/3 이상의 검증인들이 당신의 알림를 들었다고 알림
4. 2/3 이상의 검증인들로부터 동일한 메시지 수신

이제 여러분은 그 블록이 주요 사슬의 일부라는 것을 다른 모든 사람들이 알고 있다는 것을 알고 있다.

------------------------------

개인적으로는 위의 내용을 통해 어떤 블록이 Finalized 된다는 것은 모든 검증 노드의 2/3 이상이 해당 체크포인트의 블록이 메인체인에 포함(Supermajority link로 연결)되어 있다는 것에 투표를 통해 동의하는 메시지를 보냄으로써 가능하다고 이해했습니다.

그리고 위의 1~4 중에서 만약에 한 단계라도 2/3 이상의 검증인이 투표를 통해 동의하지 않는다면 해당 블록은 확정되지 못하게 된다는 의미로 이해하시면 좋을 듯합니다.

답변이 도움이 되길 바랍니다.