timing-dependent comparisons

LLM用于审计加密代码，标记常见的实现缺陷

大型语言模型（LLM）正成为审计加密代码的宝贵工具，充当识别常见实现错误的初步过滤器。通过使用针对已知漏洞模式（如nonce重用、不安全的ECB等密码模式以及依赖于时间的比较）的结构化提示，LLM可以快速标记潜在问题。虽然LLM不能取代人类密码学家，但它们可以通过揭示明显的反模式来显著加快审查过程，使专家能够专注于更复杂的逻辑和设计缺陷。然而，由于LLM有时会产生幻觉，因此必须根据官方规范验证其发现。