1. dripstone

noun. a protective drip that is made of stone.