干冰不是由水形成的,干冰是二氧化碳的固体形态.
火星上有冰也有干冰,但是期望火星上的火山喷发,来融化底层里的冰,从而制造水环境是有困难的.