Pyjamask算法的各种密码分析方法全面盘点

针对Pyjamask算法的密码分析，目前学术界已从多个角度对其安全性进行了深入评估。由于该算法为降低AND门数量而采用了简单的S盒与较少的轮数，其代数次数低成为了一个主要弱点，现有的大多数有效攻击都围绕此展开。

以下是目前已公开的主要密码分析方法盘点：

🔬代数与高阶差分分析 (Algebraic & Higher-Order Differential Cryptanalysis)

这是最早且最具突破性的攻击方法之一，专门针对Pyjamask-96版本。

• 核心思路：利用算法轮函数简单的代数结构，结合高阶差分来构建一个有效的区分器。
• 主要成果：
  • 全轮攻击：成功攻破了全部14轮的Pyjamask-96。不过，该攻击在理论上是选择密文攻击，且需要利用完整的代码本 (Full Codebook)，即296个数据块，在实际环境中难以实施。
  • 实用攻击：对8轮的Pyjamask-96实现了实用攻击。
• 局限性：该方法对Pyjamask-128无效。

🧩积分分析 (Integral Cryptanalysis)

积分分析是对付低代数次数密码的有力工具，也是目前对Pyjamask最成功的分析方法之一。

• 核心思路：利用积分区分器来识别密文某些比特位上的不平衡性。研究者使用基于MILP的自动化搜索工具来寻找更优的区分器。
• 主要成果：
  • Pyjamask-96：
    • 在不依赖完整代码本的条件下，成功实现了对全轮 (14轮)的密钥恢复攻击。
    • 具体攻击案例包括：基于10轮积分区分器，对11轮Pyjamask-96发动攻击，数据复杂度为293，时间复杂度为293.8。
  • Pyjamask-128：
    • 提出了首个第三方分析结果，可攻击缩减至11轮的版本。

🚫不可能差分分析 (Impossible Differential Cryptanalysis)

该方法用于评估算法对经典差分密码分析的抵抗能力。

• 核心思路：寻找在密码中不可能出现的差分路径，并据此排除错误密钥。
• 主要成果：
  • 研究者构建了2.5轮的不可能差分链，并在此基础上形成了4轮的多重不可能差分攻击路径。
• 结论：分析表明，Pyjamask的MixRows线性层扩散性很强，能够较好地抵抗不可能差分分析。

🧐不变子空间分析 (Invariant Subspace Cryptanalysis)

这是一种针对算法结构弱点的理论分析。

• 主要发现：研究发现，如果对Pyjamask-96的密钥编排进行特定修改（如完全省略MixColumns操作），则该算法可能面临不变子空间攻击的风险-。这表明其密钥编排的某些设计选择对这类攻击是脆弱的。

🎭伪造攻击 (Forgery Attack)

这类攻击针对的是完整的认证加密 (AEAD) 方案，而非底层的分组密码。

• 核心思路：利用Pyjamask AEAD模式的结构与参数特点，在不破解底层密码的情况下，构造出有效的认证标签。
• 主要成果：成功实现了对认证加密算法Pyjamask的伪造攻击。

⚙️故障分析 (Fault Analysis)

这是一种针对密码实现的物理攻击，通过注入故障来获取秘密信息。

• 核心思路：在唯密文场景下，通过注入故障并分析其影响来恢复密钥。
• 主要成果：
  • 研究者提出了针对Pyjamask的不可能统计故障分析方法。
  • 设计了基于Wasserstein距离-汉明重量和Wasserstein距离-极大似然估计的区分器，仅需1024和1120个随机故障密文即可进行分析。

💎总结

Pyjamask算法的安全性分析呈现出一条清晰的脉络：其低代数次数的设计初衷（为高效掩码实现）成为了密码分析的主要突破口。攻击从代数/高阶差分开始，逐步演进到更高效的积分分析，最终实现了对全轮Pyjamask-96更实用的攻击。同时，针对其完整认证加密模式的伪造攻击和针对硬件实现的故障分析，也从不同层面揭示了算法的潜在风险。