破解密码学论文引争议，专家呼吁用 Lean 验证量子算法

chaumian · x · 2026-08-06

近期一篇声称能破解现有密码学的量子算法论文引发争议。专家指出该论文存在多处定理与证明缺陷，并呼吁现今研究者应使用 Lean 等形式化验证工具来证明量子算法的正确性，以即时捕捉逻辑漏洞。

同时，这也引发了业界对后量子密码学安全边界的反思：如果相关破解设想成真，现有的格密码学虽然能躲过一劫，但整个安全领域的容错率依然令人担忧。专家建议在当前阶段应使用能承受的最大安全参数，保留 ECC（椭圆曲线密码学）作为双重保险，并持续投资替代方案。