[논문 리뷰] Solving the "Isomorphism of Polynomials with Two Secrets" Problem for all Pairs of Quadratic Forms

Jérôme Plût, Pierre-Alain Fouque외 1명|arXiv (Cornell University)|2014. 06. 12.

Polynomial and algebraic computation참고 문헌 18인용 수 5

한 줄 요약

이 논문은 홀수 특성의 유한체 위에서 두 동차 이차형식에 대한 이방형식의 동형 문제(IP2S)를 다항시간 알고리즘으로 해결한다. 크로네커 형식을 이용한 특이 이차 피날레 분석과 비가환 대수에서의 이차형식 축소를 통해, 두 비밀 선형 사상 $s$와 $t$를 계산하는 데 $\widetilde{O}(n^4)$ 시간 복잡도를 달성하며, 이로써 이 설정에서 IP1S 및 IP2S 문제의 모든 경우를 해결한다.

ABSTRACT

We study the Isomorphism of Polynomial (IP2S) problem with m=2 homogeneous quadratic polynomials of n variables over a finite field of odd characteristic: given two quadratic polynomials (a, b) on n variables, we find two bijective linear maps (s,t) such that b=t . a . s. We give an algorithm computing s and t in time complexity O~(n^4) for all instances, and O~(n^3) in a dominant set of instances. The IP2S problem was introduced in cryptography by Patarin back in 1996. The special case of this problem when t is the identity is called the isomorphism with one secret (IP1S) problem. Generic algebraic equation solvers (for example using Gröbner bases) solve quite well random instances of the IP1S problem. For the particular cyclic instances of IP1S, a cubic-time algorithm was later given and explained in terms of pencils of quadratic forms over all finite fields; in particular, the cyclic IP1S problem in odd characteristic reduces to the computation of the square root of a matrix. We give here an algorithm solving all cases of the IP1S problem in odd characteristic using two new tools, the Kronecker form for a singular quadratic pencil, and the reduction of bilinear forms over a non-commutative algebra. Finally, we show that the second secret in the IP2S problem may be recovered in cubic time.

연구 동기 및 목표

• 유한체의 홀수 특성에서 모든 이차형식 쌍에 대해 IP2S 문제를 다항시간 내에 해결하기.
• 이전 방법이 효율적으로 다룰 수 없었던 순환적이지 않은 경우로 IP1S 문제의 해법을 확장하기.
• 비밀 선형 사상 $s$와 $t$를 둘 다 다항시간 내에 계산하는 통합 알고리즘 프레임워크 제공하기.
• 그로버 기저와 이전의 대수적 해법이 순환적이지 않거나 해의 다중성이 높은 경우에 실패하는 데서 비롯되는 제약를 극복하기.

제안 방법

• 저자들은 특이 이차 피날레를 분석하기 위해 크로네커 표준형을 사용하여 기저가 되는 이차형식의 구조적 분해를 가능하게 한다.
• 문제를 이 피날레와 관련된 특성다항식의 기약 인수 집합 간의 호모그래피 계산으로 환원한다.
• 각 기약 인수의 차수 $d$에 대해, 크기 $O(n)$인 근 집합 위에서 조합적 매칭을 통해 후보 호모그래피 $\gamma$를 계산한다.
• 후보 쌍 $(d,e)$를 추정된 계산 비용 $C_{d,e}$ 기준으로 정렬하여, 낮은 복잡도의 경우를 우선 처리함으로써 해 집합의 교차를 효율적으로 수행한다.
• 차수 $d \geq 5$일 경우에 탈선을 방지하기 위해 무작위 호모그래피 조합을 적용하여 도함수가 항상 비호모그래픽이 되도록 보장하고, 계산을 제한 가능하게 한다.
• 최종 해는 모든 후보 호모그래피 집합 $\Gamma_{d,e}$의 교차를 통해 도출되며, 이는 유일한 숨겨진 변환 $\gamma$를 제공한다.

실험 결과

연구 질문

• RQ1 모든 경우(순환적이지 않은 경우 포함)에 대해 홀수 특성의 유한체에서 두 이차형식에 대한 IP2S 문제를 다항시간 내에 해결할 수 있는가?
• RQ2 특이 이차 피날레의 구조는 비밀 선형 사상 $s$와 $t$를 복구하는 데 어떻게 활용될 수 있는가?
• RQ3 그로버 기저가 해의 다중성이 높은 경우에 실패하는 상황을 극복하기 위해 선형대수학과 비가환 대수학에서 어떤 도구를 사용할 수 있는가?
• RQ4 이 해법을 특성 2인 체나 두 개 이상의 방정식으로 일반화할 수 있는가?

주요 결과

• 논문은 홀수 특성의 유한체 위에서 모든 이차형식 쌍에 대해 IP2S 문제를 다항시간 내에 완전히 해결하는 알고리즘을 제시하며, 시간 복잡도는 $\widetilde{O}(n^4)$이다.
• 이전 연구가 순환적 또는 해의 다중성이 낮은 경우에만 다룰 수 있었던 제약을 넘어선다. 이는 기존 연구의 핵심적 한계를 해결한다.
• 이차 피날레의 크로네커 표준형을 사용하여 기약 인수 차수 기반으로 문제를 다룰 수 있는 하위문제로 분해한다.
• 각 차수 $d$에 대해 후보 호모그래피의 수는 $O(n^d)$로 유계이며, 비용 기준으로 정렬된 경우 총 계산 복잡도는 $O(n^3)$개의 필드 연산으로 제한된다.
• 실제로 후보 집합 $\Gamma_{d,e}$의 교차를 통해 숨겨진 호모그래피 $\gamma$를 효율적으로 계산할 수 있으며, 이 집합은 일반적으로 작거나 유일하다.
• 이 방법은 세제곱 시간 내에 두 번째 비밀 $t$를 성공적으로 복구하며, 전체 IP2S 문제의 다항시간 해법이 가능함을 확인한다.