[논문 리뷰] Quantum Hashing via Classical $ε$-universal Hashing Constructions

Farid Ablayev, Marat Ablayev|arXiv (Cornell University)|2014. 04. 05.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 6

한 줄 요약

이 논문은 고전적 ε-유니버설 해싱 가족을 양자 해싱 생성자와 조합하여 효율적이고 충돌에 강한 양자 해싱을 가능하게 하는 새로운 양자 해시 함수 구조를 제안한다. Reed-Solomon 코드와 Freivalds의 지문화 기법을 활용해 큐비트 사용의 최적성을 증명하며, 충돌 확률이 제한된 조건에서 최소한의 큐비트 요구량을 달성한다.

ABSTRACT

In the paper, we define the concept of the quantum hash generator and offer design, which allows to build a large amount of different quantum hash functions. The construction is based on composition of classical $ε$-universal hash family and a given family of functions -- quantum hash generator. The proposed construction combines the properties of robust presentation of information by classical error-correcting codes together with the possibility of highly compressed presentation of information by quantum systems. In particularly, we present quantum hash function based on Reed-Solomon code, and we proved, that this construction is optimal in the sense of number of qubits needed.

연구 동기 및 목표

• 양자 해시 생성자 개념을 체계화하고 다양한 양자 해시 함수의 구축을 가능하게 하기 위해.
• ε-유니버설 해싱 가족과 오류 수정 코드 간의 이중성 관계를 활용해 확장 가능한 양자 해싱을 실현하기 위해.
• 충돌 확률을 낮추는 조건에서 양자 해시 함수 구현에 필요한 큐비트 수를 최소화하기 위해.
• Reed-Solomon 코드와 Freivalds의 지문화 스키마를 기반으로 한 명시적이고 효율적인 구현을 제공하기 위해.

제안 방법

• 고전적 ε-유니버설 해싱 가족과 양자 해시 생성자를 조합하여 양자 해시 함수를 구성하며, 고전적 입력을 양자 상태로 매핑한다.
• 유한체 위에서 (k-1)/n-유니버설 해싱 가족을 정의하기 위해 Reed-Solomon 코드를 오류 수정 코드로 사용한다.
• 충돌 확률 δ를 제어할 수 있는 해싱 함수 가족을 생성하기 위해 Freivalds의 지문화 스키마를 적용한다.
• 양자 상태 준비 규칙을 활용한다: |ψ(w)⟩ = 1/√n Σᵢ |i⟩ ⊗ (1/√T Σⱼ |j⟩ (cos(2πhⱼ(fₐᵢ(w))/q)|0⟩ + sin(2πhⱼ(fₐᵢ(w))/q)|1⟩)), 해시 출력을 중첩 상태에 인코딩한다.
• 코드 길이 n, 체 크기 q, 오차 허용 범위 δ를 포함한 로그 표현식을 사용해 큐비트 수의 상한을 유도한다.
• 큐비트 수 s에 대한 하한과 상한을 비교함으로써 최적성을 증명하며, 주어진 파rameter 조건 하에서 상한이 날카롭게 조여진다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 ε-유니버설 해싱 가족을 체계적으로 양자 생성자와 조합하여 효율적인 양자 해시 함수를 생성할 수 있는가?
• RQ2 Reed-Solomon 코드와 같은 오류 수정 코드를 활용해 큐비트 수 측면에서 최적의 양자 해시 함수를 어떻게 구성할 수 있는가?
• RQ3 주어진 충돌 확률 Δ을 달성하기 위해 필요한 최소 큐비트 수는 얼마인가?
• RQ4 Freivalds의 지문화 스키마를 변형하여 오차가 제한된 명시적이고 최적의 양자 해시 구현을 도출할 수 있는가?
• RQ5 이론적 큐비트 사용 상한이 실제로 달성 가능한 구현과 얼마나 일치하는가?

주요 결과

• Reed-Solomon 코드 기반의 양자 해시 함수는 Δ ≤ (k−1)/n + δ 이며, s ≤ log(q log q) + 2 log(1/δ) + 4 큐비트를 사용하여 큐비트 효율성에서 최적성을 입증한다.
• M = ck log k 이고 q ∈ [M, 2M] 인 소수일 경우, 구현은 Δ ≤ 1/c + δ 를 만족하며, s ≤ log(ck) + log log k + log log q + 2 log(1/δ) + 3 큐비트를 사용한다.
• 큐비트 수에 대한 하한은 s ≥ log k + log log q − log log(1 + √(2/(1−δ))) − 1 이며, 이는 상한이 날카롭게 조여진다는 것을 보여준다.
• Freivalds의 지문화 스키마를 활용한 명시적 구현은 Δ ≤ 1/c + δ 를 만족하며, s ≤ log(ck) + log log k + log log q + 2 log(1/δ) + 3 큐비트를 사용한다.
• 양자 상태 준비 규칙은 다수의 해시 값을 중첩 상태에 인코딩하여 얽힌 큐비트 레지스터를 활용해 해시 출력을 압축된 형태로 표현할 수 있게 한다.
• ε-유니버설 가족과 양자 생성자의 조합은 충돌 확률이 Δ 이하로 제한됨을 보장하며, 이는 안전한 양자 지문화 및 디지털 서명을 가능하게 한다.