With future technologies we don't know. Just as we didn't know how to solve double spending issue on the net. Anyway, using Bitcoin on Mars doesn't mean that it has to be mined there.