AI로 해시 충돌 분석, 성능-보안 트레이드오프 없음 확인

Claude와 Codex 등 AI 도구를 활용해 대규모 해시 함수의 충돌(collision)을 분석하고 Lean을 통해 정확성을 검증한 연구 결과가 공개되었다.

주요 발견 사항

• 충돌 발견: komihash, a5hash, HighwayHash, SpookyHash, aHash, t1ha2 등 여러 해시 함수에서 충돌이 발견되었으며, Rust, Go, .NET의 표준 해시 함수도 포함되었다.
• 트레이드오프 부재: 충돌 저항성과 해시 속도를 그래프로 분석한 결과, 일반적으로 알려진 '속도 대 보안' 트레이드오프가 실제로는 존재하지 않는 것으로 나타났다.

이 연구는 AI 도구가 복잡한 암호학적 분석과 형식적 검증(formal verification)에 효과적으로 활용될 수 있음을 보여주며, 기존 해시 함수 선택 기준에 대한 새로운 관점을 제시한다.