Instructions

  1. Obtain a copy of this repository, either by cloning or downloading and extracting the zip

downloadzip

2. Install python. Make sure you tick the "Add to PATH" option during the installation!
  1. Open a command prompt (Windows Key + r -> cmd.exe) or terminal window.

  2. Navigate to the folder containing the scripts with the cd command.

    4a. e.g. cd C:\Users\Lego\Downloads\Project_Xe-main\Project_Xe-main\src

  3. Run pip install numpy (you only need to do this once!)

  4. Run the script with the command python main.py

See this handy video to see how to apply this tool.

Original README:

Project Xe

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

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

Reference

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

https://hackmd.io/@yatsuna827/r1ez2-n3S

【TinyMT】なぜ乱数値の最下位bit列から元の内部状態を復元できるのか考えてみた。

https://ameblo.jp/yatsuna/entry-12337825820.html