$begingroup$ @OrangeDog I'd say no. My place all together has long been that a hash operate ought to map to a fixed-sizing output, though the input measurement is irrelevant. We've gotten very significantly off-topic. Your answer has good things in it, just watch out with your formal definit