inkan
· 2w
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 "wea...
I mean, even ethereum developers wont make these claims. What you explained is just subjectivity, you are guaranteed to agree with everyone who has been online as often as you are. But it is simply impossible to settle this programatically. I can make a software that looks at all suggested bitcoin histories and return the best chain, and the only assumptions are; 1) 51% of miners are honest (they can revert all history if they work hard and waste actual resources for years) and 2) you can hear of the canonical chain (network partitioning)
Ethereum doesnt have this, because 1) as you said people who unstake waste absolutely nothing 2) even if they dont unstake, they can share a fake history with a zk system without making their signatures public so they cant be slashed, while bitcoin requires energy consumption, not just slashing risk and 3) while a checkpointing node can be safe, that is worthless for any programs or onchain script or any stateless functions
Basically we both agree that you are fine on ethereum if you are constantly online, but anything else doesnt work.
But also, why would i accept ethereum limitations when i dont have to? Any proof of stake system anchored to bitcoin inherits bitcoins strong subjectivity guarantees with one assumption ; the network is ready to challenge checkpoints before they are finalized, as in; most stakers are honest at every window W (say 14 days) in the past.
But even if this assumption doesnt hold, you only lose correctness, possibly, but you never have to wonder what would others conclude, the answer is; exactly what you conclude.
So my question is, why would anyone bother with ethereum for what you are doing? It is not like you need ethereum liquidity or defi