Rock salt (or halite) is a mineral usually colorless, that is extracted from deposits of sodium chloride (NaCl), where ancient seas gave way to the caves. From the rock salt you can get the salt, but the process is very laborious.