Necessary and Sufficient Watermark for Large Language Models