Implicit Finality v.s. Explicit Finality
Ethereum Sharding: Overview and Finality
Hsiao-Wei Wang

Is not true, that even in Casper, there always exists the possibility of a seemingly finalized block being contested by another finalized block. Granted, this would trigger slashing conditions, and impose strong economic costs. However, it would not be possible to objectively choose between the two finalized blocks. Hence, you effectively have a reversion of finality?

Like what you read? Give Levi Melamed a round of applause.

From a quick cheer to a standing ovation, clap to show how much you enjoyed this story.