두 개의 서로 다른 모듈러 해시를 쓰면 문자열 동일성을 증명할 수 있나요?

아니요. double hash는 두 개의 fingerprint가 동시에 일치해야 통과시키는 확률적 필터이지, 서로 다른 문자열을 반드시 분리한다는 증명이 아닙니다. 한 modulus에서 충돌한 두 문자열이 두 번째 modulus에서도 충돌할 가능성을 낮출 수는 있지만, 위험은 modulus·base 선택, 비교 횟수, 입력 분포, 공격자가 파라미터를 아는지에 따라 달라집니다. 두 함수가 수학적으로 독립이라고 자동 보장되는 것도 아니므로 “두 개이니 0”이라고 기록하면 안 됩니다.

예를 들어 동일성 비교 함수가 두 hash를 계산해 (h1,h2)가 같으면 후보로 표시한다고 하겠습니다. 후보가 length=3인 동일한 canonical byte sequence인지 다시 비교하면 exact equality를 결정할 수 있지만, 원문 확인을 생략하면 여전히 false positive 경로가 남습니다. 정규화 정책이 다른 두 입력을 같은 hash로 만들었다고 해서 의미상 동일하다고 볼 수도 없습니다. 먼저 비교 단위와 길이를 고정하고, hash는 그 정책 아래 후보를 줄이는 역할만 맡깁니다.

선택은 오류 비용으로 결정합니다. 일반적인 검색에서 후보 수를 줄이거나 비적대적 캐시 비교를 빠르게 하려면 double hash와 최종 검증의 조합이 실용적입니다. 권한 부여, 파일 무결성, 금액 정산처럼 오탐이 허용되지 않는 경로에서는 원문 비교나 목적에 맞는 암호학적 MAC·서명을 사용해야 합니다. rolling hash는 계산 구조이고 인증 증거가 아니므로, 충돌 확률을 문서에 쓸 때도 확인한 입력 모델의 범위를 넘지 않게 제한합니다.

문서에는 따라서 hashPairEqual -> candidate -> exactCompare라는 상태를 남기는 것이 좋습니다. 확률적 계약을 채택하더라도 비교 횟수와 허용 오탐 수준을 관찰할 수 있어야 하며, 파라미터를 바꿨다고 과거에 발생하지 않았던 충돌이 수학적으로 불가능해지는 것은 아닙니다. 특히 두 문자열의 길이가 다르면 hash pair를 비교하기 전에 길이부터 비교해 불필요한 후보를 줄일 수 있지만, 같은 길이인 경우에도 원문 검증을 생략할 근거는 되지 않습니다.