Project Xe

xoroshiro128+が連続して出力する128個の乱数列(64bit)の下位1bitから内部状態(128bit=64bit+64bit)を逆算するプログラムです.

src/test.pyが逆算が成功しているproofになっています. たぶん色々書き換えれば逆算ツールになるはずです.

このアルゴリズムの提案者はpattirudon氏です. 私のオリジナルではありません.