Casper (FFG)관련 질문입니다.
Casper ffg의 두개의 조건중에서 두번째 조건에 대한 증명부분이 이해가 안되는데
저기에 밑줄 그은 부분의 공식은 아래 그림에서만의 적용되는 부분인가요??
만약 h(a_(m+1))<h(b_j) 일때 h(a_m)<h(b_(j-1)) 일 수도 있는거 아닌가요?
왜 무조건 h(b_(j-1))<h(a_m)으로 도출되는지 궁금합니다.
출처 :https://medium.com/decipher-media/scailabilty-series-1-2-casper-code-review-8a84103990d1
위의 그림을 보면 a2, a3는 더 이상 a4로 이어나가지 못하고 b2, b3는 b4로 이어져 나갔음을 알 수 있습니다. 설명을 위해 a2, a3라고 이름이 붙고 색이 들어가 있지만 사실상 유효하게 검증된 것은 b1, b2, b3, b4와 같이 supermajority link로 이어지는 라인이라고 할 수 있습니다.
즉, 위의 그림은 a2보다 높이가 낮은 b2가 justifed된 상태에서 다음 finalized 되는 지점인 b3보다 높이가 낮은, b2와 b3 사이에 있는 a2, a3에는 투표를 할 수 없다는 규칙 2를 설명하기 위해 동원된 것입니다.
따라서 글을 쓴 사람은 a-m을 a-2로 생각한 것으로 보입니다. 그림을 보시면서 m=2라고 생각하신 후 글을 따라 읽어보시면 이해가 잘 되실 것이라 생각합니다. m을 2로 생각하면 h(a2)<h(bn)일 때 h(a3)<h(b3)이고, h(b2)< h(a2)인 것입니다. 따라서 a2, a3가 있다면 이것은 b2와 b3 사이에 존재하게 되는 것입니다.
따라서 질문자께서 말씀하신 것처럼 h(a_m)<h(b_(j-1))는 h(a2) < h(b2)가 되므로 성립하지 않게 됩니다.
답변이 도움이 되길 바랍니다.