Gaussian Shading: Provable Performance-Lossless Image Watermarking for Diffusion Models | Read Paper on Bytez