While it might not matter, it seems like a waste of resources to spend such a computation power on useless computation, especially after knowing they will fail.
This is a good point. I wonder what fraction of tx on Ethereum were reverted; this could give us an estimate of the overhead.
What I like about the PoW/VDF approach
A question about this approach:
but in the case too many reversions, the PoW will be much larger
How will it be determined whether there was a reversion, if reversions can’t be proven?
I should note that overall I don’t have a view of which solution is best, I’m just helping discuss the pros/cons of the various approaches.