We just need long pipe from Earth to Mars to pump out CO2 there. It has to be long in case it gets entangled with the Sun. The best is to fund it from crypto tokens. Winning Elon's XPrize should buy few km of McDonald's straws to kick it off.
For giggles: A 3 square-foot pipe from here to Mars at Mars' closest point of approach would hold about 31.7 million metric tons of CO2 at atmospheric pressure [1], which looks to be about 2 day's worth of US emissions.
I had trouble believing that (astronomic scales always seem so much more vast), but it checks out (SI units):
p = 1e5
l = 38.6e9 * 1.61
A = 0.27871
R_m = 8.3141
M_CO2 = 12 + 16 * 2
R = R_m / (M_CO2 / 1000)
T = 273.15
V = l * A
m = p * V / (R * T)
f"{m:_}"
'33_558_455_134.769554'
