)In theoretical physics, the BRST formalism is a method of implementing first class constraints.The letters BRST stand for Becchi, Rouet, Stora, and (independently) Tyutin who discovered this formalism.