给出反馈函数和输出序列，反推出初始;z3约束求解

小位数直接当作已知数（爆破可出）；Coppersmith’s Short-pad Attack & Related Message Attack（Franklin-Reiter攻击）；MTP攻击；small_roots方法的epsilon参数

二元加法流密码;一次一密;多次一密；线性同余生成器 / 线性同余方法（LCG）；线性反馈移位寄存器（LLFSR）；MT19937（梅森旋转算法（ MT））

SM4

对称加密与非对称密码，分组模式

AES

利用pinv qinv分解n;利用多组e,c,恢复n

一元copper攻击；gift = int(bin(P ^ (Q >> offset))[2+offset:],2)hensel分解出的p或者回溯；Right-to-Left 算法，Left-to-Right 算法，rsa差分攻击