저차 차분 균일성을 갖는 거듭제곱 함수들의 차분 스펙트럼 분석

초록

본 논문은 홀수 소수 $p$와 확장체 $\mathbb{F}_{p^n}$에서 지수 $\frac{p^k+1}{2}$와 $\frac{p^n+1}{p^k+1}+\frac{p^n-1}{2}$를 갖는 두 종류의 거듭제곱 함수에 대해 차분 스펙트럼을 정확히 계산한다. $p\equiv3\pmod4$, $n$이 홀수이며 $k\mid n$인 경우를 중심으로 차분 균일성(Δ‑uniformity)을 도출하고, 기존에 알려지지 않았던 저차 차분 균일성을 가진 새로운 거듭제곱 함수를 제시한다.

상세 분석

논문은 먼저 차분 균일성이라는 개념을 정의하고, 차분 스펙트럼이 차분 균일성을 결정하는 핵심 도구임을 강조한다. 차분 스펙트럼은 함수 $F:\mathbb{F}{p^n}\rightarrow\mathbb{F}{p^n}$에 대해 $ \delta_F(a,b)=#{x\in\mathbb{F}_{p^n}\mid F(x+a)-F(x)=b}$ 로 정의되는 값들의 분포를 말한다. 이 값들의 최대가 바로 차분 균일성 $\Delta(F)$이며, 암호학적 S‑Box 설계에서 $\Delta(F)=2$ (APN) 혹은 $\Delta(F)=4$ 정도가 바람직하다.

첫 번째 대상 함수 $f(x)=x^{(p^k+1)/2}$는 $p$가 홀수이고 $k\mid n$인 경우에 대해 연구한다. 저자는 $f$의 차분 방정식 $ (x+a)^{(p^k+1)/2}-x^{(p^k+1)/2}=b$ 를 $p^k$ 차원 선형화하여, $x$에 대한 다항식이 실제로 $p^k$ 차의 아핀 변환임을 보인다. 이를 통해 해의 개수를 $0$, $1$, $2$ 혹은 $p^k+1$ 로 제한하고, 각 경우가 발생하는 $b$의 개수를 정확히 셈한다. 결과적으로 차분 스펙트럼은 ${0^{\alpha},1^{\beta},2^{\gamma},(p^k+1)^{\delta}}$ 형태가 되며, 여기서 $\alpha,\beta,\gamma,\delta$는 $p,n,k$에 대한 명시적 식으로 제시된다. 특히 $p\equiv3\pmod4$이면 $\Delta(f)=p^k+1$ 가 되지만, $p\equiv1\pmod4$인 경우에는 $\Delta(f)=2$ 로, APN에 가까운 성능을 보인다.

두 번째 함수 $g(x)=x^{\frac{p^n+1}{p^k+1}+\frac{p^n-1}{2}}$는 보다 복합적인 지수를 갖는다. 저자는 $p\equiv3\pmod4$, $n$이 홀수, $k\mid n$인 상황에서 $g$를 $f$와 합성한 형태로 해석한다. 구체적으로 $g(x)=x^{(p^n-1)/2}\cdot x^{(p^n+1)/(p^k+1)}$ 로 분해하고, 각각의 부분 함수가 갖는 차분 스펙트럼을 독립적으로 분석한 뒤, 곱셈 연산이 차분 방정식에 미치는 영향을 켤레 군론과 가우스 합을 이용해 정량화한다. 이 과정에서 $g$의 차분 방정식은 두 개의 독립적인 선형 방정식의 동시 만족 조건으로 전환되며, 해의 존재 여부는 특정 가우스 합의 영/비영 여부에 달려 있다. 최종적으로 차분 스펙트럼은 ${0^{\alpha’},1^{\beta’},2^{\gamma’},4^{\delta’}}$ 형태로 도출되고, $\Delta(g)=4$ 혹은 $2$ 로 제한된다. 특히 $k=n$인 경우 $g$는 기존에 알려진 Gold 함수와 동형이며, $k<n$일 때는 새로운 저차 차분 균일성을 가진 함수군을 제공한다.

논문은 이러한 이론적 결과를 바탕으로, $p=3,5,7$ 등 작은 소수에 대해 구체적인 수치 예시를 제시한다. 실험적으로 차분 스펙트럼을 전산으로 검증하고, 기존 문헌에 보고된 다른 거듭제곱 함수와 비교했을 때, 제시된 함수들이 동일 차수에서 더 낮은 $\Delta$ 값을 갖는 경우가 다수 발견된다. 이는 차분 균일성이 암호학적 비선형성 설계에 핵심적인데, 새로운 함수군이 S‑Box 설계에 바로 적용 가능함을 시사한다.

마지막으로 저자는 차분 스펙트럼 분석 기법을 일반화하여, $p$가 홀수인 모든 경우에 대해 지수 형태 $x^{(p^m+1)/d}$ 와 같은 함수들의 차분 균일성을 체계적으로 추정할 수 있는 틀을 제시한다. 이는 향후 더 복잡한 다항식 함수나 비거듭제곱 함수의 차분 특성을 연구하는 데 중요한 출발점이 될 것이다.