研究使用 Claude Fable 分析了主流快速哈希函数，发现大多数哈希函数存在对抗性输入，使其性能低于理论预期至少 20 比特。部分已发表的碰撞证明被发现有误，而另一些则在 Lean 中得到了形式化验证，揭示了哈希碰撞带来的实际安全风险。
背景
快速非密码学哈希函数如 xxHash、HighwayHash 和 aHash 被广泛用于生产环境中的哈希表和数据结构完整性校验，但相比密码学哈希函数，它们缺乏严格的碰撞抵抗保证。
- 来源
- Lobsters
- 发布时间
- 2026年9月21日 03:14
- 评分
- 7.0 / 10