[modeless]

Mining asteroids is quite possible in practice. In fact we've already taken material from asteroids and returned it to Earth. The only question is how long it will take for the technology to advance enough for profitability; there are no fundamental issues preventing it. It really seems inevitable assuming no civilization-ending disasters. And it can increase Earth's gold supply arbitrarily up to many times the current supply. And it only takes one company to do it. Anyway, if our only disagreement is on the relative feasibility of changing Bitcoin consensus vs. asteroid mining, I'm happy to continue to disagree with you on that.