Finality in leanConsensus: How ethlambda Implements 3SF-mini (opens in new tab)

In our previous post, we covered how ethlambda uses LMD-GHOST and ended with an open question: how does the protocol decide when a block is permanent and the chain tip can no longer be reorged? This post covers the other half of consensus: 3-Slot Finality, minimal version.