Definitions of dripstone:

• noun:   a protective drip that is made of stone
• noun:   the form of calcium carbonate found in stalactites and stalagmites