まだ結果が出るところまでたどり着けていないので、読むだけ時間の無駄ですよ。 話が抽象的すぎるし。途中から詭弁っぽくなるし。

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 ＳＨＡ−１の計算過程では、32bit符号なし整数（uint型）の論理積，論理和，排他的論理和，論理否定，算術和，循環シフト，および代入の演算が必要になるので、それらの記号をここで定義し…