blake抗线性化差分分析安全性研究

基于模加、循环及异或运算的系统(arx系统)通常被认为是设计密码算法的重要基础。在sha-3第二轮候选算法中，blake等杂凑函数基于该系统设计。通过对blake-32中的模加运算进行线性化，分析了初始差分在各轮运算过程中的扩散情况，得出了初始状态字存在差分时各轮运算中差分的扩散特征。在此基拙上，研究了多次加法运算的线性化逼近概率，并分析了线性化逼近方法对分析算法的有效性。研究表明，线性化情况下，部分初始差分字在blake-32中的扩散效果并不理想，可以将blake算法局部线性化后进行差分攻击。