I think some mistakes were made on this topic. There is finality once the operator submits the block to the root chain. Before that there is no finality and a receiver of a coin cannot be certain that coin hasn’t been double spent. Once the Merkle root of the sidechain block has been posted to the root chain, there is economic finality as if anyone tries to cheat the system, anyone can challenge stopping the invalid exit.

This statement from the article also seems to be inaccurate:
Invalid exit penalty: We can punish the operator for allowing invalid exits to go through, and slash funds in the bond.”

The operator isn’t the one that gets his bond slashed. It is the entity that tried to make an invalid exit.

Written by

Founder: Skilled.co.il & Draft Fantasy. Full stack JavaScript Engineer. https://elie.tech

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store