基于SAT/SMT的KNOT算法的原像攻击方法

本发明公开基于SAT/SMT的KNOT算法的原像攻击方法，一方面，本发明针对代数次数为3的4比特S盒提出了一种线性化方法，并对KNOT算法的S盒提出了6条代数性质。通过使初始状态的容量部分满足一定的约束，可以有效地线性化代数次数为3的4比特S盒，使其第一轮S盒的输出尽可能的为常数比特与线性比特。然后在后续轮数S盒的输出中，尽可能少的输出非线性比特，达到尽可能线性化的目的；另一方面，结合线性层约束与目标约束的刻画完成对KNOT系列哈希算法的原像分析整体模型并求解。该模型首次可以对缩减轮KNOT系列哈希算法进行有效的的原像分析。