The real answer is that the current PoWPeg (federated multisig in HSM verifying the merge mining) provides the finalitt, because the software refuses any reorgs deeper than roughly a day.
Theoretical...
I'm trying to wrap my mind around the Ethereum side of the discussion.
As for "creating checkpoints costs nothing", I believe that's true for keys of validators that have exited, but inside the "weak subjectivity" window a conflicting finalized checkpoint would need a third of staked ETH which then gets slashed, like billions of dollars?
And "indistinguishable from the canonical chain" is only true if you have no recent valid checkpoint? If you have one, it seems like you can detect a fake chain immediately.
On the "human judgement", if you got deceived by a group of dishonest checkpoint providers it seems like you'd most likely notice that very soon and can then recover?
In this Bitcoin vs. Ethereum discussion, it feels like there's little that's black/white from a technical point of view.
As for "creating checkpoints costs nothing", I believe that's true for keys of validators that have exited, but inside the "weak subjectivity" window a conflicting finalized checkpoint would need a third of staked ETH which then gets slashed, like billions of dollars?
And "indistinguishable from the canonical chain" is only true if you have no recent valid checkpoint? If you have one, it seems like you can detect a fake chain immediately.
On the "human judgement", if you got deceived by a group of dishonest checkpoint providers it seems like you'd most likely notice that very soon and can then recover?
In this Bitcoin vs. Ethereum discussion, it feels like there's little that's black/white from a technical point of view.
2
