Methodologies, formulations, and kits suitable for decontaminating environments containing bacterial spores by degrading the spores. Formulations contain papain and at least one germinant. Methods for killing bacterial spores include contacting the spores with the formulation for a duration sufficient to initiate germination of the bacterial spores. The spores are then killed with the papain in the formulation, or are rendered by the papain susceptible to being killed by a reagent.