Reverse Engineering Mersenne Twister with Linear Algebra
Mersenne Twister (MT)은 좋은 통계적 특성을 가진 PRNG이지만 암호학적으로는 안전하지 않다. 이 글은 MT의 내부 상태를 출력값으로부터 선형대수를 이용해 복원하는 방법을 설명한다. MT의 tempering 과정은 GF(2) 위의 선형 연산으로 표현 가능하며, 이 과정을 행렬 곱셈으로 모델링하고 역행렬을 구해 tempering의 가역성을 증명한다. 이를 통해 640번의 출력 이후 내부 상태를 완전히 복원하고 이후 출력 예측이 가능함을 보인다. 비트 조작 방식이 더 효율적이지만, 선형대수 접근법은 개념적으로 더 명확하다.
https://www.johndcook.com/blog/2026/05/10/reverse-mersenne-twister/
#mersennetwister #prng #linearalgebra #galoisfield #cryptography