[논문 리뷰] Distinguishing a truncated random permutation from a random function

Shoni Gilboa, Shay Gueron|arXiv (Cornell University)|2015. 07. 29.

Algorithms and Data Compression참고 문헌 2인용 수 5

한 줄 요약

이 논문은 임의의 축약된 무작위 순열과 임의의 함수를 구분하는 데 필요한 쿼리 수에 대한 오랫동안 열려있던 문제를 해결한다. 구체적으로, 어떤 축약 길이 m에 관계없이 비차별성 우월도가 비차별적일 경우, Ω(2^{(m+n)/2}) 쿼리가 필요하다는 것을 증명한다. 이는 Hall 등(1998)의 이전 작업을 발전시켜 더 정교한 분산 집중 경계와 충돌 확률의 수정 분석을 사용하여 이루어졌으며, 최종적으로 m < n 인 모든 경우에 하한이 성립함을 보여주며, 이는 Stam(1978)의 통계적 거리에 관한 결과에서 유도된 핵심 결과이다.

ABSTRACT

An oracle chooses a function $f$ from the set of $n$ bits strings to itself, which is either a randomly chosen permutation or a randomly chosen function. When queried by an $n$-bit string $w$, the oracle computes $f(w)$, truncates the $m$ last bits, and returns only the first $n-m$ bits of $f(w)$. How many queries does a querying adversary need to submit in order to distinguish the truncated permutation from a random function? In 1998, Hall et al. showed an algorithm for determining (with high probability) whether or not $f$ is a permutation, using $O(2^{\frac{m+n}{2}})$ queries. They also showed that if $m &lt; n/7$, a smaller number of queries will not suffice. For $m &gt; n/7$, their method gives a weaker bound. In this manuscript, we show how a modification of the method used by Hall et al. can solve the porblem completely. It extends the result to essentially every $m$, showing that $Ω(2^{\frac{m+n}{2}})$ queries are needed to get a non-negligible distinguishing advantage. We recently became aware that a better bound for the distinguishing advantage, for every $m

연구 동기 및 목표

• 축약된 무작위 순열과 무작위 함수를 구분하기 위해 필요한 쿼리 복잡도를 규명하는 것.
• Hall 등(1998)이 이전에 확립한 m ≤ n/7 영역을 초월하여 비차별성 우월도에 대한 하한을 확장하는 것.
• 모든 m < n 에 대해 비차별성 우월도가 비차별적일 경우, Ω(2^{(m+n)/2}) 쿼리가 필요하다는 것을 보여주는 것.
• 이 하한이 Stam(1978)의 통계적 거리에 관한 결과에서 유도된다는 것을 보여주는 것. 이는 이전 분석에서 간과되었던 요소이다.

제안 방법

• Hall 등(1998)의 충돌 기반 분석을 수정하여, 축약된 출력에서의 충돌 수에 대한 정교한 집중 경계를 도입한다.
• 고차 모멘트 분석과 尾확률 추정을 통해 구분 우월도 Adv에 대한 명시적 상한을 도출한다.
• Lemma 4.8과 Lemma 4.9을 적용하여, 축약 조건 하에서 순열과 일치하는 충돌 패턴을 관측할 확률을 제한한다.
• 에러 항을 제어하기 위해 t ≥ 2, α_j, β를 매개변수화한 접근법을 사용하여, 더 큰 m에 대한 확장을 가능하게 한다.
• 충돌 확률과 축약 영향에 대한 사례별 상한을 사용하여, m ≤ n/3 에 대해 정리 1, n/3 < m ≤ n−4−log₂n 에 대해 정리 2를 유도한다.
• t, q, m, n에 대한 모든 조건이 충족됨을 검증함으로써, 모든 관련 매개변수 범위에서 부등식이 성립함을 보장한다.

실험 결과

연구 질문

• RQ1 n과 m에 대한 함수로서, 축약된 무작위 순열과 무작위 함수를 구분하기 위해 필요한 최소 쿼리 수는 얼마인가?
• RQ2 쿼리 복잡도에 대한 하한 Ω(2^{(m+n)/2}) 이 m < n 의 모든 값에 대해 성립하는가, 아니면 작은 m 에서만 성립하는가?
• RQ3 일관된 분석 프레임워크를 통해 모든 m < n 에서 구분 우월도를 균일하게 상한화할 수 있는가?
• RQ4 Hall 등(1998)이 유도한 하한이 모든 m 에 대해 날카롭게 유지되는가, 아니면 더 큰 m 에서는 약화되는가?

주요 결과

• m ≤ n/3 인 경우, 구분 우월도 Adv는 O((q / 2^{(n+m)/2})^{2/3}) 이하로 상한화되며, 이는 비차별성 우월도를 얻기 위해 q = Ω(2^{(m+n)/2}) 쿼리가 필요함을 시사한다.
• n/3 < m ≤ n−4−log₂n 인 경우, 상한은 Adv ≤ 3(q / 2^{(n+m)/2})^{2/3} + 2(q / 2^{(n+m)/2}) + 5(q / 2^{(n+m)/2})^2 + ½(2q / 2^{(n+m)/2})^{n/(n−m)} 로 주어지며, 여전히 비차별성 우월도를 얻기 위해 q = Ω(2^{(m+n)/2}) 가 필요하다는 것을 시사한다.
• 이 논문은 모든 m < n 에 대해 비차별성 우월도가 비차별적일 경우 Ω(2^{(m+n)/2}) 쿼리가 필요하다는 것을 확립하며, Hall 등(1998)의 추측을 해결한다.
• 이 결과는 이전에 알려진 Stam(1978)의 결과에서 유도되며, 이는 축약된 순열과 무작위 함수 사이의 통계적 거리에 대한 더 날카운 상한을 제공한다.
• 분석 결과, Hall 등(1998)의 방법은 t=2 를 초월하여 비영인 β 와 더 높은 t 를 允許함으로써, 더 큰 m 에서도 오차 항을 더 잘 제어할 수 있음을 보여준다.
• 이 논문은 m 이 클 경우 표준 버디데이 하한(q = Ω(2^{n/2})) 이 가장 날카운 하한이 아니며, 실제 임계점은 2^{(m+n)/2} 임을 확인한다.