CPython PRNG의 출력에서 시드를 역으로 찾기
TimeLord는 원하는 난수 출력열을 먼저 정한 뒤, 이를 생성하는 CPython 정수 시드를 역산하는 Python 데모입니다. MT19937의 비트 연산을 GF(2) 선형 방정식으로 풀어 시드를 만들며, 결과가 드물어 보인다는 사실만으로 시드가 독립적으로 선택됐다고 볼 수 없음을 보여줍니다.
TimeLord는 원하는 난수 출력열을 먼저 정한 뒤, 이를 생성하는 CPython 정수 시드를 역산하는 Python 데모입니다. MT19937의 비트 연산을 GF(2) 선형 방정식으로 풀어 시드를 만들며, 결과가 드물어 보인다는 사실만으로 시드가 독립적으로 선택됐다고 볼 수 없음을 보여줍니다.