This is where a Mars-local L2 sidechain something akin to #Liquid would work well: a peg-in/out process for interoperability with Earth's #Bitcoin main chain where latency doesn't matter all that much (how often do you need to move funds between planets?)