완전 조합적 일방향 함수의 새로운 구현

초록

본 논문은 반투르 문자열 재작성 시스템과 포스트 대응 문제의 변형을 이용해 두 개의 새로운 조합적 완전 일방향 함수를 정의하고, 이들의 완전성을 증명한다. 또한 레빈이 제시한 타일링 기반 일방향 함수에 대한 대체 증명을 제공하며, 완전 일방향 함수를 구현하기 위한 조합적 문제의 필수 특성을 논의한다.

상세 분석

레빈(2003)의 “조합적 완전 일방향 함수” 개념은 복잡도 이론에서 중요한 전이점으로, 특정 조합적 문제를 통해 모든 다항시간 가역 함수의 난이도를 캡처할 수 있음을 시사한다. 이 논문은 그 아이디어를 두 가지 새로운 구조에 적용한다. 첫 번째는 **반투르 문자열 재작성 시스템(semi‑Thue system)**이다. 반투르는 전통적인 Thue 시스템과 달리 규칙이 방향성을 갖고, 각 규칙은 문자열의 특정 위치에만 적용될 수 있다. 저자들은 입력 문자열 x와 규칙 집합 R을 결합한 인코딩을 정의하고, R을 순차적으로 적용해 얻어지는 최종 문자열 y를 출력으로 하는 함수 f_R(x)=y를 제시한다. 핵심은 “정규성 보장”과 “전역 충돌 방지” 조건을 통해, 임의의 다항시간 가역 함수 g를 적절한 R과 x로 변환할 수 있음을 보이는 것이다. 이 변환 과정은 g의 회로를 문자열 규칙으로 시뮬레이션하고, 각 회로 게이트를 고유한 재작성 규칙에 매핑함으로써 구현된다. 따라서 f_R은 g의 계산을 “압축”된 형태로 담고, 역함수 계산은 원래 회로 복원을 요구하므로 NP‑hard 수준의 난이도를 갖는다.

두 번째는 포스트 대응 문제(PCP)의 변형이다. 전통적인 PCP는 문자열 쌍 (u_i, v_i)의 무한열을 선택해 두 문자열을 동일하게 만드는 것이 목표지만, 여기서는 “한 번만 사용 가능한” 제한을 두어 각 쌍을 정확히 한 번만 선택하도록 만든다. 입력은 선택 가능한 쌍들의 집합과 초기 문자열 s이며, 출력은 최종 문자열 t이다. 저자들은 이 제한된 PCP를 이용해 함수 h(s)=t를 정의하고, 임의의 다항시간 가역 함수를 이 구조에 효율적으로 인코딩함을 증명한다. 핵심은 선택 가능한 쌍을 가상의 회로 게이트에 대응시키고, 각 게이트의 입력·출력을 문자열 조각으로 표현함으로써, 전체 회로 동작을 문자열 동등성 문제로 변환하는 것이다.

논문은 또한 레빈이 제시한 타일링 기반 일방향 함수에 대한 대체 증명을 제공한다. 기존 증명은 타일링 규칙을 2‑D 격자에 배치해 계산을 시뮬레이션했으나, 여기서는 1‑D 문자열 재작성과 동일시켜 보다 직관적인 논리 흐름을 만든다. 이를 통해 “조합적 완전성”이 반드시 2‑차원 구조에 의존하지 않음을 보여준다.

마지막으로, 완전 일방향 함수를 구현하기 위한 조합적 문제의 필수 특성을 네 가지로 정리한다: (1) 결정적 전이 규칙의 존재, (2) 전이 과정의 가역성 부재(즉, 역추적이 NP‑hard), (3) 입력 인코딩이 다항시간 내에 생성 가능, (4) 출력 검증이 다항시간 내에 수행 가능. 이 네 조건을 만족하는 문제는 모두 레빈의 정의에 따라 완전 일방향 함수를 제공할 수 있다.

전체적으로 이 논문은 기존 타일링 기반 접근법을 확장·보완함으로써, 문자열 재작성 시스템과 제한된 PCP라는 두 가지 새로운 조합적 프레임워크를 통해 완전 일방향 함수의 존재와 구현 가능성을 강력히 뒷받침한다. 이는 암호학적 원시 함수 설계뿐 아니라 복잡도 이론에서 “완전”이라는 개념을 보다 풍부하게 이해하는 데 기여한다.