Speculative decoding can detect hidden backdoors in LLMs at no extra cost. — Synthesis