2020-12-05から1日間の記事一覧

Z3 Solver で擬似乱数の内部状態を復元する＋α

はじめに擬似乱数の出力列から内部状態を復元することができれば、未来予測が可能になります。以前の記事でその一部を紹介しましたが、その構造についてよく理解して解析する必要があるなど、手間がかかっていました。ここでは、ツールを使っていい感じ…