基于SMT的线性扩散层分支数测评方法、设备及介质

摘要

本发明公开了一种基于SMT的线性扩散层分支数测评方法、设备及介质，其中方法包括：步骤一、将线性扩散层内部比特之间的关系的差分和线性传播行为用可满足性模理论SMT的表达式等价刻画；步骤二、建立线性扩散层每个字块和对应比特之间的约束条件；步骤三、计算分支数的大小即统计非零字块的最少个数，先将分支数设置为一个较小值，使得SMT模型没有满足解，然后逐渐增大分支数的大小，直到SMT模型有满足解时，此解即为线性扩散层的分支数大小。本发明将线性扩散层差分分支数和线性分支数的计算问题转化为SAT问题，建立SMT模型后调用SMT求解器boolector求解，可在较短时间内求解出宽度大于32的线性扩散层的分支数。