#stern-attack

상위 절반만 출력하고 50% 확률로 누락되는 곱셈 LCG. 곱수가 미지라 Coppersmith는 ℓ/n=0.5 벽을 못 넘는다. Stern 알고리즘(Martinez Attack 3)으로 연속 9개 출력만으로 곱수를 복원하고, 상태를 walk해 다음 출력을 예측 → AES 키 → flag.