This is why I say, the only solution to all these problems is not requiring the preservation of all historical state to maintain the security model of Bitcoin. The only thing that does that is MW, and then, only as it was originally written, which as far as I know is not implemented anywhere, all MW implementations that I know of have transaction kernels, which need to be preserved indefinitely. They are significantly small, but not quite 0.

Also, MW isn't all the way private like monero. Its 2/3rds of the way there.

If someone can find a way to get that last leg elegantly, and keep the programmability without keeping any historical state whatsoever, thats the pinnacle of this technology. And it is desperately needed. I don't know if programmability can exist with no historical state preserved, that is a bit over my head and perhaps some expert in information theory can inform me as to whether its possible. It would be a shame if it isn't.