There's already a solution to this: https://eth.wiki/concepts/proof-of-stake-faqs#what-is-the-no...
Which one does ethereum use?
What if it can't (we do ETH 2.342 variant (which doesnt cost us anything contrary to PoW forks) with modified header and later it wins)?