Martian lava tubes are volcanic caverns on Mars that are believed to form as a result of fast-moving, basaltic lava flows associated with shield volcanism.