问这个恒定时间比较安全吗？

EN

这个恒定时间比较方案有什么问题吗？

一个明显的问题是，它会声称字符串"AB“和"BA”是相同的；在第一个字符中，它将看到'A'-'B‘= -1，对于第二个字符，它将看到'B'-'A’= 1；这两个和为0。

另一方面，这实际上非常接近于对相等字符串进行恒定时间比较的标准方法，但是与其将差异相加，我们更明智地或它们，如：

total_difference = 0;
for (i=0; i<len_strings; i++) {
    int this_difference = a[i] - b[i];
    total_difference = total_difference | this_difference;
          /* | is the bit-wise or operator */
}
if (total_difference == 0) {
    /* The strings are the same */
}

这里的想法是“或”操作可以在total_difference中设置位，但永远不会清除它们。因此，在结束时total_difference是0的唯一方法是，如果在每次迭代中，this_difference总是0，则如果字符串a的每个字符与字符串b中的字符相同，则会发生这种情况。

通常，您会看到this_difference是按位-xor而不是减法计算的；该算法的工作方式是相同的。