用 Claude 和 Codex 找到六大哈希函数的碰撞

thomasahle · reddit · 2026-09-21

作者团队利用 Claude 与 Codex 大规模分析哈希函数,在 komihash、a5hash、HighwayHash、SpookyHash、aHash、t1ha2 等多个知名哈希实现中发现碰撞,其中包括 Rust、Go 和 .NET 标准库里的哈希。

除找碰撞外,团队还用 AI 工具在 Lean 中做正确性证明。他们将碰撞抗性与哈希速度绘制对比后发现:二者之间实际并不存在以往认为的速度-安全性权衡。

所属事件:研究者用 Claude 一天破解六大主流哈希函数(3 条相关)→

原文链接 →

「编程与Agent」频道最新

更多「编程与Agent」频道 AI 资讯 →