function f(x:int64):byte;
begin
...
end;

它肯定是单向的，但是能保证“当 a != b 时 f(a)!= f(b)”？？？

所有签名函数都是：输入的信息量（位数）不限制，输出的信息量（位数）固定的，
怎么可能“当 a != b 时 f(a)!= f(b)”
山东大学的王小云也正是用实例证明了这一点