Mars is outside the Bitcoin event horizon for many months of the year. (Block times of 10 min).
This is why Musk hasn't gone all in on Bitcoin.

Mars will need its own side chsin., or be Lightning only.