hardener

noun

One that hardens; especially; a substance added (as to a paint or varnish) to harden the film.