xoroshiro128+の状態遷移の逆算の考察

はじめに

この記事はPokémon Past Generation Advent Calender 2019 一日目の記事です.

なんぞこれ？

• 某所で話題になっている疑似乱数生成器"xoroshiro128+"の状態遷移の逆関数を求めてみようという趣旨の記事です.

逆関数が求まると何がうれしいの？

• 初期seedを逆算したりできて色々と便利.
• 線形代数の計算を実用的な場面で行えるので楽しい(過程が).

xoroshiroの状態遷移の概要

• xoroshiroは"xor","rotate","shift","rotate"の略らしいです. xorshiftの改良版だとか.
• xorとビットシフトは乱数調整で遊んでいる人ならよく知っているはずなので省略しますが, rotateはあんまりなじみがないかもしれません. 普通のビットシフトは端からあふれ出たビットは捨てられますが, rotateは逆の端からﾆｭｯと出てきます.
• 1011を左に2bit shiftをかけると1100になりますが, rotateだと1110になります.
• xoroshito128+は128bitの内部状態を64bit×2で持ち, 64bitの乱数値を返してくれます.
• 内部状態を64bit整数X,Yで持っているとすると, X+Yで乱数を取得します. MTみたいなtemperingは無い様子.
• 状態遷移は以下の通りの処理で行われます.

X = rotl(X, 24) ^ (X^Y) ^ ((X^Y) << 16)
Y = rotl(X^Y, 37)

方針

• これと全く一緒. xorとshiftしか使ってない乱数生成器なら全部同じ方針で解けると思います.

実際に計算してみる

(以下常体)

rotl(X,n) =:

$R_l(n)\in M_{64}({\mathbf{F}}_2),$
<<16 =:

$L_{16}\in M_{64}({\mathbf{F}}_2)$とおいて,

$x_n,y_n\in {\mathbf{F}}_2^{64}$を内部状態X,Yとする.

$\begin{array}{rl}\left[\begin{array}{c}{x}_{n+1}\\ y_{n+1}\end{array}\right]& =\left[\begin{array}{c}{R}_l(24)x_n+x_n+y_n+L_{16}(x_n+y_n)\\ R_l(37)(x_y+y_n)\end{array}\right]\\ & =\left[\begin{array}{c}(R_l(24)+E+L_{16})x_n+(E+L_{16})y_n\\ R_l(37)x_y+R_l(37)y_n\end{array}\right]\\ & =\left[\begin{array}{cc}{R}_l(24)+E+L_{16}& E+L_{16}\\ R_l(37)& R_l(37)\end{array}\right]\left[\begin{array}{c}{x}_n\\ y_n\end{array}\right].\end{array}$

$R_l(n)\in G{L}_{64}({\mathbf{F}}_2)$で,

$R_l(n{)}^{-1}=R_l(64-n)$であり,

$L_{16}^{\prime }:=E+L_{16}$についても,

${\mathbf{F}}_2^{64}$においては

$b=a+(a<<n)⟺a=b+(a<<n)$であることに注意すると,

$x,y$の第

$i$ bitをそれぞれ

$x_i,y_i$とするとき

$x_i=\{\begin{array}{l}{y}_i(1\le i<n)\\ y_i+x_{i-n}(n\le i\le 64)\end{array}$
であることから, 可逆であることがわかる. あとは頑張れば逆行列が出る.

簡単のため

$R_l(24)=A,L_{16}^{\prime }=B,R_l(37)=C$とおくと,

$\left[\begin{array}{c}{x}_{n+1}\\ y_{n+1}\end{array}\right]=\left[\begin{array}{cc}A+B& B\\ C& C\end{array}\right]\left[\begin{array}{c}{x}_n\\ y_n\end{array}\right]$

と書けてとてもうれしい. これの逆行列を求める.

$\left[\begin{array}{cc}A+B& B\\ C& C\end{array}\right]\left[\begin{array}{cc}{X}_1& X_2\\ X_3& X_4\end{array}\right]=\left[\begin{array}{cc}E& 0\\ 0& E\end{array}\right]$

とすると,

$\begin{array}{rl}(A+B)X_1+B{X}_3& =E\\ (A+B)X_2+B{X}_4& =0\\ C{X}_1+C{X}_3& =0\\ C{X}_2+C{X}_4& =E\end{array}$

の4本の式が立つ.

$A,B,C\in M_{64}({\mathbf{F}}_2)$なので

$-X=X$であることと, 乗法が非可換であることに注意してこれを解いていく.

下の2本の式より

$$\begin{gathered} X_3=X_1 \\ {X}_4=C^{-1}+X_1. \end{gathered}$$

これを上の2本にそれぞれ代入していく. まず1本目から

$\begin{array}{rl}(A+B)X_1+B{X}_1& =E\\ A{X}_1+B{X}_1+B{X}_1& =E\\ A{X}_1& =E\\ X_1& =A^{-1}.\end{array}$
よって,

$X_1=X_3=A^{-1}.$

次に2本目から

$\begin{array}{rl}(A+B)X_2+B(C^{-1}+X_2)& =0\\ A{X}_2+B{X}_2+B{C}^{-1}+B{X}_2& =0\\ A{X}_2+B{C}^{-1}& =0\\ A{X}_2& =B{C}^{-1}\\ X_2& =A^{-1}B{C}^{-1}.\end{array}$

よって

$X_2=A^{-1}B{C}^{-1},X_4=A^{-1}B{C}^{-1}+C^{-1}.$

以上から,

$\begin{array}{rl}{\left[\begin{array}{cc}A+B& B\\ C& C\end{array}\right]}^{-1}& =\left[\begin{array}{cc}{A}^{-1}& A^{-1}B{C}^{-1}\\ A^{-1}& A^{-1}B{C}^{-1}+C^{-1}\end{array}\right]\\ & =\left[\begin{array}{cc}{R}_l(24{)}^{-1}& R_l(24{)}^{-1}{L}_{16}^{\prime }{R}_l(37{)}^{-1}\\ R_l(24{)}^{-1}& R_l(24{)}^{-1}{L}_{16}^{\prime }{R}_l(37{)}^{-1}+R_l(37{)}^{-1}\end{array}\right]\\ & =\left[\begin{array}{cc}{R}_l(40)& R_l(40)L_{16}^{\prime }{R}_l(27)\\ R_l(40)& R_l(40)L_{16}^{\prime }{R}_l(27)+R_l(27)\end{array}\right].\end{array}$

(

$L_{16}^{\prime }$の可逆性必要なかった……)

すなわち,

$\left[\begin{array}{c}{x}_n\\ y_n\end{array}\right]=\left[\begin{array}{cc}{R}_l(40)& R_l(40)L_{16}^{\prime }{R}_l(27)\\ R_l(40)& R_l(40)L_{16}^{\prime }{R}_l(27)+R_l(27)\end{array}\right]\left[\begin{array}{c}{x}_{n+1}\\ y_{n+1}\end{array}\right]$

$\begin{array}{rl}{x}_n& =R_l(40)x_{n+1}+R_l(40)(E+L_{16})R_l(27)y_{n+1}\\ & =R_l(40)x_{n+1}+R_l(3)y_{n+1}+R_l(40)L_{16}{R}_l(27)y_{n+1}\\ y_n& =R_l(40)x_{n+1}+R_l(40)(E+L_{16})R_l(27)y_{n+1}+R_l(27)y_{n+1}\\ & =R_l(40)x_{n+1}+R_l(3)y_{n+1}+R_l(40)L_{16}{R}_l(27)y_{n+1}+R_l(27)y_{n+1}.\end{array}$

以上から,

X = rotl(X,40) ^ rotl(Y,3) ^ rotl((rotl(Y,27)<<16),40)
Y = rotl(X,40) ^ rotl(Y,3) ^ rotl((rotl(Y,27)<<16),40) ^ rotl(Y,27)

で逆算ができる.

(https://gist.github.com/yatsuna827/ea985d2ce4d34da1e35ec4adf1862050)

さいごに

明日も私の記事ですね.
まだたくさん空きがあるので参加お待ちしています.