Hash 为什么我的程序不正确地计算MD2散列？

作为学习练习，我尝试实现MD2哈希算法，仅作为参考：

使用std:：str；
常量PI_SUBST:[u8；256]=[
41, 46, 67, 201, 162, 216, 124, 1, 61, 54, 84, 161, 236, 240, 6, 19, 98, 167, 5, 243, 192, 199,
115, 140, 152, 147, 43, 217, 188, 76, 130, 202, 30, 155, 87, 60, 253, 212, 224, 22, 103, 66,
111, 24, 138, 23, 229, 18, 190, 78, 196, 214, 218, 158, 222, 73, 160, 251, 245, 142, 187, 47,
238, 122, 169, 104, 121, 145, 21, 178, 7, 63, 148, 194, 16, 137, 11, 34, 95, 33, 128, 127, 93,
154, 90, 144, 50, 39, 53, 62, 204, 231, 191, 247, 151, 3, 255, 25, 48, 179, 72, 165, 181, 209,
215, 94, 146, 42, 172, 86, 170, 198, 79, 184, 56, 210, 150, 164, 125, 182, 118, 252, 107, 226,
156, 116, 4, 241, 69, 157, 112, 89, 100, 113, 135, 32, 134, 91, 207, 101, 230, 45, 168, 2, 27,
96, 37, 173, 174, 176, 185, 246, 28, 70, 97, 105, 52, 64, 126, 15, 85, 71, 163, 35, 221, 81,
175, 58, 195, 92, 249, 206, 186, 197, 234, 38, 44, 83, 13, 110, 133, 40, 132, 9, 211, 223, 205,
244, 65, 129, 77, 82, 106, 220, 55, 200, 108, 193, 171, 250, 36, 225, 123, 8, 12, 189, 177, 74,
120, 136, 149, 139, 227, 99, 232, 109, 233, 203, 213, 254, 59, 0, 29, 57, 242, 239, 183, 14,
102, 88, 208, 228, 166, 119, 114, 248, 235, 117, 75, 10, 49, 68, 80, 180, 143, 237, 31, 26,
219, 153, 141, 51, 159, 17, 131, 20,
];
fn main（）{
让l=pad_to_16（“hello.”to_string（）。放入_字节（））；
设l=附加校验和（l）；
设l=计算_散列（l）；
设l=format！（“{:02x？}”，l）；
设l=l，替换（“[”，”）；
设l=l。替换（“]”，为“”）；
设l=l，替换（“，”，”）；
设l=l。替换（“，”）；
println！（“{}”，l）；
}
fn焊盘至焊盘16（s:Vec）->Vec{
让mut output_vec=s.clone（）；
设s_len=s.len（）；
设padding_len=16-（s_len%16）；
对于0中的i..padding\u len{
输出向量推送（填充为u8）
}
输出向量
}
fn追加校验和（m:Vec）->Vec{
//C[i]表示校验和的第i个元素
//S[i]表示PI_SUBST的第i个元素
//L代表L
//N表示m的字节数
//对于i=0到15 do
//将C[i]设置为0
//结束
让mut校验和：Vec=Vec！[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]；
设n=m.len（）；
//将L设置为0。
设mutl=0；
让mut output_vec=m.clone（）；
//对于i=0至N/16-1 do
对于0..n/16中的i{
//对于j=0至15 do
对于0..16中的j{
//将c设置为M[i*16+j]
设c=m[（i*16）+j]；
//将C[j]设置为S[C xor l]
校验和[j]=PI_SUBST[（c^l）as usize]；
//将L设置为C[j]
l=校验和[j]；
}
}
输出向量追加（&mut校验和）；
输出向量
}
fn计算\u散列（m:Vec）->Vec{
让mut x=vec[
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
];
设n=m.len（）；
对于0..n/16中的i{
对于0..16中的j{
x[16+j]=m[i*16+j]；
x[32+j]=x[16+j]^x[j]；
}
设mut t=0；
对于0..18中的j{
对于0..48中的k{
t=（x[k]^PI_SUBST[t]）作为使用；
x[k]=x[k]^PI_SUBST[t]；
}
t=（t+j）%256
}
}
让输出=x[0..16]。到_vec（）；
输出
}

根据在线MD2哈希工具，字符串“hello”应该产生

a9046c73e00331af68917d3804f70655

，而我的实现产生

fd00eb11ff9ce26868e51885a0e545c8

---

我一直无法确定为什么我的程序错误地生成哈希，因为我相信我已经非常密切地关注了RFC。我怀疑这个问题可能是由于不同的值被转换为

usize

，但我不确定如何测试这个问题。

我已经设法找出了导致错误计算的问题。就是这两行:

t=（x[k]^PI_SUBST[t]）作为使用；
x[k]=x[k]^PI_SUBST[t]；

实际上，这些操作应该被翻转。正确的代码：

x[k]^=PI_SUBST[t as usize]；
t=x[k]为u32；

---

对于“hello”，新代码正确地生成了

a9046c73e00331af68917d3804f70655

。

我已经设法找出了导致错误计算的问题。就是这两行:

t=（x[k]^PI_SUBST[t]）作为使用；
x[k]=x[k]^PI_SUBST[t]；

实际上，这些操作应该被翻转。正确的代码：

x[k]^=PI_SUBST[t as usize]；
t=x[k]为u32；

---

对于“hello”，新代码正确地生成了

a9046c73e00331af68917d3804f70655

。

关于强制转换，略读一下就表明它们都不太可能有问题，但是如果您感兴趣，可以做些什么：将

as

操作符的所有用法都替换掉。从较小的整数到较大的整数时，如果需要消除歧义，请将

n.写入（）

或

usize:：from（n）

，对于较大的数到较小的数，

n.try_into（）.expect（“此特定数字太大！”）

（需要

使用std:：convert:：TryInto；

）。这确保了每一次转换都不会溢出，或者在溢出时会出现恐慌。在更长的形式中——关于强制转换，略读一下就表明它们都不可能有问题，但是如果您感兴趣，可以对它们做些什么：将

as

操作符的所有用法都替换掉。从较小的整数到较大的整数时，如果需要消除歧义，请将

n.写入（）

或

usize:：from（n）

，对于较大的数到较小的数，

n.try_into（）.expect（“此特定数字太大！”）

（需要

使用std:：convert:：TryInto；

）。这确保了每一次转换都不会溢出或恐慌