sha-3置换函数的差分转移概率分析

通过对sha-3算法置换函数keccak-f的分析,提出三维数组的循环移位方法。根据置换函数keccak-f每一步变换的结构,构造出输出差分的布尔函数表达式。通过研究输出差的差分布尔函数表达式,证明了keccak-f每一步变换的输入输出差分通过循环移位后,其差分转移概率不变。在此基础上,通过分析得出,当keccak-f每一步变换的两个输入差分之间和对应输出差分之间均满足相同循环移位特性时,整个置换函数keccak-f的输入输出差分在循环移位后,其差分转移概率不变。