This is from the Casper FFG document on Arxiv.
- Is a higher than b? If so how is b the target checkpoint if it is lower?
- If a' is a descendant of a (which I take means a previous checkpoint) how does h(a') = h(b) + 1 look like?
Rode this a few weeks ago. Let's try to explain it.
Supermajority links are the way in which the checkpoints are related more efficiently, as you can see on the photo provided, on figure C, supermajority links let us verify the blocks/chain so much faster because let us make "safe assumptions"
The paper's description of the picture and site where apply the example.
Well, hope it helps!