[논문 리뷰] An experimental exploration of Marsaglia's xorshift generators, scrambled

Sebastiano Vigna|arXiv (Cornell University)|2014. 01. 22.

Chaos-based Image/Signal Encryption참고 문헌 14인용 수 7

한 줄 요약

이 논문은 마르사글라의 xorshift 생성기들을 비선형 스캐러빙 곱셈으로 개선한 고성능·고품질의 가짜 난수 생성기를 소개한다. 체계적인 파라미터 조합 테스트와 고차원 변형 탐색을 통해 저자들은 특히 xorshift1024*와 xorshift64* 생성기를 특정하여, $2^{1024}-1$ 및 $2^{4096}-1$의 완전 주기, BigCrush 테스트 전부 통과, 그리고 단일 논리 연산 8번, 덧셈 1번, 곱셈 1번만으로 기존 대안들보다 빠른 속도와 뛰어난 통계적 품질을 확보한다.

ABSTRACT

Marsaglia proposed recently xorshift generators as a class of very fast, good-quality pseudorandom number generators. Subsequent analysis by Panneton and L'Ecuyer has lowered the expectations raised by Marsaglia's paper, showing several weaknesses of such generators, verified experimentally using the TestU01 suite. Nonetheless, many of the weaknesses of xorshift generators fade away if their result is scrambled by a non-linear operation (as originally suggested by Marsaglia). In this paper we explore the space of possible generators obtained by multiplying the result of a xorshift generator by a suitable constant. We sample generators at 100 equispaced points of their state space and obtain detailed statistics that lead us to choices of parameters that improve on the current ones. We then explore for the first time the space of high-dimensional xorshift generators, following another suggestion in Marsaglia's paper, finding choices of parameters providing periods of length $2^{1024} - 1$ and $2^{4096} - 1$. The resulting generators are of extremely high quality, faster than current similar alternatives, and generate long-period sequences passing strong statistical tests using only eight logical operations, one addition and one multiplication by a constant.

연구 동기 및 목표

• 체계적인 실험을 통해 마르사글라의 xorshift 생성기의 통계적 품질을 평가하고 향상시키기.
• 곱셈을 통한 비선형 스캐러빙이 xorshift 생성기의 통계적 성질에 미치는 영향 조사하기.
• 최적화된 파라미터 세트를 사용해 1024비트 및 4096비트 상태를 가진 고차원 xorshift 생성기 설계하여 매우 긴 주기($2^{1024}-1$ 및 $2^{4096}-1$) 달성하기.
• 기존의 암호화되지 않은 PRNG인 MT19937 및 WELL과의 성능 및 통계적 품질 비교하기.

제안 방법

• 통계적 약점을 탐지하고 파라미터 선택을 평가하기 위해 xorshift64 생성기를 100개 상태 포인트에서 체계적으로 샘플링하기.
• 상수 곱셈을 적용해 xorshift 생성기의 출력을 스캐러빙하여 암시적 암시적 행동을 모방하고 선형 오류를 감소시키기.
• 1024비트 및 4096비트 상태를 사용해 고차원 xorshift 생성기 설계하고, 완전 주기를 달성하기 위해 최적화된 이동 및 회전 파라미터 선택하기.
• C99 코드를 사용한 생성기 구현 및 벤치마킹, 겹치지 않는 시퀀스 생성을 위한 점프 함수 포함하기.
• TestU01 슈트, 특히 BigCrush를 사용해 통계적 품질 평가하고, 고비트 편향을 탐지하기 위해 역방향 생성기 테스트 수행하기.
• MT19937, WELL1024a, WELL19937a 및 기타 표준 생성기들과의 성능, 주기 길이, 테스트 슈트 성능 측면에서의 비교하기.

실험 결과

연구 질문

• RQ1 곱셈으로 스캐러빙된 xorshift64 생성기의 어떤 파라미터 조합이 가장 높은 통계적 품질을 보이며, BigCrush 테스트를 모두 통과하는가?
• RQ2 1024비트 및 4096비트 상태를 가진 고차원 xorshift 생성기가 $2^{1024}-1$ 및 $2^{4096}-1$의 완전 주기를 달성하면서도 높은 성능과 품질을 유지할 수 있는가?
• RQ3 다양한 승수(예: $M_{32}$, $M_8$, $M_2$)의 선택이 스캐러빙된 xorshift 생성기의 통계적 품질에 어떤 영향을 미치는가?
• RQ4 제안된 생성기들이 MT19937 및 WELL19937a와 같은 널리 사용되는 생성기들과 비교해 성능과 통계적 품질에서 어떻게 다른가?
• RQ5 xorshift 생성기의 출력을 스캐러빙함으로써, 기존 버전에서 발생하는 선형 오류는 어느 정도 제거되는가?

주요 결과

• xorshift1024* 생성기는 $2^{1024}-1$의 주기를 가지며, BigCrush 테스트를 모두 통과하고, 평균적으로 출력당 1.62 ns의 속도를 기록해 테스트된 생성기 중 가장 빠르다.
• 파라미터 $A_1(12,25,27) \cdot M_{32}$를 가진 xorshift64*는 MatrixRank 테스트에 실패하지만, MT19937, WELL1024a, WELL19937a보다 선형 오류가 적다.
• 1024비트 및 4096비트 상태를 가진 고차원 xorshift 생성기를 성공적으로 설계하여 각각 $2^{1024}-1$ 및 $2^{4096}-1$의 완전 주기를 달성했으며, 최적화된 이동 및 회전 파라미터를 사용했다.
• 스캐러빙에 사용된 승수는 통계적 품질에 유의미한 영향을 미치지 않으며, $M_{32}$, $M_8$, $M_2$는 유사한 성능을 보여, 승수 선택에 대해 강건함을 입증한다.
• xorshift1024* 생성기는 WELL19937a보다 약 4배 빠르며, 상태 공간이 훨씬 작음에도 불구하고 BigCrush에서 더 뛰어난 성능을 보였다.
• 이 연구는 TestU01이 Dieharder보다 고차원 테스트에서 훨씬 더 높은 해상도를 제공하며, 고비트 편향을 탐지하기 위해 역방향 생성기 테스트가 필수적임을 확인했다.