Efficient Shield Synthesis via State-Space Transformation