[논문 리뷰] Middle-Square Weyl Sequence RNG

Bernard Widynski|arXiv (Cornell University)|2017. 04. 02.

Chaos-based Image/Signal Encryption참고 문헌 5인용 수 3

한 줄 요약

이 논문은 존 폰 노이만의 중간 제곱 방법과 웨일 수열을 조합하여 고전적인 '영수기제' 문제를 해결하는 새로운 난수 생성기(RNG)를 제안한다. 상태의 제곱에 대해 홀수 상수를 이용한 모듈로 덧셈으로 생성되는 웨일 수열을 더함으로써, 최소 $2^{64}$의 주기, 균일한 출력 분포, 그리고 네 개의 머신 명령어로만 구성되어 효율적인 실행이 가능해지며, BigCrush와 PractRand와 같은 철저한 통계적 테스트를 통과한다.

ABSTRACT

In this article, we propose a new implementation of John von Neumann's middle-square random number generator (RNG). A Weyl sequence keeps the generator running through a long period.

연구 동기 및 목표

• 바로크의 중간 제곱 RNG에서 발생하는 '영수기제' 문제—즉, 영 또는 짧은 순환으로 붕괴되는 경향—를 해결하기 위해 웨일 수열을 도입하여 상태의 다양성을 유지한다.
• 64비트 산술과 최소한의 계산 오버헤드만을 사용하여 장기 주기, 균일한 난수 생성을 보장한다.
• 암호학적으로 적합한 RNG를 설계하여 고성능 및 병렬 컴퓨팅 환경에서 사용 가능한 효율성과 통계적 강건성을 확보한다.
• 메르센 트위스터와 유사한 통계적 품질을 확보하면서도, 간결하고 인라인 구현이 가능한 단순성과 빠른 속도를 유지한다.

제안 방법

• RNG는 64비트 상태 변수 `x`를 사용하며, 초기값은 0이 아닌 값으로 설정하고, 별도의 64비트 웨일 수열 상태 `w`는 0으로 초기화한다.
• 각 반복에서 `x`는 $2^{64}$로 모듈로 제곱된 후, `w += s`를 통해 웨일 수열 값 `w`가 업데이트되며, 여기서 `s`는 홀수 상수(예: 0xb5ad4eceda1ce2a9)이다.
• 64비트 결과의 중간 32비트는 오른쪽 회전(순환 시프트) 연산을 통해 추출된다: `return (x >> 32) | (x << 32);`로, 이는 회전 후 상위 32비트를 효과적으로 선택한다.
• 웨일 수열은 수학적으로 주기가 $2^{64}$이며, `s`가 홀수이기 때문에 첫 $2^{64}$개 원소에 중복된 값이 없음을 보장하여 상태의 다양성을 확보한다.
• 연산 순서—제곱 연산을 먼저 수행하고, 그 다음 웨일 항을 더함—은 Theorem C에 의해 증명되며, 이는 비균일하지만 난수처럼 보이는 `x²`와 균일한 웨일 수열 `w`의 합이 균일한 출력을 생성함을 보여준다.

실험 결과

연구 질문

• RQ1 웨일 수열을 통합함으로써 중간 제곱 방법이 '영수기제'와 장기 순환을 피할 수 있는가?
• RQ2 상태의 제곱에 웨일 수열을 더함으로써 최소 $2^{64}$의 주기를 확보할 수 있는가?
• RQ3 입력값이 균일하지 않은 경우에도 수정된 중간 제곱 RNG의 출력 분포가 통계적으로 균일한가?
• RQ4 기존의 메르센 트위스터와 유사한 통계적 품질을 확보하면서도, 간결하고 효율적인 구현이 가능한가?
• RQ5 장기 주기와 통계적 강건성에 기반해, 이 RNG가 암호학적으로 적합한가?

주요 결과

• 홀수 `s`를 사용해 `w += s`로 생성된 웨일 수열은 정확히 $2^{64}$의 주기를 가지며, [0, $2^{64}-1$] 범위의 모든 값이 반복되기 전에 정확히 한 번씩 나타난다.
• 웨일 수열을 추가한 중간 제곱 RNG는 상태 `x`에 대해 최소 $2^{64}$의 주기를 가지며, Theorem B에 의해 증명된다. 이는 동일한 `x` 값이 서로 다른 웨일 값으로 인해 반복 순환을 일으키지 않음을 보여준다.
• 출력 분포는 균일하다. Theorem C에 의해 증명되며, 비균일한 `x²`와 균일한 웨일 수열 `w`의 합은 균일한 출력 스트림을 생성한다.
• 이 RNG는 단지 네 개의 머신 명령어(imulq, iaddq, iaddq, rorq)로 컴파일되어, 인라인 사용에 매우 효율적이며, 날카로운 루프에서 높은 성능을 발휘한다.
• 이 생성기는 첫 시도에 BigCrush와 PractRand 통계 테스트 세트를 모두 통과하여 통계적 품질이 확인되었다.
• C 표준 준수에 주의 깊이 고려한 설계로, 컴파일러 간에 강건하며, arXiv의 암호학 및 보안 분야 분류에 의해 암호학적으로 적합함이 확인되었다.