pattirudon氏のアルゴリズムについて - oupoの日記

背景 ポケモンソード・シールドのレイドバトルと呼ばれるイベントではxoroshiro128+という疑似乱数を使ってモンスターを生成している。 これについて、セーブデータを抽出せず、ゲームのプレイから得られる情報からxoroshiro128+の乱数の種を復元できないかということが問題になっていた。 xoroshiro128+は状態遷移はF_2線形 *1であるが、状態から乱数値を得るのに算術和を使っており、それが非線形なため復元は難しいのではないかとされていた。 しかし、驚くべきことにpattirudon氏はそれを可能にした。 github.com ゲームでのxoroshiro128+の使われ方 ゲームのセーブデータにレイドバトルの各巣ごとの64bitのseedが格納されている。 seedはレイドバトルのイベントを起こしたり、日付が変わったりするごとに以下の式で更新される。 seed = (s

[mEGGrim]

ポケモンソード・シールドのレイドバトルで利用されてる疑似乱数生成器のseedを特定するアルゴリズムの話。あー、こういう視点（対象のアルゴリズムのどこに現実時間で探索が完了できる瑕疵があるか）か。面白い

[u_mid]

ポケモンシリーズの解析という戦いは乱数のみらいよちという戦いでもある

[mizdra]

革命だ