[논문 리뷰] NP-completeness of Certain Sub-classes of the Syndrome Decoding Problem

Matthieu Finiasz|ArXiv.org|2009. 12. 02.

Coding theory and cryptography참고 문헌 1인용 수 4

한 줄 요약

이 논문은 구조적 제약 조건이 고프파 코드의 특성과 일치하는 Syndrome Decoding 문제의 매개변수화된 변종이 NP-완전임을 증명한다. 압축된 행렬 구조를 사용한 삼차원 매칭(Three Dimensional Matching)으로부터 다항식 시간 감소를 구성함으로써, 코드 길이와 차원이 고프파 코드의 매개변수를 따르는 하위 클래스에 대해 NP-완전성을 확립함으로써, McEliece 및 Niederreiter와 같은 코드 기반 암호시스템의 보안 가정을 검증한다.

ABSTRACT

The problem of Syndrome Decoding was proven to be NP-complete in 1978 and, since then, quite a few cryptographic applications have had their security rely on the (provable) difficulty of solving some instances of it. However, in most cases, the instances to be solved follow some specific constraint: the target weight is a function of the dimension and length of the code. In these cases, is the Syndrome Decoding problem still NP-complete? This is the question that this article intends to answer.

연구 동기 및 목표

• 고프파 코드의 특성과 유사한 매개변수를 갖는 Syndrome Decoding 문제의 하위 클래스가 여전히 NP-완전인지 여부를 규명하는 것.
• 삼차원 매칭(Three Dimensional Matching)에서 Goppa Parameterized Syndrome Decoding (GPSD) 문제로의 다항식 시간 감소를 제공하는 것.
• 특정 구조적 제약 조건 하에서 Syndrome Decoding의 더 넓은 하위 클래스에 대해 NP-완전성 결과를 일반화하는 것.
• 고프파 코드에서 디코딩의 어려움이 랜덤성의 산물이 아니라 그 매개변수화된 구조에 내재된 것임을 입증하는 것.
• 일반적인 매개변수화된 감소 조건을 통해 다른 코드 기반 하위 클래스의 NP-완전성 평가 프레임워크를 제공하는 것.

제안 방법

• 각 행에 정확히 세 개의 1이 있는 이진 행렬을 사용하여 삼차원 매칭(3DM) 인스턴스의 압축된 인cidenc 행렬 표현을 구성한다.
• 수정된 행렬 H(그림 2)를 설계하여 3DM 인스턴스를 고프파 코드 구조에 통합함으로써, n = 2^m 및 r = n − m·t의 교정 용량 t를 확보한다.
• 정확히 3|T|개의 1을 갖는 심호드림 S를 사용하여 상단 |U| 행에서 정확히 |T|개의 행을 선택하도록 유도함으로써 유효한 3DM 해에 대응한다.
• 하위공간 무게 문제(Subspace Weight problem)를 위한 새로운 행렬 구조(C1 및 C2, 그림 3)를 도입하여, |T|의 기수성에 관계없이 다항식 감소를 가능하게 한다.
• r 및 w에 대한 함수 f(r, w)의 범위를 제한하는 일반 감소 프레임워크를 적용하여 다항식 시간 복잡도를 보장한다.
• 감소가 유효하고 NP-완전성이 유지되도록 하는 충분조건을 설정함: 함수 g, g', 다항식 P, Q 및 임계값 λ를 통해.

실험 결과

연구 질문

• RQ1 고프파 코드의 매개변수를 따르는 인스턴스로 제약된 Syndrome Decoding 문제의 NP-완전성은 성립하는가?
• RQ2 삼차원 매칭(Three Dimensional Matching)에서 Goppa Parameterized Syndrome Decoding (GPSD) 문제로의 다항식 시간 감소를 구성할 수 있는가?
• RQ3 하위공간 무게 문제의 NP-완전성이 코드 길이와 차원이 고프파 코드 제약 조건을 따르는 매개변수화된 하위 클래스로 확장되는가?
• RQ4 함수 f(r, w)에 대한 어떤 조건이 3DM에서 매개변수화된 심호드림 디코딩 문제로의 감소가 다항식 시간 내에 유효하게 유지되도록 보장하는가?
• RQ5 유사한 구조적 제약 조건을 확인함으로써, NP-완전성 결과를 다른 코드 가족으로 일반화할 수 있는가?

주요 결과

• Goppa Parameterized Syndrome Decoding (GPSD) 문제는 삼차원 매칭으로부터의 다항식 시간 감소를 통해 NP-완전함을 증명하였다.
• 감소는 그림 2의 행렬 구조를 사용하여 3DM 인스턴스를 고프파 코드 구조에 통합하며, n = 2^m 및 w = r/m를 확보함으로써 실제 고프파 코드의 매개변수와 일치시킨다.
• 하위공간 무게 변종(GPSW)의 경우, 그림 3의 새로운 압축된 행렬 구조(C1 및 C2)를 통해 |T|가 짝수이든 홀수이든 간에 유효한 다항식 감소를 가능하게 한다.
• GPSD 및 GPSW의 NP-완전성은 함수 f(r, w)가 특정 범위를 만족할 경우에 유지되며, 즉 f(g(t,u), t) ≥ u 및 f(g(t,u), t) ≤ Q(t,u), 그리고 g(t,u) ≥ 3t를 만족해야 한다.
• 감소는 모든 |T| > λ 및 |U| > λ에 대해 점점 커지는 방향으로 유효하며, 고프파의 경우 λ = 8이므로 유한한 수의 작은 케이스만 별도로 제한하면 된다.
• 매개변수화된 심호드림 디코딩 문제의 NP-완전성에 대한 일반 프레임워크를 확립하였으며, 코드 차원 f(r,w)가 다항식으로 증가하고 3DM 매개변수에 대해 구조적 범위를 만족하는 한 충분하다.