基于模加完美单项式预测的SPECK积分区分器搜索方法及系统

本发明提出了基于模加完美单项式预测的SPECK积分区分器搜索方法及系统，包括：构建SPECK算法单项式预测的第一模型，包括：根据SPECK算法各组件约束构造模型、根据SPECK算法单轮约束构造模型及根据SPECK算法不同轮关系约束构造模型；基于所构造的模型形成两个优化策略，包括：长轮搜索划分为短轮搜索、根据中间状态划分搜索；对形成的两个优化策略，利用求解器求解，输出单项式路径数量。