New blog post!
After covering LMD-GHOST in our previous write-up, we now move to the second half of consensus: finality.
How does the protocol decide when a block is truly permanent and cannot be reorged?
This post walks through 3SF-mini as implemented by @ethlambda_lean.
English