[논문 리뷰] An Efficient Vectorized Hash Table for Batch Computations

Alakuijala, Jyrki, Bill Cox외 1명|arXiv (Cornell University)|2016. 12. 19.

Cryptographic Implementations and Security참고 문헌 5인용 수 4

한 줄 요약

이 논문은 1 KiB 입력에서 SipHash보다 5.2배 빠른 속도를 달성하기 위해 SIMD 곱셈 및 순열 명령어를 활용하는 고성능 키드 해시 함수인 HighwayHash를 소개한다. SipHash의 회전 기반 혼합 방식을 32비트 곱셈과 바이트 순열로 대체함으로써 효율적인 벡터화된 병렬 처리를 가능하게 하면서도, 강력한 확산성과 기존 암호해석 기법에 대한 저항성을 유지한다.

ABSTRACT

HighwayHash is a new pseudo-random function based on SIMD multiply and permute instructions for thorough and fast hashing. It is 5.2 times as fast as SipHash for 1 KiB inputs. An open-source implementation is available under a permissive license. We discuss design choices and provide statistical analysis, speed measurements and preliminary cryptanalysis. Assuming it withstands further analysis, strengthened variants may also substantially accelerate file checksums and stream ciphers.

연구 동기 및 목표

• 안정적인 해싱을 위한 강력한 의사난수 특성을 유지하면서도 SipHash보다 더 빠른 대안을 설계하기 위해.
• 최신 CPU의 SIMD 명령어—특히 32×32비트 곱셈과 바이트 순열—를 활용하여 혼합 성능과 처리량을 향상시키기 위해.
• 메시지 인증 및 난수 생성과 같은 배치 및 고처리량 워크로드에서 기존 보안 해시 함수의 성능 저하 문제를 해결하기 위해.
• 회귀 공격, 회전 공격, 차등 공격과 같은 일반적인 공격에 저항하는 암호학적으로 강력한 오픈소스 해시 함수를 제공하기 위해.

제안 방법

• AVX2 명령어를 통해 32×32비트 곱셈을 사용하여 SipHash의 느린 회전-XOR-ADD 체인을 대체함으로써 강력한 혼합을 달성한다.
• 다중 레인의 중간 해시 상태를 순열 및 곱셈 연산을 사용해 조합하는 새로운 '지퍼 머지( zipper merge)' 기법을 적용한다.
• 네 개의 독립된 레인을 사용한 트리-해시 구조를 적용하여 결과를 재귀적 해싱을 통해 단일 64비트 출력으로 요약한다.
• 이웃 레인을 혼합하고 모든 64비트에 애벌랜치 효과를 보장하기 위해 고유한 최종화 단계를 적용한다.
• 키에 의존하는 순열과 벡터화된 연산에 의존하여 SAT 솔버를 통한 키 복구를 방지한다.
• 패딩 및 입력 길이 처리를 통합하여 끝에 0 바이트가 온 메시지의 출력이 서로 다를 수 있도록 보장한다.

실험 결과

연구 질문

• RQ1 SIMD 곱셈 및 순열 명령어를 사용해 SipHash보다 더 빠르고 안전한 키드 해시 함수를 설계할 수 있는가?
• RQ2 회전 기반 혼합 방식을 곱셈으로 대체하면 암호학적으로 강력한 방식으로 성능과 확산성을 향상시킬 수 있는가?
• RQ3 유명한 암호해석 기법인 회전 공격 및 차등 공격에 저항할 수 있는가?
• RQ4 실제 워크로드에서 HighwayHash의 성능이 SipHash 및 Murmur3, CityHash와 같은 다른 빠른 해시 함수와 비교해 어떻게 되는가?
• RQ5 메시지 인증 및 난수 생성과 같은 분야에서 사용하기에 충분히 안전하면서도 속도를 포기하지 않는 알고리즘으로 만들 수 있는가?

주요 결과

• 1 KiB 입력에서 HighwayHash는 SipHash 대비 5.2배 더 높은 처리량을 달성했으며, 측정된 성능은 약 0.20 사이클/바이트이다.
• 모든 통계 테스트—smhasher 및 RDRAND 유사 균일성 테스트—에 통과하여 높은 품질의 출력 분포를 보였다.
• 평균 128회의 유효한 32비트 덧셈 덕분에 회전 공격는 실현 불가능하며, 편향이 2^1024 분의 1 이하로 극도로 낮다.
• 곱셈 기반 논리의 복잡성 덕분에 SAT 솔버 기반의 키 복구는 거의 불가능하며, SipHash와 같은 ARX 기반 함수보다 더 강한 저항성을 보였다.
• CLHash 및 Fingerprint64와 유사한 함수에서 나타난 취약점—특히 0 입력 패턴에서의 분포 테스트 실패—에 대해 안전하다.
• 오픈소스 구현체가 허용성 있는 Apache 2.0 라이선스 하에 공개되어 있어 생산 환경에서의 도입이 가능하다.