$begingroup$ @OrangeDog I'd say no. My stage all along continues to be that a hash operate need to map to a hard and fast-sizing output, although the input sizing is irrelevant. We have gotten pretty far off-subject. Your answer has good stuff in it, just be mindful with your formal definition ;-) $endgroup$$begingroup$ A hash purpose is broadly an