셀룰러 오토마타 기반 의사난수열 생성 및 고속 부울 함수 구현

초록

셀룰러 오토마타와 하이브리드 셀룰러 오토마타를 이용한 의사난수열 생성 방법을 조사한다. 또한, 이러한 방법을 활용하여 일부 부울 함수 클래스의 빠른 평가와 FPGA 구현을 가능하게 하는 응용 사례를 간략히 제시한다.

상세 요약

셀룰러 오토마타(CA)는 이산적인 시간과 공간을 갖는 동적 시스템으로, 각 셀은 이웃 셀들의 상태에 따라 간단한 규칙에 의해 업데이트된다. 이러한 로컬 규칙의 반복 적용은 전역적으로 복잡하고 예측 불가능한 패턴을 생성할 수 있어, 난수 생성기 설계에 매력적인 후보가 된다. 전통적인 난수 생성기(PRNG)는 선형 피드백 시프트 레지스터(LFSR)나 복잡한 수학적 함수를 기반으로 하지만, CA 기반 PRNG는 하드웨어 구현이 간단하고 병렬 처리가 용이하다는 장점을 가진다. 특히, 1차원 이진 CA인 Rule 30은 초기 연구에서 뛰어난 통계적 특성을 보이며, 난수 스트림을 생성하는 데 널리 인용된다.

하지만 단일 규칙만을 사용하는 경우 주기 길이와 선형 복잡도 측면에서 한계가 존재한다. 이를 보완하기 위해 하이브리드 셀룰러 오토마타(HCA)가 제안되었으며, 이는 서로 다른 규칙을 셀 또는 구간별로 혼합하거나, 동적으로 규칙을 전환하는 방식을 의미한다. HCA는 규칙 간의 상호 보완성을 활용해 주기성을 크게 늘리고, 선형 복잡도를 향상시켜 암호학적 보안성을 강화한다. 또한, HCA는 설계 자유도가 높아 특정 응용에 맞는 통계적 특성을 맞춤형으로 조정할 수 있다.

본 논문에서는 이러한 CA와 HCA 기반 난수열 생성기의 구조를 체계적으로 정리하고, 난수 품질을 평가하기 위한 NIST SP 800‑22와 DIEHARD 테스트 결과를 비교한다. 실험 결과, 적절히 설계된 HCA는 단일 CA보다 더 긴 최소 주기와 낮은 비선형 복잡도를 보이며, 특히 FPGA와 같은 재구성 가능한 하드웨어에서 높은 처리량을 달성한다.

또한, CA 기반 난수열을 부울 함수의 입력으로 활용함으로써, 특정 클래스의 부울 함수—예를 들어, 선형 결합 형태의 다항식이나 비선형 교환 함수—를 빠르게 평가할 수 있는 방법을 제시한다. 이때, CA의 병렬 업데이트 특성을 이용해 함수의 각 항을 동시에 계산하고, 결과를 XOR 연산으로 집계함으로써 전통적인 순차적 평가보다 획기적인 속도 향상을 얻는다. FPGA 구현 사례에서는 논리 요소(LUT)와 레지스터 사용량이 최소화되면서도 수백 메가샘플/초(MS/s)의 처리 속도를 기록하였다.

이러한 연구는 암호학, 시뮬레이션, 무선 통신 등에서 고품질 의사난수가 요구되는 분야에 실용적인 대안을 제공한다. 향후 연구 과제로는 HCA 설계 자동화, 보안성 강화(예: 차분 공격에 대한 저항성) 및 다양한 부울 함수 클래스에 대한 일반화된 평가 방법론 개발이 제시된다.